Syntax for general arithmetic tag relation expressions

heron-solver / heron

🏺 Simulation Solver for Timed Causality Models in TESL

MIT License

5 stars 1 forks source link

Closed hai-nguyen-van closed 5 years ago

hai-nguyen-van commented 6 years ago

Φ ::= tag relation E = E
  | ...

E ::= (E)
  | E + E
  | E * E
  | f (E)
  | pre E
  | [τ] -> E

Should add intermediate clocks hidden from the user.