A system of constraints. More...

Inheritance diagram for parma_polyhedra_library.Constraint_System:

Collaboration diagram for parma_polyhedra_library.Constraint_System:

Public Member Functions
	Constraint_System ()
	Default constructor: builds an empty system of constraints. 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 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 31 of file Constraint_System.java.

Constructor & Destructor Documentation

parma_polyhedra_library.Constraint_System.Constraint_System ( )

inline

Default constructor: builds an empty system of constraints.

Definition at line 34 of file Constraint_System.java.

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

staticprivate

native String parma_polyhedra_library.Constraint_System.toString ( )

Returns a string representation of this.

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