Public Member Functions

parma_polyhedra_library::Artificial_Parameter Class Reference

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.

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:


The documentation for this class was generated from the following file: