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 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 34 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 37 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: