parma_polyhedra_library.Coefficient Class Reference

A PPL coefficient. More...

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. More...
	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

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.

---

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

• Coefficient.java