addLessThanOrEqualToConstraint
fun addLessThanOrEqualToConstraint(lhs: AtomicTerm<A>, rhs: RightHandTerm<A>, failWith: (A, A) -> T)
Content copied to clipboard
Add the constraint lhs <= 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.
fun addLessThanOrEqualToConstraint(lhs: LeftHandTerm<A>, rhs: AtomicTerm<A>, failWith: (A, A) -> T)
Content copied to clipboard
Add the constraint lhs <= rhs to the system.
Parameters
failWith
same as in addLessThanOrEqualToConstraint