PPL Java Language Interface  0.12.1
parma_polyhedra_library.Coefficient Class Reference

A PPL coefficient. More...

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.

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.


Constructor & Destructor Documentation

Builds a coefficient from the decimal representation in s.

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

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