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. | |
A PPL coefficient.
Objects of type Coefficient are used to implement the integral valued coefficients occurring in linear expressions, constraints, generators and so on.
| 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. |
1.7.1-20100728