parma_polyhedra_library.Generator_System Class Reference

A system of generators. More...

Inheritance diagram for parma_polyhedra_library.Generator_System:

Collaboration diagram for parma_polyhedra_library.Generator_System:

Public Member Functions
	Generator_System ()
	Default constructor: builds an empty system of generators. More...
native String	ascii_dump ()
	Returns an ascii formatted internal representation of this. More...
native String	toString ()
	Returns a string representation of this. More...

Static Private Member Functions
static native void	initIDs ()

Detailed Description

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 32 of file Generator_System.java.

Constructor & Destructor Documentation

parma_polyhedra_library.Generator_System.Generator_System ( )

inline

Default constructor: builds an empty system of generators.

Definition at line 35 of file Generator_System.java.

Member Function Documentation

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 ( )

staticprivate

native String parma_polyhedra_library.Generator_System.toString

(

)

Returns a string representation of this.

---

The documentation for this class was generated from the following file:

• Generator_System.java