parma_polyhedra_library::Congruence Class Reference
[Java Language Interface]

A linear congruence. More...

Collaboration diagram for parma_polyhedra_library::Congruence:
Collaboration graph
[legend]

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}}$.
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 ()

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.

Definition at line 42 of file Congruence.java.


Constructor & Destructor Documentation

parma_polyhedra_library::Congruence::Congruence ( Linear_Expression  e1,
Linear_Expression  e2,
Coefficient  m 
) [inline]

Returns the congruence $\mathtt{e1} = \mathtt{e2} \pmod{\mathtt{m}}$.

Definition at line 57 of file Congruence.java.

References parma_polyhedra_library::Linear_Expression::clone(), lhs, mod, and rhs.


Member Function Documentation

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]

Returns the left hand side of this.

Definition at line 65 of file Congruence.java.

References lhs.

Coefficient parma_polyhedra_library::Congruence::modulus (  )  [inline]

Returns the relation symbol of this.

Definition at line 75 of file Congruence.java.

References mod.

Linear_Expression parma_polyhedra_library::Congruence::right_hand_side (  )  [inline]

Returns the right hand side of this.

Definition at line 70 of file Congruence.java.

References rhs.

native String parma_polyhedra_library::Congruence::toString (  ) 

Returns a string representation of this.


Member Data Documentation

The value of the left hand side of this.

Definition at line 48 of file Congruence.java.

Referenced by Congruence(), and left_hand_side().

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().


The documentation for this class was generated from the following file:
Generated on Sun Feb 27 16:35:27 2011 for PPL Configured Java Language Interface by  doxygen 1.6.3