A linear congruence. More...

Collaboration diagram for parma_polyhedra_library.Congruence:

Public Member Functions
	Congruence (Linear_Expression e1, Linear_Expression e2, Coefficient m)
	Returns the congruence $\mathtt{e1} = \mathtt{e2} \pmod{\mathtt{m}}$ . More...

Linear_Expression	left_hand_side ()
	Returns the left hand side of `this`. More...

Linear_Expression	right_hand_side ()
	Returns the right hand side of `this`. More...

Coefficient	modulus ()
	Returns the relation symbol of `this`. More...

native String	ascii_dump ()
	Returns an ascii formatted internal representation of `this`. More...

native String	toString ()
	Returns a string representation of `this`. More...

Protected Attributes
Coefficient	mod
	The modulus of the congruence. More...

Static Private Member Functions
static native void	initIDs ()

Detailed Description

A linear congruence.

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

$\cg = \sum_{i=0}^{n-1} a_i x_i + b = 0 \pmod{m}$

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.