|  | 
| (Note that these are not member functions.)  | 
|  | 
| int | ppl_new_C_Polyhedron_from_space_dimension (ppl_Polyhedron_t *pph, ppl_dimension_type d, int empty) | 
|  | Builds a C polyhedron of dimension dand writes an handle to it at addresspph. Ifemptyis different from zero, the newly created polyhedron will be empty; otherwise, it will be a universe polyhedron.
 | 
|  | 
| int | ppl_new_C_Polyhedron_from_C_Polyhedron (ppl_Polyhedron_t *pph, ppl_const_Polyhedron_t ph) | 
|  | Builds a C polyhedron that is a copy of ph; writes a handle for the newly created polyhedron at addresspph.
 | 
|  | 
| int | ppl_new_C_Polyhedron_from_C_Polyhedron_with_complexity (ppl_Polyhedron_t *pph, ppl_const_Polyhedron_t ph, int complexity) | 
|  | Builds a C polyhedron that is a copy of ph; writes a handle for the newly created polyhedron at addresspph.  More...
 | 
|  | 
| int | ppl_new_C_Polyhedron_from_Constraint_System (ppl_Polyhedron_t *pph, ppl_const_Constraint_System_t cs) | 
|  | Builds a new C polyhedron from the system of constraints csand writes a handle for the newly created polyhedron at addresspph.  More...
 | 
|  | 
| int | ppl_new_C_Polyhedron_recycle_Constraint_System (ppl_Polyhedron_t *pph, ppl_Constraint_System_t cs) | 
|  | Builds a new C polyhedron recycling the system of constraints csand writes a handle for the newly created polyhedron at addresspph.  More...
 | 
|  | 
| int | ppl_new_C_Polyhedron_from_Congruence_System (ppl_Polyhedron_t *pph, ppl_const_Congruence_System_t cs) | 
|  | Builds a new C polyhedron from the system of congruences csand writes a handle for the newly created polyhedron at addresspph.  More...
 | 
|  | 
| int | ppl_new_C_Polyhedron_recycle_Congruence_System (ppl_Polyhedron_t *pph, ppl_Congruence_System_t cs) | 
|  | Builds a new C polyhedron recycling the system of congruences csand writes a handle for the newly created polyhedron at addresspph.  More...
 | 
|  | 
| int | ppl_assign_C_Polyhedron_from_C_Polyhedron (ppl_Polyhedron_t dst, ppl_const_Polyhedron_t src) | 
|  | Assigns a copy of the C polyhedron srcto the C polyhedrondst.
 | 
|  | 
|  | 
| int | ppl_new_NNC_Polyhedron_from_space_dimension (ppl_Polyhedron_t *pph, ppl_dimension_type d, int empty) | 
|  | Builds an NNC polyhedron of dimension dand writes an handle to it at addresspph. Ifemptyis different from zero, the newly created polyhedron will be empty; otherwise, it will be a universe polyhedron.
 | 
|  | 
| int | ppl_new_NNC_Polyhedron_from_NNC_Polyhedron (ppl_Polyhedron_t *pph, ppl_const_Polyhedron_t ph) | 
|  | Builds an NNC polyhedron that is a copy of ph; writes a handle for the newly created polyhedron at addresspph.
 | 
|  | 
| int | ppl_new_NNC_Polyhedron_from_NNC_Polyhedron_with_complexity (ppl_Polyhedron_t *pph, ppl_const_Polyhedron_t ph, int complexity) | 
|  | Builds an NNC polyhedron that is a copy of ph; writes a handle for the newly created polyhedron at addresspph.  More...
 | 
|  | 
| int | ppl_new_NNC_Polyhedron_from_Constraint_System (ppl_Polyhedron_t *pph, ppl_const_Constraint_System_t cs) | 
|  | Builds a new NNC polyhedron from the system of constraints csand writes a handle for the newly created polyhedron at addresspph.  More...
 | 
|  | 
| int | ppl_new_NNC_Polyhedron_recycle_Constraint_System (ppl_Polyhedron_t *pph, ppl_Constraint_System_t cs) | 
|  | Builds a new NNC polyhedron recycling the system of constraints csand writes a handle for the newly created polyhedron at addresspph.  More...
 | 
|  | 
| int | ppl_new_NNC_Polyhedron_from_Congruence_System (ppl_Polyhedron_t *pph, ppl_const_Congruence_System_t cs) | 
|  | Builds a new NNC polyhedron from the system of congruences csand writes a handle for the newly created polyhedron at addresspph.  More...
 | 
|  | 
| int | ppl_new_NNC_Polyhedron_recycle_Congruence_System (ppl_Polyhedron_t *pph, ppl_Congruence_System_t cs) | 
|  | Builds a new NNC polyhedron recycling the system of congruences csand writes a handle for the newly created polyhedron at addresspph.  More...
 | 
|  | 
| int | ppl_assign_NNC_Polyhedron_from_NNC_Polyhedron (ppl_Polyhedron_t dst, ppl_const_Polyhedron_t src) | 
|  | Assigns a copy of the NNC polyhedron srcto the NNC polyhedrondst.
 | 
|  | 
|  | 
| Besides the conversions listed here below, the library also provides conversion operators that build a semantic geometric description starting from any other semantic geometric description (e.g., ppl_new_Grid_from_C_Polyhedron, ppl_new_C_Polyhedron_from_BD_Shape_mpq_class, etc.). Clearly, the conversion operators are only available if both the source and the target semantic geometric descriptions have been enabled when configuring the library. The conversions also taking as argument a complexity class sometimes provide non-trivial precision/efficiency trade-offs.  | 
| int | ppl_new_C_Polyhedron_from_NNC_Polyhedron (ppl_Polyhedron_t *pph, ppl_const_Polyhedron_t ph) | 
|  | Builds a C polyhedron that is a copy of the topological closure of the NNC polyhedron ph; writes a handle for the newly created polyhedron at addresspph.
 | 
|  | 
| int | ppl_new_C_Polyhedron_from_NNC_Polyhedron_with_complexity (ppl_Polyhedron_t *pph, ppl_const_Polyhedron_t ph, int complexity) | 
|  | Builds a C polyhedron that approximates NNC_Polyhedron ph, using an algorithm whose complexity does not exceedcomplexity; writes a handle for the newly created polyhedron at addresspph.  More...
 | 
|  | 
| int | ppl_new_NNC_Polyhedron_from_C_Polyhedron (ppl_Polyhedron_t *pph, ppl_const_Polyhedron_t ph) | 
|  | Builds an NNC polyhedron that is a copy of the C polyhedron ph; writes a handle for the newly created polyhedron at addresspph.
 | 
|  | 
| int | ppl_new_NNC_Polyhedron_from_C_Polyhedron_with_complexity (ppl_Polyhedron_t *pph, ppl_const_Polyhedron_t ph, int complexity) | 
|  | Builds an NNC polyhedron that approximates C_Polyhedron ph, using an algorithm whose complexity does not exceedcomplexity; writes a handle for the newly created polyhedron at addresspph.  More...
 | 
|  | 
|  | 
| int | ppl_delete_Polyhedron (ppl_const_Polyhedron_t ph) | 
|  | Invalidates the handle ph:this makes sure the corresponding resources will eventually be released.
 | 
|  | 
|  | 
| int | ppl_Polyhedron_space_dimension (ppl_const_Polyhedron_t ph, ppl_dimension_type *m) | 
|  | Writes to mthe dimension of the vector space enclosingph.
 | 
|  | 
| int | ppl_Polyhedron_affine_dimension (ppl_const_Polyhedron_t ph, ppl_dimension_type *m) | 
|  | Writes to mthe affine dimension ofph(not to be confused with the dimension of its enclosing vector space) or 0, ifphis empty.
 | 
|  | 
| int | ppl_Polyhedron_relation_with_Constraint (ppl_const_Polyhedron_t ph, ppl_const_Constraint_t c) | 
|  | Checks the relation between the polyhedron phand the constraintc.  More...
 | 
|  | 
| int | ppl_Polyhedron_relation_with_Generator (ppl_const_Polyhedron_t ph, ppl_const_Generator_t g) | 
|  | Checks the relation between the polyhedron phand the generatorg.  More...
 | 
|  | 
| int | ppl_Polyhedron_get_constraints (ppl_const_Polyhedron_t ph, ppl_const_Constraint_System_t *pcs) | 
|  | Writes a const handle to the constraint system defining the polyhedron phat addresspcs.
 | 
|  | 
| int | ppl_Polyhedron_get_congruences (ppl_const_Polyhedron_t ph, ppl_const_Congruence_System_t *pcs) | 
|  | Writes at address pcsa const handle to a system of congruences approximating the polyhedronph.
 | 
|  | 
| int | ppl_Polyhedron_get_minimized_constraints (ppl_const_Polyhedron_t ph, ppl_const_Constraint_System_t *pcs) | 
|  | Writes a const handle to the minimized constraint system defining the polyhedron phat addresspcs.
 | 
|  | 
| int | ppl_Polyhedron_get_minimized_congruences (ppl_const_Polyhedron_t ph, ppl_const_Congruence_System_t *pcs) | 
|  | Writes at address pcsa const handle to a system of minimized congruences approximating the polyhedronph.
 | 
|  | 
| int | ppl_Polyhedron_is_empty (ppl_const_Polyhedron_t ph) | 
|  | Returns a positive integer if phis empty; returns 0 ifphis not empty.
 | 
|  | 
| int | ppl_Polyhedron_is_universe (ppl_const_Polyhedron_t ph) | 
|  | Returns a positive integer if phis a universe polyhedron; returns 0 if it is not.
 | 
|  | 
| int | ppl_Polyhedron_is_bounded (ppl_const_Polyhedron_t ph) | 
|  | Returns a positive integer if phis bounded; returns 0 ifphis unbounded.
 | 
|  | 
| int | ppl_Polyhedron_contains_integer_point (ppl_const_Polyhedron_t ph) | 
|  | Returns a positive integer if phcontains at least one integer point; returns 0 otherwise.
 | 
|  | 
| int | ppl_Polyhedron_is_topologically_closed (ppl_const_Polyhedron_t ph) | 
|  | Returns a positive integer if phis topologically closed; returns 0 ifphis not topologically closed.
 | 
|  | 
| int | ppl_Polyhedron_is_discrete (ppl_const_Polyhedron_t ph) | 
|  | Returns a positive integer if phis a discrete set; returns 0 ifphis not a discrete set.
 | 
|  | 
| int | ppl_Polyhedron_constrains (ppl_Polyhedron_t ph, ppl_dimension_type var) | 
|  | Returns a positive integer if phconstrainsvar; returns 0 ifphdoes not constrainvar.
 | 
|  | 
| int | ppl_Polyhedron_bounds_from_above (ppl_const_Polyhedron_t ph, ppl_const_Linear_Expression_t le) | 
|  | Returns a positive integer if leis bounded from above inph; returns 0 otherwise.
 | 
|  | 
| int | ppl_Polyhedron_bounds_from_below (ppl_const_Polyhedron_t ph, ppl_const_Linear_Expression_t le) | 
|  | Returns a positive integer if leis bounded from below inph; returns 0 otherwise.
 | 
|  | 
| int | ppl_Polyhedron_maximize_with_point (ppl_const_Polyhedron_t ph, ppl_const_Linear_Expression_t le, ppl_Coefficient_t sup_n, ppl_Coefficient_t sup_d, int *pmaximum, ppl_Generator_t point) | 
|  | Returns a positive integer if phis not empty andleis bounded from above inph, in which case the supremum value and a point wherelereaches it are computed.  More...
 | 
|  | 
| int | ppl_Polyhedron_maximize (ppl_const_Polyhedron_t ph, ppl_const_Linear_Expression_t le, ppl_Coefficient_t sup_n, ppl_Coefficient_t sup_d, int *pmaximum) | 
|  | The same as ppl_Polyhedron_maximize_with_point, but without the output argument for the location where the supremum value is reached. 
 | 
|  | 
| int | ppl_Polyhedron_minimize_with_point (ppl_const_Polyhedron_t ph, ppl_const_Linear_Expression_t le, ppl_Coefficient_t inf_n, ppl_Coefficient_t inf_d, int *pminimum, ppl_Generator_t point) | 
|  | Returns a positive integer if phis not empty andleis bounded from below inph, in which case the infimum value and a point wherelereaches it are computed.  More...
 | 
|  | 
| int | ppl_Polyhedron_minimize_with_point (ppl_const_Polyhedron_t ph, ppl_const_Linear_Expression_t le, ppl_Coefficient_t inf_n, ppl_Coefficient_t inf_d, int *pminimum) | 
|  | The same as ppl_Polyhedron_minimize_with_point, but without the output argument for the location where the infimum value is reached. 
 | 
|  | 
| int | ppl_Polyhedron_contains_Polyhedron (ppl_const_Polyhedron_t x, ppl_const_Polyhedron_t y) | 
|  | Returns a positive integer if xcontains or is equal toy; returns 0 if it does not.
 | 
|  | 
| int | ppl_Polyhedron_strictly_contains_Polyhedron (ppl_const_Polyhedron_t x, ppl_const_Polyhedron_t y) | 
|  | Returns a positive integer if xstrictly containsy; returns 0 if it does not.
 | 
|  | 
| int | ppl_Polyhedron_is_disjoint_from_Polyhedron (ppl_const_Polyhedron_t x, ppl_const_Polyhedron_t y) | 
|  | Returns a positive integer if xandyare disjoint; returns 0 if they are not.
 | 
|  | 
| int | ppl_Polyhedron_equals_Polyhedron (ppl_const_Polyhedron_t x, ppl_const_Polyhedron_t y) | 
|  | Returns a positive integer if xandyare the same polyhedron; returns 0 if they are different.  More...
 | 
|  | 
| int | ppl_Polyhedron_OK (ppl_const_Polyhedron_t ph) | 
|  | Returns a positive integer if phis well formed, i.e., if it satisfies all its implementation invariants; returns 0 and perhaps makes some noise ifphis broken. Useful for debugging purposes.
 | 
|  | 
| int | ppl_Polyhedron_external_memory_in_bytes (ppl_const_Polyhedron_t ph, size_t *sz) | 
|  | Writes to sza lower bound to the size in bytes of the memory managed byph.
 | 
|  | 
| int | ppl_Polyhedron_total_memory_in_bytes (ppl_const_Polyhedron_t ph, size_t *sz) | 
|  | Writes to sza lower bound to the size in bytes of the memory managed byph.
 | 
|  | 
|  | 
| int | ppl_Polyhedron_add_constraint (ppl_Polyhedron_t ph, ppl_const_Constraint_t c) | 
|  | Adds a copy of the constraint cto the system of constraints ofph.
 | 
|  | 
| int | ppl_Polyhedron_add_congruence (ppl_Polyhedron_t ph, ppl_const_Congruence_t c) | 
|  | Adds a copy of the congruence cto polyhedron ofph.
 | 
|  | 
| int | ppl_Polyhedron_add_constraints (ppl_Polyhedron_t ph, ppl_const_Constraint_System_t cs) | 
|  | Adds a copy of the system of constraints csto the system of constraints ofph.
 | 
|  | 
| int | ppl_Polyhedron_add_congruences (ppl_Polyhedron_t ph, ppl_const_Congruence_System_t cs) | 
|  | Adds a copy of the system of congruences csto the polyhedronph.
 | 
|  | 
| int | ppl_Polyhedron_add_recycled_constraints (ppl_Polyhedron_t ph, ppl_Constraint_System_t cs) | 
|  | Adds the system of constraints csto the system of constraints ofph.  More...
 | 
|  | 
| int | ppl_Polyhedron_add_recycled_congruences (ppl_Polyhedron_t ph, ppl_Congruence_System_t cs) | 
|  | Adds the system of congruences csto the polyhedronph.  More...
 | 
|  | 
| int | ppl_Polyhedron_refine_with_constraint (ppl_Polyhedron_t ph, ppl_const_Constraint_t c) | 
|  | Refines phusing constraintc.
 | 
|  | 
| int | ppl_Polyhedron_refine_with_congruence (ppl_Polyhedron_t ph, ppl_const_Congruence_t c) | 
|  | Refines phusing congruencec.
 | 
|  | 
| int | ppl_Polyhedron_refine_with_constraints (ppl_Polyhedron_t ph, ppl_const_Constraint_System_t cs) | 
|  | Refines phusing the constraints incs.
 | 
|  | 
| int | ppl_Polyhedron_refine_with_congruences (ppl_Polyhedron_t ph, ppl_const_Congruence_System_t cs) | 
|  | Refines phusing the congruences incs.
 | 
|  | 
| int | ppl_Polyhedron_intersection_assign (ppl_Polyhedron_t x, ppl_const_Polyhedron_t y) | 
|  | Intersects xwith polyhedronyand assigns the result tox.
 | 
|  | 
| int | ppl_Polyhedron_upper_bound_assign (ppl_Polyhedron_t x, ppl_const_Polyhedron_t y) | 
|  | Assigns to xan upper bound ofxandy.  More...
 | 
|  | 
| int | ppl_Polyhedron_difference_assign (ppl_Polyhedron_t x, ppl_const_Polyhedron_t y) | 
|  | Same as ppl_Polyhedron_poly_difference_assign(x, y). 
 | 
|  | 
| int | ppl_Polyhedron_simplify_using_context_assign (ppl_Polyhedron_t x, ppl_const_Polyhedron_t y) | 
|  | Assigns to xthe meet-preserving simplification ofxwith respect to contexty. Returns a positive integer ifxandyhave a nonempty intersection; returns0if they are disjoint.
 | 
|  | 
| int | ppl_Polyhedron_time_elapse_assign (ppl_Polyhedron_t x, ppl_const_Polyhedron_t y) | 
|  | Assigns to xthe time-elapse between the polyhedraxandy.
 | 
|  | 
| int | ppl_Polyhedron_topological_closure_assign (ppl_Polyhedron_t ph) | 
|  | Assigns to phits topological closure.
 | 
|  | 
| int | ppl_Polyhedron_unconstrain_space_dimension (ppl_Polyhedron_t ph, ppl_dimension_type var) | 
|  | Modifies phby unconstraining the space dimensionvar.
 | 
|  | 
| int | ppl_Polyhedron_unconstrain_space_dimensions (ppl_Polyhedron_t ph, ppl_dimension_type ds[], size_t n) | 
|  | Modifies phby unconstraining the space dimensions that are specified in the firstnpositions of the arrayds. The presence of duplicates indsis a waste but an innocuous one.
 | 
|  | 
| int | ppl_Polyhedron_affine_image (ppl_Polyhedron_t ph, ppl_dimension_type var, ppl_const_Linear_Expression_t le, ppl_const_Coefficient_t d) | 
|  | Transforms the polyhedron ph, assigning an affine expression to the specified variable.  More...
 | 
|  | 
| int | ppl_Polyhedron_affine_preimage (ppl_Polyhedron_t ph, ppl_dimension_type var, ppl_const_Linear_Expression_t le, ppl_const_Coefficient_t d) | 
|  | Transforms the polyhedron ph, substituting an affine expression to the specified variable.  More...
 | 
|  | 
| int | ppl_Polyhedron_bounded_affine_image (ppl_Polyhedron_t ph, ppl_dimension_type var, ppl_const_Linear_Expression_t lb, ppl_const_Linear_Expression_t ub, ppl_const_Coefficient_t d) | 
|  | Assigns to phthe image ofphwith respect to the generalized affine transfer relation .  More... 
 | 
|  | 
| int | ppl_Polyhedron_bounded_affine_preimage (ppl_Polyhedron_t ph, ppl_dimension_type var, ppl_const_Linear_Expression_t lb, ppl_const_Linear_Expression_t ub, ppl_const_Coefficient_t d) | 
|  | Assigns to phthe preimage ofphwith respect to the generalized affine transfer relation .  More... 
 | 
|  | 
| int | ppl_Polyhedron_generalized_affine_image (ppl_Polyhedron_t ph, ppl_dimension_type var, enum ppl_enum_Constraint_Type relsym, ppl_const_Linear_Expression_t le, ppl_const_Coefficient_t d) | 
|  | Assigns to phthe image ofphwith respect to the generalized affine transfer relation , where  is the relation symbol encoded by relsym.  More...
 | 
|  | 
| int | ppl_Polyhedron_generalized_affine_preimage (ppl_Polyhedron_t ph, ppl_dimension_type var, enum ppl_enum_Constraint_Type relsym, ppl_const_Linear_Expression_t le, ppl_const_Coefficient_t d) | 
|  | Assigns to phthe preimage ofphwith respect to the generalized affine transfer relation , where  is the relation symbol encoded by relsym.  More...
 | 
|  | 
| int | ppl_Polyhedron_generalized_affine_image_lhs_rhs (ppl_Polyhedron_t ph, ppl_const_Linear_Expression_t lhs, enum ppl_enum_Constraint_Type relsym, ppl_const_Linear_Expression_t rhs) | 
|  | Assigns to phthe image ofphwith respect to the generalized affine transfer relation , where  is the relation symbol encoded by relsym.  More...
 | 
|  | 
| int | ppl_Polyhedron_generalized_affine_preimage_lhs_rhs (ppl_Polyhedron_t ph, ppl_const_Linear_Expression_t lhs, enum ppl_enum_Constraint_Type relsym, ppl_const_Linear_Expression_t rhs) | 
|  | Assigns to phthe preimage ofphwith respect to the generalized affine transfer relation , where  is the relation symbol encoded by relsym.  More...
 | 
|  | 
|  | 
| int | ppl_Polyhedron_concatenate_assign (ppl_Polyhedron_t x, ppl_const_Polyhedron_t y) | 
|  | Seeing a polyhedron as a set of tuples (its points), assigns to xall the tuples that can be obtained by concatenating, in the order given, a tuple ofxwith a tuple ofy.
 | 
|  | 
| int | ppl_Polyhedron_add_space_dimensions_and_embed (ppl_Polyhedron_t ph, ppl_dimension_type d) | 
|  | Adds dnew dimensions to the space enclosing the polyhedronphand tophitself.
 | 
|  | 
| int | ppl_Polyhedron_add_space_dimensions_and_project (ppl_Polyhedron_t ph, ppl_dimension_type d) | 
|  | Adds dnew dimensions to the space enclosing the polyhedronph.
 | 
|  | 
| int | ppl_Polyhedron_remove_space_dimensions (ppl_Polyhedron_t ph, ppl_dimension_type ds[], size_t n) | 
|  | Removes from the vector space enclosing phthe space dimensions that are specified in firstnpositions of the arrayds. The presence of duplicates indsis a waste but an innocuous one.
 | 
|  | 
| int | ppl_Polyhedron_remove_higher_space_dimensions (ppl_Polyhedron_t ph, ppl_dimension_type d) | 
|  | Removes the higher dimensions from the vector space enclosing phso that, upon successful return, the new space dimension isd.
 | 
|  | 
| int | ppl_Polyhedron_map_space_dimensions (ppl_Polyhedron_t ph, ppl_dimension_type maps[], size_t n) | 
|  | Remaps the dimensions of the vector space according to a partial function. This function is specified by means of the mapsarray, which hasnentries.  More...
 | 
|  | 
| int | ppl_Polyhedron_expand_space_dimension (ppl_Polyhedron_t ph, ppl_dimension_type d, ppl_dimension_type m) | 
|  | Expands the  -th dimension of the vector space enclosing phtomnew space dimensions.
 | 
|  | 
| int | ppl_Polyhedron_fold_space_dimensions (ppl_Polyhedron_t ph, ppl_dimension_type ds[], size_t n, ppl_dimension_type d) | 
|  | Modifies phby folding the space dimensions contained in the firstnpositions of the arraydsinto dimensiond. The presence of duplicates indsis a waste but an innocuous one.
 | 
|  | 
|  | 
| int | ppl_io_print_Polyhedron (ppl_const_Polyhedron_t x) | 
|  | Prints xtostdout.
 | 
|  | 
| int | ppl_io_fprint_Polyhedron (FILE *stream, ppl_const_Polyhedron_t x) | 
|  | Prints xto the given outputstream.
 | 
|  | 
| int | ppl_io_asprint_Polyhedron (char **strp, ppl_const_Polyhedron_t x) | 
|  | Prints xto a malloc-allocated string, a pointer to which is returned viastrp.
 | 
|  | 
| int | ppl_Polyhedron_ascii_dump (ppl_const_Polyhedron_t x, FILE *stream) | 
|  | Dumps an ascii representation of xonstream.
 | 
|  | 
| int | ppl_Polyhedron_ascii_load (ppl_Polyhedron_t x, FILE *stream) | 
|  | Loads an ascii representation of xfromstream.
 | 
|  | 
|  | 
| The functions listed here below, being specific of the polyhedron domains, do not have a correspondence in other semantic geometric descriptions.  | 
| int | ppl_new_C_Polyhedron_from_Generator_System (ppl_Polyhedron_t *pph, ppl_const_Generator_System_t gs) | 
|  | Builds a new C polyhedron from the system of generators gsand writes a handle for the newly created polyhedron at addresspph.  More...
 | 
|  | 
| int | ppl_new_C_Polyhedron_recycle_Generator_System (ppl_Polyhedron_t *pph, ppl_Generator_System_t gs) | 
|  | Builds a new C polyhedron recycling the system of generators gsand writes a handle for the newly created polyhedron at addresspph.  More...
 | 
|  | 
| int | ppl_new_NNC_Polyhedron_from_Generator_System (ppl_Polyhedron_t *pph, ppl_const_Generator_System_t gs) | 
|  | Builds a new NNC polyhedron from the system of generators gsand writes a handle for the newly created polyhedron at addresspph.  More...
 | 
|  | 
| int | ppl_new_NNC_Polyhedron_recycle_Generator_System (ppl_Polyhedron_t *pph, ppl_Generator_System_t gs) | 
|  | Builds a new NNC polyhedron recycling the system of generators gsand writes a handle for the newly created polyhedron at addresspph.  More...
 | 
|  | 
| int | ppl_Polyhedron_get_generators (ppl_const_Polyhedron_t ph, ppl_const_Generator_System_t *pgs) | 
|  | Writes a const handle to the generator system defining the polyhedron phat addresspgs.
 | 
|  | 
| int | ppl_Polyhedron_get_minimized_generators (ppl_const_Polyhedron_t ph, ppl_const_Generator_System_t *pgs) | 
|  | Writes a const handle to the minimized generator system defining the polyhedron phat addresspgs.
 | 
|  | 
| int | ppl_Polyhedron_add_generator (ppl_Polyhedron_t ph, ppl_const_Generator_t g) | 
|  | Adds a copy of the generator gto the system of generators ofph.
 | 
|  | 
| int | ppl_Polyhedron_add_generators (ppl_Polyhedron_t ph, ppl_const_Generator_System_t gs) | 
|  | Adds a copy of the system of generators gsto the system of generators ofph.
 | 
|  | 
| int | ppl_Polyhedron_add_recycled_generators (ppl_Polyhedron_t ph, ppl_Generator_System_t gs) | 
|  | Adds the system of generators gsto the system of generators ofph.  More...
 | 
|  | 
| int | ppl_Polyhedron_poly_hull_assign (ppl_Polyhedron_t x, ppl_const_Polyhedron_t y) | 
|  | Assigns to xthe poly-hull ofxandy.
 | 
|  | 
| int | ppl_Polyhedron_poly_difference_assign (ppl_Polyhedron_t x, ppl_const_Polyhedron_t y) | 
|  | Assigns to xthe poly-difference ofxandy.
 | 
|  | 
| int | wrap_assign (ppl_Polyhedron_t ph, ppl_dimension_type ds[], size_t n, ppl_enum_Bounded_Integer_Type_Width w, ppl_enum_Bounded_Integer_Type_Representation r, ppl_enum_Bounded_Integer_Type_Overflow o, const ppl_const_Constraint_System_t *pcs, unsigned complexity_threshold, int wrap_individually) | 
|  | Assigns to phthe polyhedron obtained fromphby "wrapping" the vector space defined by the firstnspace dimensions inds[].  More...
 | 
|  | 
| int | ppl_Polyhedron_BHRZ03_widening_assign_with_tokens (ppl_Polyhedron_t x, ppl_const_Polyhedron_t y, unsigned *tp) | 
|  | If the polyhedron yis contained in (or equal to) the polyhedronx, assigns toxthe BHRZ03-widening ofxandy. Iftpis not the null pointer, the widening with tokens delay technique is applied with*tpavailable tokens.
 | 
|  | 
| int | ppl_Polyhedron_H79_widening_assign_with_tokens (ppl_Polyhedron_t x, ppl_const_Polyhedron_t y, unsigned *tp) | 
|  | If the polyhedron yis contained in (or equal to) the polyhedronx, assigns toxthe H79-widening ofxandy. Iftpis not the null pointer, the widening with tokens delay technique is applied with*tpavailable tokens.
 | 
|  | 
| int | ppl_Polyhedron_BHRZ03_widening_assign (ppl_Polyhedron_t x, ppl_const_Polyhedron_t y) | 
|  | If the polyhedron yis contained in (or equal to) the polyhedronx, assigns toxthe BHRZ03-widening ofxandy.
 | 
|  | 
| int | ppl_Polyhedron_H79_widening_assign (ppl_Polyhedron_t x, ppl_const_Polyhedron_t y) | 
|  | If the polyhedron yis contained in (or equal to) the polyhedronx, assigns toxthe H79-widening ofxandy.
 | 
|  | 
| int | ppl_Polyhedron_limited_BHRZ03_extrapolation_assign_with_tokens (ppl_Polyhedron_t x, ppl_const_Polyhedron_t y, ppl_const_Constraint_System_t cs, unsigned *tp) | 
|  | If the polyhedron yis contained in (or equal to) the polyhedronx, assigns toxthe BHRZ03-widening ofxandyintersected with the constraints incsthat are satisfied by all the points ofx. Iftpis not the null pointer, the widening with tokens delay technique is applied with*tpavailable tokens.
 | 
|  | 
| int | ppl_Polyhedron_limited_H79_extrapolation_assign_with_tokens (ppl_Polyhedron_t x, ppl_const_Polyhedron_t y, ppl_const_Constraint_System_t cs, unsigned *tp) | 
|  | If the polyhedron yis contained in (or equal to) the polyhedronx, assigns toxthe H79-widening ofxandyintersected with the constraints incsthat are satisfied by all the points ofx. Iftpis not the null pointer, the widening with tokens delay technique is applied with*tpavailable tokens.
 | 
|  | 
| int | ppl_Polyhedron_limited_BHRZ03_extrapolation_assign (ppl_Polyhedron_t x, ppl_const_Polyhedron_t y, ppl_const_Constraint_System_t cs) | 
|  | If the polyhedron yis contained in (or equal to) the polyhedronx, assigns toxthe BHRZ03-widening ofxandyintersected with the constraints incsthat are satisfied by all the points ofx.
 | 
|  | 
| int | ppl_Polyhedron_limited_H79_extrapolation_assign (ppl_Polyhedron_t x, ppl_const_Polyhedron_t y, ppl_const_Constraint_System_t cs) | 
|  | If the polyhedron yis contained in (or equal to) the polyhedronx, assigns toxthe H79-widening ofxandyintersected with the constraints incsthat are satisfied by all the points ofx.
 | 
|  | 
| int | ppl_Polyhedron_bounded_BHRZ03_extrapolation_assign_with_tokens (ppl_Polyhedron_t x, ppl_const_Polyhedron_t y, ppl_const_Constraint_System_t cs, unsigned *tp) | 
|  | If the polyhedron yis contained in (or equal to) the polyhedronx, assigns toxthe BHRZ03-widening ofxandyintersected with the constraints incsthat are satisfied by all the points ofx, further intersected with all the constraints of the form and  , with  , that are satisfied by all the points of x. Iftpis not the null pointer, the widening with tokens delay technique is applied with*tpavailable tokens.
 | 
|  | 
| int | ppl_Polyhedron_bounded_H79_extrapolation_assign_with_tokens (ppl_Polyhedron_t x, ppl_const_Polyhedron_t y, ppl_const_Constraint_System_t cs, unsigned *tp) | 
|  | If the polyhedron yis contained in (or equal to) the polyhedronx, assigns toxthe H79-widening ofxandyintersected with the constraints incsthat are satisfied by all the points ofx, further intersected with all the constraints of the form and  , with  , that are satisfied by all the points of x. Iftpis not the null pointer, the widening with tokens delay technique is applied with*tpavailable tokens.
 | 
|  | 
| int | ppl_Polyhedron_bounded_BHRZ03_extrapolation_assign (ppl_Polyhedron_t x, ppl_const_Polyhedron_t y, ppl_const_Constraint_System_t cs) | 
|  | If the polyhedron yis contained in (or equal to) the polyhedronx, assigns toxthe BHRZ03-widening ofxandyintersected with the constraints incsthat are satisfied by all the points ofx, further intersected with all the constraints of the form and  , with  , that are satisfied by all the points of x.
 | 
|  | 
| int | ppl_Polyhedron_bounded_H79_extrapolation_assign (ppl_Polyhedron_t x, ppl_const_Polyhedron_t y, ppl_const_Constraint_System_t cs) | 
|  | If the polyhedron yis contained in (or equal to) the polyhedronx, assigns toxthe H79-widening ofxandyintersected with the constraints incsthat are satisfied by all the points ofx, further intersected with all the constraints of the form and  , with  , that are satisfied by all the points of x.
 | 
|  |