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. | |
| 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. | |
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.
| parma_polyhedra_library::Coefficient::Coefficient | ( | int | i | ) | [inline] |
| parma_polyhedra_library::Coefficient::Coefficient | ( | long | l | ) | [inline] |
| parma_polyhedra_library::Coefficient::Coefficient | ( | BigInteger | bi | ) | [inline] |
| parma_polyhedra_library::Coefficient::Coefficient | ( | String | s | ) | [inline] |
Builds a coefficient from the decimal representation in s.
| 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] |
| 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.
BigInteger parma_polyhedra_library::Coefficient::value [private] |
Holds the value of this.
Definition at line 37 of file Coefficient.java.
Referenced by Coefficient(), getBigInteger(), and toString().
1.6.3