search

heron-solver / heron

🏺 Simulation Solver for Timed Causality Models in TESL
MIT License
5 stars 1 forks source link

Syntax for clock tag derivatives #55

Closed hai-nguyen-van closed 5 years ago

hai-nguyen-van commented 6 years ago

Syntactic sugars

  tag relation c1 = der c2

≡ tag relation c1 = c2 - pre c2

≡ tag relation one      = 1.0
  tag relation _pre_c2  = pre c2
  tag relation _mpre_c2 = -1.0 * pre_c2 + 0.0
  tag relation c1       = one * c2 + _mpre_c2