A system of congruences. More...

Inheritance diagram for parma_polyhedra_library.Congruence_System:

Collaboration diagram for parma_polyhedra_library.Congruence_System:

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

Constructor & Destructor Documentation

parma_polyhedra_library.Congruence_System.Congruence_System ( )

inline

Default constructor: builds an empty system of congruences.

Definition at line 33 of file Congruence_System.java.

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

staticprivate

native String parma_polyhedra_library.Congruence_System.toString ( )

Returns a string representation of this.

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