is Satisfied
Computes the value of the left-hand side of the constraint based on the supplied values for each input variable in the equation and checks if the constraint is satisfied.
Return
true if the constraint is satisfied, false otherwise.
Parameters
values
the map containing the input variable name and the current value of the input variable as a pair