parma_polyhedra_library::Coefficient Class Reference
[Java Language Interface]

A PPL coefficient. More...

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

List of all members.

Public Member Functions

 Coefficient (int i)
 Builds a coefficient valued i.
 Coefficient (long l)
 Builds a coefficient valued l.
 Coefficient (BigInteger bi)
 Builds a coefficient valued bi.
 Coefficient (String s)
 Builds a coefficient from the decimal representation in s.
 Coefficient (Coefficient c)
 Builds a copy of c.
String toString ()
 Returns a String representation of this.
BigInteger getBigInteger ()
 Returns the value held by this.

Static Public Member Functions

static native int bits ()
 Returns the number of bits of PPL coefficients; 0 if unbounded.

Static Package Functions

 [static initializer]

Static Private Member Functions

static native void initIDs ()

Private Attributes

BigInteger value
 Holds the value of this.

Detailed Description

A PPL coefficient.

Objects of type Coefficient are used to implement the integral valued coefficients occurring in linear expressions, constraints, generators and so on.

Definition at line 34 of file Coefficient.java.


Constructor & Destructor Documentation

parma_polyhedra_library::Coefficient::Coefficient ( int  i  )  [inline]

Builds a coefficient valued i.

Definition at line 40 of file Coefficient.java.

References value.

parma_polyhedra_library::Coefficient::Coefficient ( long  l  )  [inline]

Builds a coefficient valued l.

Definition at line 45 of file Coefficient.java.

References value.

parma_polyhedra_library::Coefficient::Coefficient ( BigInteger  bi  )  [inline]

Builds a coefficient valued bi.

Definition at line 50 of file Coefficient.java.

References value.

parma_polyhedra_library::Coefficient::Coefficient ( String  s  )  [inline]

Builds a coefficient from the decimal representation in s.

Exceptions:
java.lang.NumberFormatException Thrown if s does not contain a valid decimal representation.

Definition at line 59 of file Coefficient.java.

References value.

parma_polyhedra_library::Coefficient::Coefficient ( Coefficient  c  )  [inline]

Builds a copy of c.

Definition at line 64 of file Coefficient.java.

References value.


Member Function Documentation

parma_polyhedra_library::Coefficient::[static initializer] (  )  [inline, static, package]
static native int parma_polyhedra_library::Coefficient::bits (  )  [static]

Returns the number of bits of PPL coefficients; 0 if unbounded.

BigInteger parma_polyhedra_library::Coefficient::getBigInteger (  )  [inline]

Returns the value held by this.

Definition at line 74 of file Coefficient.java.

References value.

Referenced by parma_polyhedra_library::Generator::closure_point(), and parma_polyhedra_library::Generator::point().

static native void parma_polyhedra_library::Coefficient::initIDs (  )  [static, private]
String parma_polyhedra_library::Coefficient::toString (  )  [inline]

Returns a String representation of this.

Definition at line 69 of file Coefficient.java.

References value.


Member Data Documentation

Holds the value of this.

Definition at line 37 of file Coefficient.java.

Referenced by Coefficient(), getBigInteger(), and toString().


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