Tag relation equality is not symmetric

heron-solver / heron

🏺 Simulation Solver for Timed Causality Models in TESL

MIT License

5 stars 1 forks source link

Closed hai-nguyen-van closed 6 years ago

hai-nguyen-van commented 7 years ago

When no sporadic event is specified

Q-clock x
Q-clock y

tag relation x = y
tag relation y = x