parma_polyhedra_library::Congruence Class Reference
[Java Language Interface]

A linear congruence. More...

List of all members.

Public Member Functions

 Congruence (Linear_Expression e1, Linear_Expression e2, Coefficient m)
 Returns the congruence $\mathtt{e1} = \mathtt{e2} \pmod{\mathtt{m}}$.
native String ascii_dump ()
 Returns an ascii formatted internal representation of this.
native String toString ()
 Returns a string representation of this.

Protected Attributes

Coefficient modulus
 The modulus of the congruence.

Package Attributes

Linear_Expression lhs
 The value of the left hand side of this.
Linear_Expression rhs
 The value of the right hand side of this.


Detailed Description

A linear congruence.

An object of the class Congruence is an object represeting a congruence:

where $n$ is the dimension of the space, $a_i$ is the integer coefficient of variable $x_i$, $b$ is the integer inhomogeneous term and $m$ is the integer modulus; if $m = 0$, then $\cg$ represents the equality congruence $\sum_{i=0}^{n-1} a_i x_i + b = 0$ and, if $m \neq 0$, then the congruence $\cg$ is said to be a proper congruence.


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

Generated on Tue Apr 14 07:13:26 2009 for PPL Java Language Interface by  doxygen 1.5.7.1