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. | |
Static Package Functions | |
| [static initializer] | |
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. | |
Static Private Member Functions | |
| static native void | initIDs () |
A linear congruence.
An object of the class Congruence is an object represeting a congruence:

where
is the dimension of the space,
is the integer coefficient of variable
,
is the integer inhomogeneous term and
is the integer modulus; if
, then
represents the equality congruence
and, if
, then the congruence
is said to be a proper congruence.
Definition at line 42 of file Congruence.java.
| parma_polyhedra_library::Congruence::Congruence | ( | Linear_Expression | e1, | |
| Linear_Expression | e2, | |||
| Coefficient | m | |||
| ) | [inline] |
Returns the congruence
.
Definition at line 57 of file Congruence.java.
References parma_polyhedra_library::Linear_Expression::clone(), lhs, mod, and rhs.
| parma_polyhedra_library::Congruence::[static initializer] | ( | ) | [inline, static, package] |
| native String parma_polyhedra_library::Congruence::ascii_dump | ( | ) |
Returns an ascii formatted internal representation of this.
| static native void parma_polyhedra_library::Congruence::initIDs | ( | ) | [static, private] |
| Linear_Expression parma_polyhedra_library::Congruence::left_hand_side | ( | ) | [inline] |
| Coefficient parma_polyhedra_library::Congruence::modulus | ( | ) | [inline] |
| Linear_Expression parma_polyhedra_library::Congruence::right_hand_side | ( | ) | [inline] |
| native String parma_polyhedra_library::Congruence::toString | ( | ) |
Returns a string representation of this.
The value of the left hand side of this.
Definition at line 48 of file Congruence.java.
Referenced by Congruence(), and left_hand_side().
Coefficient parma_polyhedra_library::Congruence::mod [protected] |
The modulus of the congruence.
Definition at line 45 of file Congruence.java.
Referenced by Congruence(), and modulus().
The value of the right hand side of this.
Definition at line 51 of file Congruence.java.
Referenced by Congruence(), and right_hand_side().
1.6.3