| PPL Java Language Interface
    1.2
    | 
A linear congruence. More...
| Public Member Functions | |
| Congruence (Linear_Expression e1, Linear_Expression e2, Coefficient m) | |
| Returns the congruence  . | |
| Linear_Expression | left_hand_side () | 
| Returns the left hand side of this. | |
| Linear_Expression | right_hand_side () | 
| Returns the right hand side of this. | |
| Coefficient | modulus () | 
| Returns the relation symbol of this. | |
| native String | ascii_dump () | 
| Returns an ascii formatted internal representation of this. | |
| native String | toString () | 
| Returns a string representation of this. | |
| Protected Attributes | |
| Coefficient | mod | 
| The modulus of the congruence. | |
A linear congruence.
An object of the class Congruence is an object represeting a congruence:

where  is the dimension of the space,
 is the dimension of the space,  is the integer coefficient of variable
 is the integer coefficient of variable  ,
,  is the integer inhomogeneous term and
 is the integer inhomogeneous term and  is the integer modulus; if
 is the integer modulus; if  , then
, then  represents the equality congruence
 represents the equality congruence  and, if
 and, if  , then the congruence
, then the congruence  is said to be a proper congruence.
 is said to be a proper congruence.