ppl_Octagonal_Shape_mpz_class_tag Member List

This is the complete list of members for ppl_Octagonal_Shape_mpz_class_tag, including all inherited members.
ppl_all_affine_ranking_functions_MS_Octagonal_Shape_mpz_class(ppl_const_Octagonal_Shape_mpz_class_t pset, ppl_Polyhedron_t ph)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_all_affine_ranking_functions_MS_Octagonal_Shape_mpz_class_2(ppl_const_Octagonal_Shape_mpz_class_t pset_before, ppl_const_Octagonal_Shape_mpz_class_t pset_after, ppl_Polyhedron_t ph)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_all_affine_ranking_functions_PR_Octagonal_Shape_mpz_class(ppl_const_Octagonal_Shape_mpz_class_t pset, ppl_Polyhedron_t ph)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_all_affine_ranking_functions_PR_Octagonal_Shape_mpz_class_2(ppl_const_Octagonal_Shape_mpz_class_t pset_before, ppl_const_Octagonal_Shape_mpz_class_t pset_after, ppl_Polyhedron_t ph)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_assign_Octagonal_Shape_mpz_class_from_Octagonal_Shape_mpz_class(ppl_Octagonal_Shape_mpz_class_t dst, ppl_const_Octagonal_Shape_mpz_class_t src)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_delete_Octagonal_Shape_mpz_class(ppl_const_Octagonal_Shape_mpz_class_t ph)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_new_Octagonal_Shape_mpz_class_from_BD_Shape_double(ppl_Octagonal_Shape_mpz_class_t *pph, ppl_const_BD_Shape_double_t ph)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_new_Octagonal_Shape_mpz_class_from_BD_Shape_double_with_complexity(ppl_Octagonal_Shape_mpz_class_t *pph, ppl_const_BD_Shape_double_t ph, int complexity)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_new_Octagonal_Shape_mpz_class_from_BD_Shape_float(ppl_Octagonal_Shape_mpz_class_t *pph, ppl_const_BD_Shape_float_t ph)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_new_Octagonal_Shape_mpz_class_from_BD_Shape_float_with_complexity(ppl_Octagonal_Shape_mpz_class_t *pph, ppl_const_BD_Shape_float_t ph, int complexity)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_new_Octagonal_Shape_mpz_class_from_BD_Shape_int16_t(ppl_Octagonal_Shape_mpz_class_t *pph, ppl_const_BD_Shape_int16_t_t ph)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_new_Octagonal_Shape_mpz_class_from_BD_Shape_int16_t_with_complexity(ppl_Octagonal_Shape_mpz_class_t *pph, ppl_const_BD_Shape_int16_t_t ph, int complexity)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_new_Octagonal_Shape_mpz_class_from_BD_Shape_int32_t(ppl_Octagonal_Shape_mpz_class_t *pph, ppl_const_BD_Shape_int32_t_t ph)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_new_Octagonal_Shape_mpz_class_from_BD_Shape_int32_t_with_complexity(ppl_Octagonal_Shape_mpz_class_t *pph, ppl_const_BD_Shape_int32_t_t ph, int complexity)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_new_Octagonal_Shape_mpz_class_from_BD_Shape_int64_t(ppl_Octagonal_Shape_mpz_class_t *pph, ppl_const_BD_Shape_int64_t_t ph)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_new_Octagonal_Shape_mpz_class_from_BD_Shape_int64_t_with_complexity(ppl_Octagonal_Shape_mpz_class_t *pph, ppl_const_BD_Shape_int64_t_t ph, int complexity)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_new_Octagonal_Shape_mpz_class_from_BD_Shape_int8_t(ppl_Octagonal_Shape_mpz_class_t *pph, ppl_const_BD_Shape_int8_t_t ph)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_new_Octagonal_Shape_mpz_class_from_BD_Shape_int8_t_with_complexity(ppl_Octagonal_Shape_mpz_class_t *pph, ppl_const_BD_Shape_int8_t_t ph, int complexity)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_new_Octagonal_Shape_mpz_class_from_BD_Shape_long_double(ppl_Octagonal_Shape_mpz_class_t *pph, ppl_const_BD_Shape_long_double_t ph)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_new_Octagonal_Shape_mpz_class_from_BD_Shape_long_double_with_complexity(ppl_Octagonal_Shape_mpz_class_t *pph, ppl_const_BD_Shape_long_double_t ph, int complexity)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_new_Octagonal_Shape_mpz_class_from_BD_Shape_mpq_class(ppl_Octagonal_Shape_mpz_class_t *pph, ppl_const_BD_Shape_mpq_class_t ph)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_new_Octagonal_Shape_mpz_class_from_BD_Shape_mpq_class_with_complexity(ppl_Octagonal_Shape_mpz_class_t *pph, ppl_const_BD_Shape_mpq_class_t ph, int complexity)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_new_Octagonal_Shape_mpz_class_from_BD_Shape_mpz_class(ppl_Octagonal_Shape_mpz_class_t *pph, ppl_const_BD_Shape_mpz_class_t ph)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_new_Octagonal_Shape_mpz_class_from_BD_Shape_mpz_class_with_complexity(ppl_Octagonal_Shape_mpz_class_t *pph, ppl_const_BD_Shape_mpz_class_t ph, int complexity)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_new_Octagonal_Shape_mpz_class_from_C_Polyhedron(ppl_Octagonal_Shape_mpz_class_t *pph, ppl_const_Polyhedron_t ph)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_new_Octagonal_Shape_mpz_class_from_C_Polyhedron_with_complexity(ppl_Octagonal_Shape_mpz_class_t *pph, ppl_const_Polyhedron_t ph, int complexity)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_new_Octagonal_Shape_mpz_class_from_Congruence_System(ppl_Octagonal_Shape_mpz_class_t *pph, ppl_const_Congruence_System_t cs)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_new_Octagonal_Shape_mpz_class_from_Constraint_System(ppl_Octagonal_Shape_mpz_class_t *pph, ppl_const_Constraint_System_t cs)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_new_Octagonal_Shape_mpz_class_from_Double_Box(ppl_Octagonal_Shape_mpz_class_t *pph, ppl_const_Double_Box_t ph)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_new_Octagonal_Shape_mpz_class_from_Double_Box_with_complexity(ppl_Octagonal_Shape_mpz_class_t *pph, ppl_const_Double_Box_t ph, int complexity)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_new_Octagonal_Shape_mpz_class_from_Float_Box(ppl_Octagonal_Shape_mpz_class_t *pph, ppl_const_Float_Box_t ph)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_new_Octagonal_Shape_mpz_class_from_Float_Box_with_complexity(ppl_Octagonal_Shape_mpz_class_t *pph, ppl_const_Float_Box_t ph, int complexity)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_new_Octagonal_Shape_mpz_class_from_Generator_System(ppl_Octagonal_Shape_mpz_class_t *pph, ppl_const_Generator_System_t cs)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_new_Octagonal_Shape_mpz_class_from_Grid(ppl_Octagonal_Shape_mpz_class_t *pph, ppl_const_Grid_t ph)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_new_Octagonal_Shape_mpz_class_from_Grid_with_complexity(ppl_Octagonal_Shape_mpz_class_t *pph, ppl_const_Grid_t ph, int complexity)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_new_Octagonal_Shape_mpz_class_from_Int16_Box(ppl_Octagonal_Shape_mpz_class_t *pph, ppl_const_Int16_Box_t ph)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_new_Octagonal_Shape_mpz_class_from_Int16_Box_with_complexity(ppl_Octagonal_Shape_mpz_class_t *pph, ppl_const_Int16_Box_t ph, int complexity)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_new_Octagonal_Shape_mpz_class_from_Int32_Box(ppl_Octagonal_Shape_mpz_class_t *pph, ppl_const_Int32_Box_t ph)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_new_Octagonal_Shape_mpz_class_from_Int32_Box_with_complexity(ppl_Octagonal_Shape_mpz_class_t *pph, ppl_const_Int32_Box_t ph, int complexity)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_new_Octagonal_Shape_mpz_class_from_Int64_Box(ppl_Octagonal_Shape_mpz_class_t *pph, ppl_const_Int64_Box_t ph)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_new_Octagonal_Shape_mpz_class_from_Int64_Box_with_complexity(ppl_Octagonal_Shape_mpz_class_t *pph, ppl_const_Int64_Box_t ph, int complexity)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_new_Octagonal_Shape_mpz_class_from_Int8_Box(ppl_Octagonal_Shape_mpz_class_t *pph, ppl_const_Int8_Box_t ph)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_new_Octagonal_Shape_mpz_class_from_Int8_Box_with_complexity(ppl_Octagonal_Shape_mpz_class_t *pph, ppl_const_Int8_Box_t ph, int complexity)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_new_Octagonal_Shape_mpz_class_from_Long_Double_Box(ppl_Octagonal_Shape_mpz_class_t *pph, ppl_const_Long_Double_Box_t ph)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_new_Octagonal_Shape_mpz_class_from_Long_Double_Box_with_complexity(ppl_Octagonal_Shape_mpz_class_t *pph, ppl_const_Long_Double_Box_t ph, int complexity)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_new_Octagonal_Shape_mpz_class_from_NNC_Polyhedron(ppl_Octagonal_Shape_mpz_class_t *pph, ppl_const_Polyhedron_t ph)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_new_Octagonal_Shape_mpz_class_from_NNC_Polyhedron_with_complexity(ppl_Octagonal_Shape_mpz_class_t *pph, ppl_const_Polyhedron_t ph, int complexity)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_new_Octagonal_Shape_mpz_class_from_Octagonal_Shape_double(ppl_Octagonal_Shape_mpz_class_t *pph, ppl_const_Octagonal_Shape_double_t ph)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_new_Octagonal_Shape_mpz_class_from_Octagonal_Shape_double_with_complexity(ppl_Octagonal_Shape_mpz_class_t *pph, ppl_const_Octagonal_Shape_double_t ph, int complexity)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_new_Octagonal_Shape_mpz_class_from_Octagonal_Shape_float(ppl_Octagonal_Shape_mpz_class_t *pph, ppl_const_Octagonal_Shape_float_t ph)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_new_Octagonal_Shape_mpz_class_from_Octagonal_Shape_float_with_complexity(ppl_Octagonal_Shape_mpz_class_t *pph, ppl_const_Octagonal_Shape_float_t ph, int complexity)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_new_Octagonal_Shape_mpz_class_from_Octagonal_Shape_int16_t(ppl_Octagonal_Shape_mpz_class_t *pph, ppl_const_Octagonal_Shape_int16_t_t ph)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_new_Octagonal_Shape_mpz_class_from_Octagonal_Shape_int16_t_with_complexity(ppl_Octagonal_Shape_mpz_class_t *pph, ppl_const_Octagonal_Shape_int16_t_t ph, int complexity)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_new_Octagonal_Shape_mpz_class_from_Octagonal_Shape_int32_t(ppl_Octagonal_Shape_mpz_class_t *pph, ppl_const_Octagonal_Shape_int32_t_t ph)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_new_Octagonal_Shape_mpz_class_from_Octagonal_Shape_int32_t_with_complexity(ppl_Octagonal_Shape_mpz_class_t *pph, ppl_const_Octagonal_Shape_int32_t_t ph, int complexity)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_new_Octagonal_Shape_mpz_class_from_Octagonal_Shape_int64_t(ppl_Octagonal_Shape_mpz_class_t *pph, ppl_const_Octagonal_Shape_int64_t_t ph)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_new_Octagonal_Shape_mpz_class_from_Octagonal_Shape_int64_t_with_complexity(ppl_Octagonal_Shape_mpz_class_t *pph, ppl_const_Octagonal_Shape_int64_t_t ph, int complexity)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_new_Octagonal_Shape_mpz_class_from_Octagonal_Shape_int8_t(ppl_Octagonal_Shape_mpz_class_t *pph, ppl_const_Octagonal_Shape_int8_t_t ph)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_new_Octagonal_Shape_mpz_class_from_Octagonal_Shape_int8_t_with_complexity(ppl_Octagonal_Shape_mpz_class_t *pph, ppl_const_Octagonal_Shape_int8_t_t ph, int complexity)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_new_Octagonal_Shape_mpz_class_from_Octagonal_Shape_long_double(ppl_Octagonal_Shape_mpz_class_t *pph, ppl_const_Octagonal_Shape_long_double_t ph)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_new_Octagonal_Shape_mpz_class_from_Octagonal_Shape_long_double_with_complexity(ppl_Octagonal_Shape_mpz_class_t *pph, ppl_const_Octagonal_Shape_long_double_t ph, int complexity)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_new_Octagonal_Shape_mpz_class_from_Octagonal_Shape_mpq_class(ppl_Octagonal_Shape_mpz_class_t *pph, ppl_const_Octagonal_Shape_mpq_class_t ph)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_new_Octagonal_Shape_mpz_class_from_Octagonal_Shape_mpq_class_with_complexity(ppl_Octagonal_Shape_mpz_class_t *pph, ppl_const_Octagonal_Shape_mpq_class_t ph, int complexity)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_new_Octagonal_Shape_mpz_class_from_Octagonal_Shape_mpz_class(ppl_Octagonal_Shape_mpz_class_t *pph, ppl_const_Octagonal_Shape_mpz_class_t ph)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_new_Octagonal_Shape_mpz_class_from_Octagonal_Shape_mpz_class_with_complexity(ppl_Octagonal_Shape_mpz_class_t *pph, ppl_const_Octagonal_Shape_mpz_class_t ph, int complexity)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_new_Octagonal_Shape_mpz_class_from_Rational_Box(ppl_Octagonal_Shape_mpz_class_t *pph, ppl_const_Rational_Box_t ph)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_new_Octagonal_Shape_mpz_class_from_Rational_Box_with_complexity(ppl_Octagonal_Shape_mpz_class_t *pph, ppl_const_Rational_Box_t ph, int complexity)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_new_Octagonal_Shape_mpz_class_from_space_dimension(ppl_Octagonal_Shape_mpz_class_t *pph, ppl_dimension_type d, int empty)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_new_Octagonal_Shape_mpz_class_from_Uint16_Box(ppl_Octagonal_Shape_mpz_class_t *pph, ppl_const_Uint16_Box_t ph)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_new_Octagonal_Shape_mpz_class_from_Uint16_Box_with_complexity(ppl_Octagonal_Shape_mpz_class_t *pph, ppl_const_Uint16_Box_t ph, int complexity)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_new_Octagonal_Shape_mpz_class_from_Uint32_Box(ppl_Octagonal_Shape_mpz_class_t *pph, ppl_const_Uint32_Box_t ph)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_new_Octagonal_Shape_mpz_class_from_Uint32_Box_with_complexity(ppl_Octagonal_Shape_mpz_class_t *pph, ppl_const_Uint32_Box_t ph, int complexity)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_new_Octagonal_Shape_mpz_class_from_Uint64_Box(ppl_Octagonal_Shape_mpz_class_t *pph, ppl_const_Uint64_Box_t ph)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_new_Octagonal_Shape_mpz_class_from_Uint64_Box_with_complexity(ppl_Octagonal_Shape_mpz_class_t *pph, ppl_const_Uint64_Box_t ph, int complexity)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_new_Octagonal_Shape_mpz_class_from_Uint8_Box(ppl_Octagonal_Shape_mpz_class_t *pph, ppl_const_Uint8_Box_t ph)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_new_Octagonal_Shape_mpz_class_from_Uint8_Box_with_complexity(ppl_Octagonal_Shape_mpz_class_t *pph, ppl_const_Uint8_Box_t ph, int complexity)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_new_Octagonal_Shape_mpz_class_from_Z_Box(ppl_Octagonal_Shape_mpz_class_t *pph, ppl_const_Z_Box_t ph)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_new_Octagonal_Shape_mpz_class_from_Z_Box_with_complexity(ppl_Octagonal_Shape_mpz_class_t *pph, ppl_const_Z_Box_t ph, int complexity)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_new_Octagonal_Shape_mpz_class_recycle_Congruence_System(ppl_Octagonal_Shape_mpz_class_t *pph, ppl_Congruence_System_t cs)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_new_Octagonal_Shape_mpz_class_recycle_Constraint_System(ppl_Octagonal_Shape_mpz_class_t *pph, ppl_Constraint_System_t cs)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_new_Octagonal_Shape_mpz_class_recycle_Generator_System(ppl_Octagonal_Shape_mpz_class_t *pph, ppl_Generator_System_t cs)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_Octagonal_Shape_mpz_class_add_congruence(ppl_Octagonal_Shape_mpz_class_t ph, ppl_const_Congruence_t c)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_Octagonal_Shape_mpz_class_add_congruences(ppl_Octagonal_Shape_mpz_class_t ph, ppl_const_Congruence_System_t cs)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_Octagonal_Shape_mpz_class_add_constraint(ppl_Octagonal_Shape_mpz_class_t ph, ppl_const_Constraint_t c)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_Octagonal_Shape_mpz_class_add_constraints(ppl_Octagonal_Shape_mpz_class_t ph, ppl_const_Constraint_System_t cs)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_Octagonal_Shape_mpz_class_add_recycled_congruences(ppl_Octagonal_Shape_mpz_class_t ph, ppl_Congruence_System_t cs)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_Octagonal_Shape_mpz_class_add_recycled_constraints(ppl_Octagonal_Shape_mpz_class_t ph, ppl_Constraint_System_t cs)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_Octagonal_Shape_mpz_class_add_space_dimensions_and_embed(ppl_Octagonal_Shape_mpz_class_t ph, ppl_dimension_type d)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_Octagonal_Shape_mpz_class_add_space_dimensions_and_project(ppl_Octagonal_Shape_mpz_class_t ph, ppl_dimension_type d)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_Octagonal_Shape_mpz_class_affine_dimension(ppl_const_Octagonal_Shape_mpz_class_t ph, ppl_dimension_type *m)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_Octagonal_Shape_mpz_class_affine_image(ppl_Octagonal_Shape_mpz_class_t ph, ppl_dimension_type var, ppl_const_Linear_Expression_t le, ppl_const_Coefficient_t d)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_Octagonal_Shape_mpz_class_affine_preimage(ppl_Octagonal_Shape_mpz_class_t ph, ppl_dimension_type var, ppl_const_Linear_Expression_t le, ppl_const_Coefficient_t d)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_Octagonal_Shape_mpz_class_BHMZ05_widening_assign(ppl_Octagonal_Shape_mpz_class_t x, ppl_const_Octagonal_Shape_mpz_class_t y)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_Octagonal_Shape_mpz_class_BHMZ05_widening_assign_with_tokens(ppl_Octagonal_Shape_mpz_class_t x, ppl_const_Octagonal_Shape_mpz_class_t y, unsigned *tp)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_Octagonal_Shape_mpz_class_bounded_affine_image(ppl_Octagonal_Shape_mpz_class_t ph, ppl_dimension_type var, ppl_const_Linear_Expression_t lb, ppl_const_Linear_Expression_t ub, ppl_const_Coefficient_t d)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_Octagonal_Shape_mpz_class_bounded_affine_preimage(ppl_Octagonal_Shape_mpz_class_t ph, ppl_dimension_type var, ppl_const_Linear_Expression_t lb, ppl_const_Linear_Expression_t ub, ppl_const_Coefficient_t d)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_Octagonal_Shape_mpz_class_bounds_from_above(ppl_const_Octagonal_Shape_mpz_class_t ph, ppl_const_Linear_Expression_t le)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_Octagonal_Shape_mpz_class_bounds_from_below(ppl_const_Octagonal_Shape_mpz_class_t ph, ppl_const_Linear_Expression_t le)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_Octagonal_Shape_mpz_class_CC76_extrapolation_assign(ppl_Octagonal_Shape_mpz_class_t x, ppl_const_Octagonal_Shape_mpz_class_t y)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_Octagonal_Shape_mpz_class_CC76_extrapolation_assign_with_tokens(ppl_Octagonal_Shape_mpz_class_t x, ppl_const_Octagonal_Shape_mpz_class_t y, unsigned *tp)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_Octagonal_Shape_mpz_class_CC76_narrowing_assign(ppl_Octagonal_Shape_mpz_class_t x, ppl_const_Octagonal_Shape_mpz_class_t y)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_Octagonal_Shape_mpz_class_concatenate_assign(ppl_Octagonal_Shape_mpz_class_t x, ppl_const_Octagonal_Shape_mpz_class_t y)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_Octagonal_Shape_mpz_class_constrains(ppl_Octagonal_Shape_mpz_class_t ph, ppl_dimension_type var)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_Octagonal_Shape_mpz_class_contains_integer_point(ppl_const_Octagonal_Shape_mpz_class_t ph)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_Octagonal_Shape_mpz_class_contains_Octagonal_Shape_mpz_class(ppl_const_Octagonal_Shape_mpz_class_t x, ppl_const_Octagonal_Shape_mpz_class_t y)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_Octagonal_Shape_mpz_class_difference_assign(ppl_Octagonal_Shape_mpz_class_t x, ppl_const_Octagonal_Shape_mpz_class_t y)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_Octagonal_Shape_mpz_class_drop_some_non_integer_points(ppl_Octagonal_Shape_mpz_class_t ph, int complexity)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_Octagonal_Shape_mpz_class_drop_some_non_integer_points_2(ppl_Octagonal_Shape_mpz_class_t ph, ppl_dimension_type ds[], size_t n, int complexity)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_Octagonal_Shape_mpz_class_equals_Octagonal_Shape_mpz_class(ppl_const_Octagonal_Shape_mpz_class_t x, ppl_const_Octagonal_Shape_mpz_class_t y)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_Octagonal_Shape_mpz_class_expand_space_dimension(ppl_Octagonal_Shape_mpz_class_t ph, ppl_dimension_type d, ppl_dimension_type m)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_Octagonal_Shape_mpz_class_external_memory_in_bytes(ppl_const_Octagonal_Shape_mpz_class_t ps, size_t *sz)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_Octagonal_Shape_mpz_class_fold_space_dimensions(ppl_Octagonal_Shape_mpz_class_t ph, ppl_dimension_type ds[], size_t n, ppl_dimension_type d)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_Octagonal_Shape_mpz_class_frequency(ppl_const_Octagonal_Shape_mpz_class_t ph, ppl_const_Linear_Expression_t le, ppl_Coefficient_t ext_fn, ppl_Coefficient_t ext_fd, ppl_Coefficient_t ext_vn, ppl_Coefficient_t ext_vd)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_Octagonal_Shape_mpz_class_generalized_affine_image(ppl_Octagonal_Shape_mpz_class_t ph, ppl_dimension_type var, enum ppl_enum_Constraint_Type relsym, ppl_const_Linear_Expression_t le, ppl_const_Coefficient_t d)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_Octagonal_Shape_mpz_class_generalized_affine_image_lhs_rhs(ppl_Octagonal_Shape_mpz_class_t ph, ppl_const_Linear_Expression_t lhs, enum ppl_enum_Constraint_Type relsym, ppl_const_Linear_Expression_t rhs)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_Octagonal_Shape_mpz_class_generalized_affine_preimage(ppl_Octagonal_Shape_mpz_class_t ph, ppl_dimension_type var, enum ppl_enum_Constraint_Type relsym, ppl_const_Linear_Expression_t le, ppl_const_Coefficient_t d)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_Octagonal_Shape_mpz_class_generalized_affine_preimage_lhs_rhs(ppl_Octagonal_Shape_mpz_class_t ph, ppl_const_Linear_Expression_t lhs, enum ppl_enum_Constraint_Type relsym, ppl_const_Linear_Expression_t rhs)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_Octagonal_Shape_mpz_class_get_congruences(ppl_const_Octagonal_Shape_mpz_class_t ph, ppl_const_Congruence_System_t *pcs)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_Octagonal_Shape_mpz_class_get_constraints(ppl_const_Octagonal_Shape_mpz_class_t ph, ppl_const_Constraint_System_t *pcs)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_Octagonal_Shape_mpz_class_get_minimized_congruences(ppl_const_Octagonal_Shape_mpz_class_t ph, ppl_const_Congruence_System_t *pcs)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_Octagonal_Shape_mpz_class_get_minimized_constraints(ppl_const_Octagonal_Shape_mpz_class_t ph, ppl_const_Constraint_System_t *pcs)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_Octagonal_Shape_mpz_class_intersection_assign(ppl_Octagonal_Shape_mpz_class_t x, ppl_const_Octagonal_Shape_mpz_class_t y)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_Octagonal_Shape_mpz_class_is_bounded(ppl_const_Octagonal_Shape_mpz_class_t ph)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_Octagonal_Shape_mpz_class_is_discrete(ppl_const_Octagonal_Shape_mpz_class_t ph)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_Octagonal_Shape_mpz_class_is_disjoint_from_Octagonal_Shape_mpz_class(ppl_const_Octagonal_Shape_mpz_class_t x, ppl_const_Octagonal_Shape_mpz_class_t y)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_Octagonal_Shape_mpz_class_is_empty(ppl_const_Octagonal_Shape_mpz_class_t ph)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_Octagonal_Shape_mpz_class_is_topologically_closed(ppl_const_Octagonal_Shape_mpz_class_t ph)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_Octagonal_Shape_mpz_class_is_universe(ppl_const_Octagonal_Shape_mpz_class_t ph)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_Octagonal_Shape_mpz_class_limited_BHMZ05_extrapolation_assign(ppl_Octagonal_Shape_mpz_class_t x, ppl_const_Octagonal_Shape_mpz_class_t y, ppl_const_Constraint_System_t cs)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_Octagonal_Shape_mpz_class_limited_BHMZ05_extrapolation_assign_with_tokens(ppl_Octagonal_Shape_mpz_class_t x, ppl_const_Octagonal_Shape_mpz_class_t y, ppl_const_Constraint_System_t cs, unsigned *tp)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_Octagonal_Shape_mpz_class_limited_CC76_extrapolation_assign(ppl_Octagonal_Shape_mpz_class_t x, ppl_const_Octagonal_Shape_mpz_class_t y, ppl_const_Constraint_System_t cs)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_Octagonal_Shape_mpz_class_limited_CC76_extrapolation_assign_with_tokens(ppl_Octagonal_Shape_mpz_class_t x, ppl_const_Octagonal_Shape_mpz_class_t y, ppl_const_Constraint_System_t cs, unsigned *tp)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_Octagonal_Shape_mpz_class_linear_partition(ppl_const_Octagonal_Shape_mpz_class_t x, ppl_const_Octagonal_Shape_mpz_class_t y, ppl_Octagonal_Shape_mpz_class_t *p_inters, ppl_Pointset_Powerset_NNC_Polyhedron_t *p_rest)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_Octagonal_Shape_mpz_class_map_space_dimensions(ppl_Octagonal_Shape_mpz_class_t ph, ppl_dimension_type maps[], size_t n)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_Octagonal_Shape_mpz_class_maximize(ppl_const_Octagonal_Shape_mpz_class_t ph, ppl_const_Linear_Expression_t le, ppl_Coefficient_t ext_n, ppl_Coefficient_t ext_d, int *poptimum)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_Octagonal_Shape_mpz_class_maximize_with_point(ppl_const_Octagonal_Shape_mpz_class_t ph, ppl_const_Linear_Expression_t le, ppl_Coefficient_t ext_n, ppl_Coefficient_t ext_d, int *poptimum, ppl_Generator_t point)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_Octagonal_Shape_mpz_class_minimize(ppl_const_Octagonal_Shape_mpz_class_t ph, ppl_const_Linear_Expression_t le, ppl_Coefficient_t ext_n, ppl_Coefficient_t ext_d, int *poptimum)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_Octagonal_Shape_mpz_class_minimize_with_point(ppl_const_Octagonal_Shape_mpz_class_t ph, ppl_const_Linear_Expression_t le, ppl_Coefficient_t ext_n, ppl_Coefficient_t ext_d, int *poptimum, ppl_Generator_t point)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_Octagonal_Shape_mpz_class_OK(ppl_const_Octagonal_Shape_mpz_class_t ph)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_Octagonal_Shape_mpz_class_refine_with_congruence(ppl_Octagonal_Shape_mpz_class_t ph, ppl_const_Congruence_t c)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_Octagonal_Shape_mpz_class_refine_with_congruences(ppl_Octagonal_Shape_mpz_class_t ph, ppl_const_Congruence_System_t cs)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_Octagonal_Shape_mpz_class_refine_with_constraint(ppl_Octagonal_Shape_mpz_class_t ph, ppl_const_Constraint_t c)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_Octagonal_Shape_mpz_class_refine_with_constraints(ppl_Octagonal_Shape_mpz_class_t ph, ppl_const_Constraint_System_t cs)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_Octagonal_Shape_mpz_class_relation_with_Congruence(ppl_const_Octagonal_Shape_mpz_class_t ph, ppl_const_Congruence_t c)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_Octagonal_Shape_mpz_class_relation_with_Constraint(ppl_const_Octagonal_Shape_mpz_class_t ph, ppl_const_Constraint_t c)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_Octagonal_Shape_mpz_class_relation_with_Generator(ppl_const_Octagonal_Shape_mpz_class_t ph, ppl_const_Generator_t c)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_Octagonal_Shape_mpz_class_remove_higher_space_dimensions(ppl_Octagonal_Shape_mpz_class_t ph, ppl_dimension_type d)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_Octagonal_Shape_mpz_class_remove_space_dimensions(ppl_Octagonal_Shape_mpz_class_t ph, ppl_dimension_type ds[], size_t n)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_Octagonal_Shape_mpz_class_simplify_using_context_assign(ppl_Octagonal_Shape_mpz_class_t x, ppl_const_Octagonal_Shape_mpz_class_t y)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_Octagonal_Shape_mpz_class_space_dimension(ppl_const_Octagonal_Shape_mpz_class_t ph, ppl_dimension_type *m)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_Octagonal_Shape_mpz_class_strictly_contains_Octagonal_Shape_mpz_class(ppl_const_Octagonal_Shape_mpz_class_t x, ppl_const_Octagonal_Shape_mpz_class_t y)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_Octagonal_Shape_mpz_class_time_elapse_assign(ppl_Octagonal_Shape_mpz_class_t x, ppl_const_Octagonal_Shape_mpz_class_t y)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_Octagonal_Shape_mpz_class_topological_closure_assign(ppl_Octagonal_Shape_mpz_class_t ph)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_Octagonal_Shape_mpz_class_total_memory_in_bytes(ppl_const_Octagonal_Shape_mpz_class_t ps, size_t *sz)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_Octagonal_Shape_mpz_class_unconstrain_space_dimension(ppl_Octagonal_Shape_mpz_class_t ph, ppl_dimension_type var)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_Octagonal_Shape_mpz_class_unconstrain_space_dimensions(ppl_Octagonal_Shape_mpz_class_t ph, ppl_dimension_type ds[], size_t n)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_Octagonal_Shape_mpz_class_upper_bound_assign(ppl_Octagonal_Shape_mpz_class_t x, ppl_const_Octagonal_Shape_mpz_class_t y)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_Octagonal_Shape_mpz_class_upper_bound_assign_if_exact(ppl_Octagonal_Shape_mpz_class_t x, ppl_const_Octagonal_Shape_mpz_class_t y)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_Octagonal_Shape_mpz_class_widening_assign(ppl_Octagonal_Shape_mpz_class_t x, ppl_const_Octagonal_Shape_mpz_class_t y)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_Octagonal_Shape_mpz_class_widening_assign_with_tokens(ppl_Octagonal_Shape_mpz_class_t x, ppl_const_Octagonal_Shape_mpz_class_t y, unsigned *tp)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_Octagonal_Shape_mpz_class_wrap_assign(ppl_Octagonal_Shape_mpz_class_t ph, ppl_dimension_type ds[], size_t n, enum ppl_enum_Bounded_Integer_Type_Width w, enum ppl_enum_Bounded_Integer_Type_Representation r, enum ppl_enum_Bounded_Integer_Type_Overflow o, const ppl_const_Constraint_System_t *pcs, unsigned complexity_threshold, int wrap_individually)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_one_affine_ranking_function_MS_Octagonal_Shape_mpz_class(ppl_const_Octagonal_Shape_mpz_class_t pset, ppl_Generator_t point)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_one_affine_ranking_function_MS_Octagonal_Shape_mpz_class_2(ppl_const_Octagonal_Shape_mpz_class_t pset_before, ppl_const_Octagonal_Shape_mpz_class_t pset_after, ppl_Generator_t point)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_one_affine_ranking_function_PR_Octagonal_Shape_mpz_class(ppl_const_Octagonal_Shape_mpz_class_t pset, ppl_Generator_t point)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_one_affine_ranking_function_PR_Octagonal_Shape_mpz_class_2(ppl_const_Octagonal_Shape_mpz_class_t pset_before, ppl_const_Octagonal_Shape_mpz_class_t pset_after, ppl_Generator_t point)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_termination_test_MS_Octagonal_Shape_mpz_class(ppl_const_Octagonal_Shape_mpz_class_t pset)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_termination_test_MS_Octagonal_Shape_mpz_class_2(ppl_const_Octagonal_Shape_mpz_class_t pset_before, ppl_const_Octagonal_Shape_mpz_class_t pset_after)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_termination_test_PR_Octagonal_Shape_mpz_class(ppl_const_Octagonal_Shape_mpz_class_t pset)ppl_Octagonal_Shape_mpz_class_tag [related]
ppl_termination_test_PR_Octagonal_Shape_mpz_class_2(ppl_const_Octagonal_Shape_mpz_class_t pset_before, ppl_const_Octagonal_Shape_mpz_class_t pset_after)ppl_Octagonal_Shape_mpz_class_tag [related]
Generated on Sun Feb 27 16:28:33 2011 for PPL Configured C Language Interface by  doxygen 1.6.3