PPL C Language Interface  1.2
ppl_Polyhedron_tag Member List

This is the complete list of members for ppl_Polyhedron_tag, including all inherited members.

ppl_assign_C_Polyhedron_from_C_Polyhedron(ppl_Polyhedron_t dst, ppl_const_Polyhedron_t src)ppl_Polyhedron_tagrelated
ppl_assign_NNC_Polyhedron_from_NNC_Polyhedron(ppl_Polyhedron_t dst, ppl_const_Polyhedron_t src)ppl_Polyhedron_tagrelated
ppl_delete_Polyhedron(ppl_const_Polyhedron_t ph)ppl_Polyhedron_tagrelated
ppl_io_asprint_Polyhedron(char **strp, ppl_const_Polyhedron_t x)ppl_Polyhedron_tagrelated
ppl_io_fprint_Polyhedron(FILE *stream, ppl_const_Polyhedron_t x)ppl_Polyhedron_tagrelated
ppl_io_print_Polyhedron(ppl_const_Polyhedron_t x)ppl_Polyhedron_tagrelated
ppl_new_C_Polyhedron_from_C_Polyhedron(ppl_Polyhedron_t *pph, ppl_const_Polyhedron_t ph)ppl_Polyhedron_tagrelated
ppl_new_C_Polyhedron_from_C_Polyhedron_with_complexity(ppl_Polyhedron_t *pph, ppl_const_Polyhedron_t ph, int complexity)ppl_Polyhedron_tagrelated
ppl_new_C_Polyhedron_from_Congruence_System(ppl_Polyhedron_t *pph, ppl_const_Congruence_System_t cs)ppl_Polyhedron_tagrelated
ppl_new_C_Polyhedron_from_Constraint_System(ppl_Polyhedron_t *pph, ppl_const_Constraint_System_t cs)ppl_Polyhedron_tagrelated
ppl_new_C_Polyhedron_from_Generator_System(ppl_Polyhedron_t *pph, ppl_const_Generator_System_t gs)ppl_Polyhedron_tagrelated
ppl_new_C_Polyhedron_from_NNC_Polyhedron(ppl_Polyhedron_t *pph, ppl_const_Polyhedron_t ph)ppl_Polyhedron_tagrelated
ppl_new_C_Polyhedron_from_NNC_Polyhedron_with_complexity(ppl_Polyhedron_t *pph, ppl_const_Polyhedron_t ph, int complexity)ppl_Polyhedron_tagrelated
ppl_new_C_Polyhedron_from_space_dimension(ppl_Polyhedron_t *pph, ppl_dimension_type d, int empty)ppl_Polyhedron_tagrelated
ppl_new_C_Polyhedron_recycle_Congruence_System(ppl_Polyhedron_t *pph, ppl_Congruence_System_t cs)ppl_Polyhedron_tagrelated
ppl_new_C_Polyhedron_recycle_Constraint_System(ppl_Polyhedron_t *pph, ppl_Constraint_System_t cs)ppl_Polyhedron_tagrelated
ppl_new_C_Polyhedron_recycle_Generator_System(ppl_Polyhedron_t *pph, ppl_Generator_System_t gs)ppl_Polyhedron_tagrelated
ppl_new_NNC_Polyhedron_from_C_Polyhedron(ppl_Polyhedron_t *pph, ppl_const_Polyhedron_t ph)ppl_Polyhedron_tagrelated
ppl_new_NNC_Polyhedron_from_C_Polyhedron_with_complexity(ppl_Polyhedron_t *pph, ppl_const_Polyhedron_t ph, int complexity)ppl_Polyhedron_tagrelated
ppl_new_NNC_Polyhedron_from_Congruence_System(ppl_Polyhedron_t *pph, ppl_const_Congruence_System_t cs)ppl_Polyhedron_tagrelated
ppl_new_NNC_Polyhedron_from_Constraint_System(ppl_Polyhedron_t *pph, ppl_const_Constraint_System_t cs)ppl_Polyhedron_tagrelated
ppl_new_NNC_Polyhedron_from_Generator_System(ppl_Polyhedron_t *pph, ppl_const_Generator_System_t gs)ppl_Polyhedron_tagrelated
ppl_new_NNC_Polyhedron_from_NNC_Polyhedron(ppl_Polyhedron_t *pph, ppl_const_Polyhedron_t ph)ppl_Polyhedron_tagrelated
ppl_new_NNC_Polyhedron_from_NNC_Polyhedron_with_complexity(ppl_Polyhedron_t *pph, ppl_const_Polyhedron_t ph, int complexity)ppl_Polyhedron_tagrelated
ppl_new_NNC_Polyhedron_from_space_dimension(ppl_Polyhedron_t *pph, ppl_dimension_type d, int empty)ppl_Polyhedron_tagrelated
ppl_new_NNC_Polyhedron_recycle_Congruence_System(ppl_Polyhedron_t *pph, ppl_Congruence_System_t cs)ppl_Polyhedron_tagrelated
ppl_new_NNC_Polyhedron_recycle_Constraint_System(ppl_Polyhedron_t *pph, ppl_Constraint_System_t cs)ppl_Polyhedron_tagrelated
ppl_new_NNC_Polyhedron_recycle_Generator_System(ppl_Polyhedron_t *pph, ppl_Generator_System_t gs)ppl_Polyhedron_tagrelated
ppl_Polyhedron_add_congruence(ppl_Polyhedron_t ph, ppl_const_Congruence_t c)ppl_Polyhedron_tagrelated
ppl_Polyhedron_add_congruences(ppl_Polyhedron_t ph, ppl_const_Congruence_System_t cs)ppl_Polyhedron_tagrelated
ppl_Polyhedron_add_constraint(ppl_Polyhedron_t ph, ppl_const_Constraint_t c)ppl_Polyhedron_tagrelated
ppl_Polyhedron_add_constraints(ppl_Polyhedron_t ph, ppl_const_Constraint_System_t cs)ppl_Polyhedron_tagrelated
ppl_Polyhedron_add_generator(ppl_Polyhedron_t ph, ppl_const_Generator_t g)ppl_Polyhedron_tagrelated
ppl_Polyhedron_add_generators(ppl_Polyhedron_t ph, ppl_const_Generator_System_t gs)ppl_Polyhedron_tagrelated
ppl_Polyhedron_add_recycled_congruences(ppl_Polyhedron_t ph, ppl_Congruence_System_t cs)ppl_Polyhedron_tagrelated
ppl_Polyhedron_add_recycled_constraints(ppl_Polyhedron_t ph, ppl_Constraint_System_t cs)ppl_Polyhedron_tagrelated
ppl_Polyhedron_add_recycled_generators(ppl_Polyhedron_t ph, ppl_Generator_System_t gs)ppl_Polyhedron_tagrelated
ppl_Polyhedron_add_space_dimensions_and_embed(ppl_Polyhedron_t ph, ppl_dimension_type d)ppl_Polyhedron_tagrelated
ppl_Polyhedron_add_space_dimensions_and_project(ppl_Polyhedron_t ph, ppl_dimension_type d)ppl_Polyhedron_tagrelated
ppl_Polyhedron_affine_dimension(ppl_const_Polyhedron_t ph, ppl_dimension_type *m)ppl_Polyhedron_tagrelated
ppl_Polyhedron_affine_image(ppl_Polyhedron_t ph, ppl_dimension_type var, ppl_const_Linear_Expression_t le, ppl_const_Coefficient_t d)ppl_Polyhedron_tagrelated
ppl_Polyhedron_affine_preimage(ppl_Polyhedron_t ph, ppl_dimension_type var, ppl_const_Linear_Expression_t le, ppl_const_Coefficient_t d)ppl_Polyhedron_tagrelated
ppl_Polyhedron_ascii_dump(ppl_const_Polyhedron_t x, FILE *stream)ppl_Polyhedron_tagrelated
ppl_Polyhedron_ascii_load(ppl_Polyhedron_t x, FILE *stream)ppl_Polyhedron_tagrelated
ppl_Polyhedron_BHRZ03_widening_assign(ppl_Polyhedron_t x, ppl_const_Polyhedron_t y)ppl_Polyhedron_tagrelated
ppl_Polyhedron_BHRZ03_widening_assign_with_tokens(ppl_Polyhedron_t x, ppl_const_Polyhedron_t y, unsigned *tp)ppl_Polyhedron_tagrelated
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)ppl_Polyhedron_tagrelated
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)ppl_Polyhedron_tagrelated
ppl_Polyhedron_bounded_BHRZ03_extrapolation_assign(ppl_Polyhedron_t x, ppl_const_Polyhedron_t y, ppl_const_Constraint_System_t cs)ppl_Polyhedron_tagrelated
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)ppl_Polyhedron_tagrelated
ppl_Polyhedron_bounded_H79_extrapolation_assign(ppl_Polyhedron_t x, ppl_const_Polyhedron_t y, ppl_const_Constraint_System_t cs)ppl_Polyhedron_tagrelated
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)ppl_Polyhedron_tagrelated
ppl_Polyhedron_bounds_from_above(ppl_const_Polyhedron_t ph, ppl_const_Linear_Expression_t le)ppl_Polyhedron_tagrelated
ppl_Polyhedron_bounds_from_below(ppl_const_Polyhedron_t ph, ppl_const_Linear_Expression_t le)ppl_Polyhedron_tagrelated
ppl_Polyhedron_concatenate_assign(ppl_Polyhedron_t x, ppl_const_Polyhedron_t y)ppl_Polyhedron_tagrelated
ppl_Polyhedron_constrains(ppl_Polyhedron_t ph, ppl_dimension_type var)ppl_Polyhedron_tagrelated
ppl_Polyhedron_contains_integer_point(ppl_const_Polyhedron_t ph)ppl_Polyhedron_tagrelated
ppl_Polyhedron_contains_Polyhedron(ppl_const_Polyhedron_t x, ppl_const_Polyhedron_t y)ppl_Polyhedron_tagrelated
ppl_Polyhedron_difference_assign(ppl_Polyhedron_t x, ppl_const_Polyhedron_t y)ppl_Polyhedron_tagrelated
ppl_Polyhedron_equals_Polyhedron(ppl_const_Polyhedron_t x, ppl_const_Polyhedron_t y)ppl_Polyhedron_tagrelated
ppl_Polyhedron_expand_space_dimension(ppl_Polyhedron_t ph, ppl_dimension_type d, ppl_dimension_type m)ppl_Polyhedron_tagrelated
ppl_Polyhedron_external_memory_in_bytes(ppl_const_Polyhedron_t ph, size_t *sz)ppl_Polyhedron_tagrelated
ppl_Polyhedron_fold_space_dimensions(ppl_Polyhedron_t ph, ppl_dimension_type ds[], size_t n, ppl_dimension_type d)ppl_Polyhedron_tagrelated
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)ppl_Polyhedron_tagrelated
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)ppl_Polyhedron_tagrelated
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)ppl_Polyhedron_tagrelated
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)ppl_Polyhedron_tagrelated
ppl_Polyhedron_get_congruences(ppl_const_Polyhedron_t ph, ppl_const_Congruence_System_t *pcs)ppl_Polyhedron_tagrelated
ppl_Polyhedron_get_constraints(ppl_const_Polyhedron_t ph, ppl_const_Constraint_System_t *pcs)ppl_Polyhedron_tagrelated
ppl_Polyhedron_get_generators(ppl_const_Polyhedron_t ph, ppl_const_Generator_System_t *pgs)ppl_Polyhedron_tagrelated
ppl_Polyhedron_get_minimized_congruences(ppl_const_Polyhedron_t ph, ppl_const_Congruence_System_t *pcs)ppl_Polyhedron_tagrelated
ppl_Polyhedron_get_minimized_constraints(ppl_const_Polyhedron_t ph, ppl_const_Constraint_System_t *pcs)ppl_Polyhedron_tagrelated
ppl_Polyhedron_get_minimized_generators(ppl_const_Polyhedron_t ph, ppl_const_Generator_System_t *pgs)ppl_Polyhedron_tagrelated
ppl_Polyhedron_H79_widening_assign(ppl_Polyhedron_t x, ppl_const_Polyhedron_t y)ppl_Polyhedron_tagrelated
ppl_Polyhedron_H79_widening_assign_with_tokens(ppl_Polyhedron_t x, ppl_const_Polyhedron_t y, unsigned *tp)ppl_Polyhedron_tagrelated
ppl_Polyhedron_intersection_assign(ppl_Polyhedron_t x, ppl_const_Polyhedron_t y)ppl_Polyhedron_tagrelated
ppl_Polyhedron_is_bounded(ppl_const_Polyhedron_t ph)ppl_Polyhedron_tagrelated
ppl_Polyhedron_is_discrete(ppl_const_Polyhedron_t ph)ppl_Polyhedron_tagrelated
ppl_Polyhedron_is_disjoint_from_Polyhedron(ppl_const_Polyhedron_t x, ppl_const_Polyhedron_t y)ppl_Polyhedron_tagrelated
ppl_Polyhedron_is_empty(ppl_const_Polyhedron_t ph)ppl_Polyhedron_tagrelated
ppl_Polyhedron_is_topologically_closed(ppl_const_Polyhedron_t ph)ppl_Polyhedron_tagrelated
ppl_Polyhedron_is_universe(ppl_const_Polyhedron_t ph)ppl_Polyhedron_tagrelated
ppl_Polyhedron_limited_BHRZ03_extrapolation_assign(ppl_Polyhedron_t x, ppl_const_Polyhedron_t y, ppl_const_Constraint_System_t cs)ppl_Polyhedron_tagrelated
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)ppl_Polyhedron_tagrelated
ppl_Polyhedron_limited_H79_extrapolation_assign(ppl_Polyhedron_t x, ppl_const_Polyhedron_t y, ppl_const_Constraint_System_t cs)ppl_Polyhedron_tagrelated
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)ppl_Polyhedron_tagrelated
ppl_Polyhedron_map_space_dimensions(ppl_Polyhedron_t ph, ppl_dimension_type maps[], size_t n)ppl_Polyhedron_tagrelated
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)ppl_Polyhedron_tagrelated
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)ppl_Polyhedron_tagrelated
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)ppl_Polyhedron_tagrelated
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_Polyhedron_tagrelated
ppl_Polyhedron_OK(ppl_const_Polyhedron_t ph)ppl_Polyhedron_tagrelated
ppl_Polyhedron_poly_difference_assign(ppl_Polyhedron_t x, ppl_const_Polyhedron_t y)ppl_Polyhedron_tagrelated
ppl_Polyhedron_poly_hull_assign(ppl_Polyhedron_t x, ppl_const_Polyhedron_t y)ppl_Polyhedron_tagrelated
ppl_Polyhedron_refine_with_congruence(ppl_Polyhedron_t ph, ppl_const_Congruence_t c)ppl_Polyhedron_tagrelated
ppl_Polyhedron_refine_with_congruences(ppl_Polyhedron_t ph, ppl_const_Congruence_System_t cs)ppl_Polyhedron_tagrelated
ppl_Polyhedron_refine_with_constraint(ppl_Polyhedron_t ph, ppl_const_Constraint_t c)ppl_Polyhedron_tagrelated
ppl_Polyhedron_refine_with_constraints(ppl_Polyhedron_t ph, ppl_const_Constraint_System_t cs)ppl_Polyhedron_tagrelated
ppl_Polyhedron_relation_with_Constraint(ppl_const_Polyhedron_t ph, ppl_const_Constraint_t c)ppl_Polyhedron_tagrelated
ppl_Polyhedron_relation_with_Generator(ppl_const_Polyhedron_t ph, ppl_const_Generator_t g)ppl_Polyhedron_tagrelated
ppl_Polyhedron_remove_higher_space_dimensions(ppl_Polyhedron_t ph, ppl_dimension_type d)ppl_Polyhedron_tagrelated
ppl_Polyhedron_remove_space_dimensions(ppl_Polyhedron_t ph, ppl_dimension_type ds[], size_t n)ppl_Polyhedron_tagrelated
ppl_Polyhedron_simplify_using_context_assign(ppl_Polyhedron_t x, ppl_const_Polyhedron_t y)ppl_Polyhedron_tagrelated
ppl_Polyhedron_space_dimension(ppl_const_Polyhedron_t ph, ppl_dimension_type *m)ppl_Polyhedron_tagrelated
ppl_Polyhedron_strictly_contains_Polyhedron(ppl_const_Polyhedron_t x, ppl_const_Polyhedron_t y)ppl_Polyhedron_tagrelated
ppl_Polyhedron_time_elapse_assign(ppl_Polyhedron_t x, ppl_const_Polyhedron_t y)ppl_Polyhedron_tagrelated
ppl_Polyhedron_topological_closure_assign(ppl_Polyhedron_t ph)ppl_Polyhedron_tagrelated
ppl_Polyhedron_total_memory_in_bytes(ppl_const_Polyhedron_t ph, size_t *sz)ppl_Polyhedron_tagrelated
ppl_Polyhedron_unconstrain_space_dimension(ppl_Polyhedron_t ph, ppl_dimension_type var)ppl_Polyhedron_tagrelated
ppl_Polyhedron_unconstrain_space_dimensions(ppl_Polyhedron_t ph, ppl_dimension_type ds[], size_t n)ppl_Polyhedron_tagrelated
ppl_Polyhedron_upper_bound_assign(ppl_Polyhedron_t x, ppl_const_Polyhedron_t y)ppl_Polyhedron_tagrelated
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)ppl_Polyhedron_tagrelated