addEqualToConstraint
fun addEqualToConstraint(lhs: AtomicLabelTerm, rhs: AtomicLabelTerm, failWith: (from: Label, to: Label) -> T)
Content copied to clipboard
Add the constraint lhs == rhs to the system.
Parameters
failWith
same as in addFlowsToConstraint