public abstract class NewConstraints
extends java.lang.Object
NewConstraints
class allows the user to define new constraints.
User-defined constraints are dealt with as the built-in
constraints: they can be added to the constraint store using the method
add
and solved using the solver
methods for
constraint solving.Constructor | Description |
---|---|
NewConstraints(Solver solver) |
Sets the internal
solver to the given one and adds this constraint to the solver. |