You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Sometimes formulas in guards become big and refer to many inputs. It would be useful to resolve this formulas and place their values in parenthesis next to the formulas. Then figuring out why a guard is not enabled at a certain point of simulation will become easier. Formulas should be resolved up to a certain level I guess, I would suggest that up to boolean formulas terminals. So f1 > f2 will resolve f1 and f2. f1 == f2 + f3 will resolve f1 on one side and f2+f3 on the other side. f1 & f2 will resolve both sides too.
reacted with thumbs up emoji reacted with thumbs down emoji reacted with laugh emoji reacted with hooray emoji reacted with confused emoji reacted with heart emoji reacted with rocket emoji reacted with eyes emoji
Uh oh!
There was an error while loading. Please reload this page.
Sometimes formulas in guards become big and refer to many inputs. It would be useful to resolve this formulas and place their values in parenthesis next to the formulas. Then figuring out why a guard is not enabled at a certain point of simulation will become easier. Formulas should be resolved up to a certain level I guess, I would suggest that up to boolean formulas terminals. So f1 > f2 will resolve f1 and f2. f1 == f2 + f3 will resolve f1 on one side and f2+f3 on the other side. f1 & f2 will resolve both sides too.
All reactions