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
Not sure if this is still helpful, but I think that this is a good use case for the where predicate. It allows you to insert a general boolean function of the arguments. For example, this rule would look like:
@rule x y x - y --> 0 where (x < y)
However, you will want to be careful about types and making sure that all of the arguments work in your boolean function, e.g. sometimes the arguments will be EClasses.
Is there a way I can put conditions on the relationship between variables?
The text was updated successfully, but these errors were encountered: