parma_polyhedra_library.Coefficient Class Reference

A PPL coefficient. More...

Collaboration diagram for parma_polyhedra_library.Coefficient:

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

Static Public Member Functions
static native int	bits ()
	Returns the number of bits of PPL coefficients; 0 if unbounded. More...

Static Private Member Functions
static native void	initIDs ()

Private Attributes
BigInteger	value
	Holds the value of this. More...

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.

parma_polyhedra_library.Coefficient.Coefficient ( long  l )

inline

Builds a coefficient valued l.

Definition at line 45 of file Coefficient.java.

parma_polyhedra_library.Coefficient.Coefficient ( BigInteger  bi )

inline

Builds a coefficient valued bi.

Definition at line 50 of file Coefficient.java.

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.

parma_polyhedra_library.Coefficient.Coefficient ( Coefficient  c )

inline

Builds a copy of c.

Definition at line 64 of file Coefficient.java.

References parma_polyhedra_library.Coefficient.value.

Member Function Documentation

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 parma_polyhedra_library.Coefficient.value.

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

static native void parma_polyhedra_library.Coefficient.initIDs ( )

staticprivate

String parma_polyhedra_library.Coefficient.toString ( )

inline

Returns a String representation of this.

Definition at line 69 of file Coefficient.java.

Member Data Documentation

BigInteger parma_polyhedra_library.Coefficient.value

private

Holds the value of this.

Definition at line 37 of file Coefficient.java.

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

---

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

• Coefficient.java