parma_polyhedra_library.Congruence_System Class Reference

A system of congruences. More...

Inherits ArrayList< Congruence >.

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

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.

---

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

• Congruence_System.java