Functions | |
| int | ppl_initialize (void) |
| Initializes the Parma Polyhedra Library. This function must be called before any other function. | |
| int | ppl_finalize (void) |
| Finalizes the Parma Polyhedra Library. This function must be called after any other function. | |
| int | ppl_set_rounding_for_PPL (void) |
| Sets the FPU rounding mode so that the PPL abstractions based on floating point numbers work correctly. | |
| int | ppl_restore_pre_PPL_rounding (void) |
| Sets the FPU rounding mode as it was before initialization of the PPL. | |
| int | ppl_irrational_precision (unsigned *p) |
Writes to p the precision parameter used for irrational calculations. | |
| int | ppl_set_irrational_precision (unsigned p) |
| Sets the precision parameter used for irrational calculations. | |
Functions for initialization/finalization of the library, as well as setting/resetting of floating-point rounding mode.
| int ppl_finalize | ( | void | ) |
Finalizes the Parma Polyhedra Library. This function must be called after any other function.
PPL_ERROR_INVALID_ARGUMENT if the library was already finalized. Definition at line 243 of file ppl_c_implementation_common.cc.
References finalize().
| int ppl_initialize | ( | void | ) |
Initializes the Parma Polyhedra Library. This function must be called before any other function.
PPL_ERROR_INVALID_ARGUMENT if the library was already initialized. Definition at line 181 of file ppl_c_implementation_common.cc.
References ANY_COMPLEXITY, initialize(), MAXIMIZATION, MINIMIZATION, OPTIMIZED_MIP_PROBLEM, OPTIMIZED_PIP_PROBLEM, POLYNOMIAL_COMPLEXITY, SIMPLEX_COMPLEXITY, UNBOUNDED_MIP_PROBLEM, UNFEASIBLE_MIP_PROBLEM, and UNFEASIBLE_PIP_PROBLEM.
| int ppl_irrational_precision | ( | unsigned * | p | ) |
Writes to p the precision parameter used for irrational calculations.
Definition at line 328 of file ppl_c_implementation_common.cc.
References irrational_precision.
| int ppl_restore_pre_PPL_rounding | ( | void | ) |
Sets the FPU rounding mode as it was before initialization of the PPL.
After calling this function it is absolutely necessary to call set_rounding_for_PPL() before using any PPL abstractions based on floating point numbers. This is performed automatically at finalization-time.
Definition at line 321 of file ppl_c_implementation_common.cc.
References restore_pre_PPL_rounding().
| int ppl_set_irrational_precision | ( | unsigned | p | ) |
Sets the precision parameter used for irrational calculations.
If p is less than or equal to INT_MAX, sets the precision parameter used for irrational calculations to p. Then, in the irrational calculations returning an unbounded rational, (e.g., when computing a square root), the lesser between numerator and denominator will be limited to 2**p.
Definition at line 335 of file ppl_c_implementation_common.cc.
References set_irrational_precision().
| int ppl_set_rounding_for_PPL | ( | void | ) |
Sets the FPU rounding mode so that the PPL abstractions based on floating point numbers work correctly.
This is performed automatically at initialization-time. Calling this function is needed only if restore_pre_PPL_rounding() has been previously called.
Definition at line 314 of file ppl_c_implementation_common.cc.
References set_rounding_for_PPL().
1.6.3