public final class ConstraintUtils
extends java.lang.Object
Modifier and Type | Method and Description |
---|---|
static Constraint |
newConstraint(Node expr)
Creates a constraint from the specified expression.
|
static SolverResult |
solve(Constraint constraint)
Solves the specified constraint with the solver specified as default
for the given constraint kind.
|
public static Constraint newConstraint(Node expr)
expr
- Expression to be used as a source for the constraint.java.lang.NullPointerException
- if the parameter equals null
.public static SolverResult solve(Constraint constraint)
constraint
- Constraint to be solved.java.lang.NullPointerException
- if the parameter equals null
.