A system of constraints. More...
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. | |
Static Package Functions | |
| [static initializer] | |
Static Private Member Functions | |
| static native void | initIDs () |
A system of constraints.
An object of the class Constraint_System is a system of constraints, i.e., a multiset of objects of the class Constraint.
Definition at line 34 of file Constraint_System.java.
| parma_polyhedra_library::Constraint_System::Constraint_System | ( | ) | [inline] |
Default constructor: builds an empty system of constraints.
Definition at line 37 of file Constraint_System.java.
| parma_polyhedra_library::Constraint_System::[static initializer] | ( | ) | [inline, static, package] |
| native String parma_polyhedra_library::Constraint_System::ascii_dump | ( | ) |
Returns an ascii formatted internal representation of this.
| static native void parma_polyhedra_library::Constraint_System::initIDs | ( | ) | [static, private] |
| native String parma_polyhedra_library::Constraint_System::toString | ( | ) |
Returns a string representation of this.
1.6.3