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