PPL Configured Java Language Interface 0.12.1
A linear congruence. More...
|Congruence (Linear_Expression e1, Linear_Expression e2, Coefficient m)|
|Returns the congruence . |
|Returns the left hand side of |
|Returns the right hand side of |
|Returns the relation symbol of |
|native String||ascii_dump ()|
|Returns an ascii formatted internal representation of |
|native String||toString ()|
|Returns a string representation of |
|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 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.