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