Public Member Functions | |
Constraint_System () | |
Default constructor: builds an empty system of constraints. | |
native String | ascii_dump () |
Returns an ascii formatted internal representation of this . | |
native String | toString () |
Returns a string representation of this . |
An object of the class Constraint_System is a system of constraints, i.e., a multiset of objects of the class Constraint.