addFlowsToConstraint
fun addFlowsToConstraint(lhs: AtomicLabelTerm, rhs: LabelTerm, failWith: (from: Label, to: Label) -> T)
Content copied to clipboard
Add the constraint lhs.flowsTo(rhs) to the system.
Parameters
failWith
a function that generates the exception to throw if this constraint is unsatisfiable. The function will be given the best estimates for the values of lhs and rhs.