parma_polyhedra_library::Artificial_Parameter Class Reference

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

List of all members.

Public Member Functions

 Artificial_Parameter (Linear_Expression e, Coefficient d)
 Builds an artificial parameter from a linear expression and a denominator.
Linear_Expression linear_expression ()
 Returns the linear expression in artificial parameter this.
Coefficient denominator ()
 Returns the denominator in artificial parameter this.
native String ascii_dump ()
 Returns an ascii formatted internal representation of this.
native String toString ()
 Returns a string representation of this.

Static Package Functions

 [static initializer]

Static Private Member Functions

static native void initIDs ()

Private Attributes

Linear_Expression le
 The value of the linear expression of this.
Coefficient den
 The value of the denominatir of this.

Detailed Description

An Artificial_Parameter object represents the result of the integer division of a Linear_Expression (on the other parameters, including the previously-defined artificials) by an integer denominator (a Coefficient object). The dimensions of the artificial parameters (if any) in a tree node have consecutive indices starting from dim+1, where the value of dim is computed as follows:

Definition at line 49 of file Artificial_Parameter.java.


Constructor & Destructor Documentation

parma_polyhedra_library::Artificial_Parameter::Artificial_Parameter ( Linear_Expression  e,
Coefficient  d 
) [inline]

Builds an artificial parameter from a linear expression and a denominator.

Definition at line 61 of file Artificial_Parameter.java.

References parma_polyhedra_library::Linear_Expression::clone(), den, and le.


Member Function Documentation

parma_polyhedra_library::Artificial_Parameter::[static initializer] (  )  [inline, static, package]
native String parma_polyhedra_library::Artificial_Parameter::ascii_dump (  ) 

Returns an ascii formatted internal representation of this.

Coefficient parma_polyhedra_library::Artificial_Parameter::denominator (  )  [inline]

Returns the denominator in artificial parameter this.

Definition at line 76 of file Artificial_Parameter.java.

References den.

static native void parma_polyhedra_library::Artificial_Parameter::initIDs (  )  [static, private]
Linear_Expression parma_polyhedra_library::Artificial_Parameter::linear_expression (  )  [inline]

Returns the linear expression in artificial parameter this.

Definition at line 69 of file Artificial_Parameter.java.

References le.

native String parma_polyhedra_library::Artificial_Parameter::toString (  ) 

Returns a string representation of this.


Member Data Documentation

The value of the denominatir of this.

Definition at line 55 of file Artificial_Parameter.java.

Referenced by Artificial_Parameter(), and denominator().

The value of the linear expression of this.

Definition at line 52 of file Artificial_Parameter.java.

Referenced by Artificial_Parameter(), and linear_expression().


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