PPL Configured 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_all_affine_ranking_functions_MS_C_Polyhedron(ppl_const_Polyhedron_t pset, ppl_Polyhedron_t ph)ppl_Polyhedron_tagrelated
ppl_all_affine_ranking_functions_MS_C_Polyhedron_2(ppl_const_Polyhedron_t pset_before, ppl_const_Polyhedron_t pset_after, ppl_Polyhedron_t ph)ppl_Polyhedron_tagrelated
ppl_all_affine_ranking_functions_MS_NNC_Polyhedron(ppl_const_Polyhedron_t pset, ppl_Polyhedron_t ph)ppl_Polyhedron_tagrelated
ppl_all_affine_ranking_functions_MS_NNC_Polyhedron_2(ppl_const_Polyhedron_t pset_before, ppl_const_Polyhedron_t pset_after, ppl_Polyhedron_t ph)ppl_Polyhedron_tagrelated
ppl_all_affine_ranking_functions_PR_C_Polyhedron(ppl_const_Polyhedron_t pset, ppl_Polyhedron_t ph)ppl_Polyhedron_tagrelated
ppl_all_affine_ranking_functions_PR_C_Polyhedron_2(ppl_const_Polyhedron_t pset_before, ppl_const_Polyhedron_t pset_after, ppl_Polyhedron_t ph)ppl_Polyhedron_tagrelated
ppl_all_affine_ranking_functions_PR_NNC_Polyhedron(ppl_const_Polyhedron_t pset, ppl_Polyhedron_t ph)ppl_Polyhedron_tagrelated
ppl_all_affine_ranking_functions_PR_NNC_Polyhedron_2(ppl_const_Polyhedron_t pset_before, ppl_const_Polyhedron_t pset_after, ppl_Polyhedron_t ph)ppl_Polyhedron_tagrelated
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_BD_Shape_double(ppl_Polyhedron_t *pph, ppl_const_BD_Shape_double_t ph)ppl_Polyhedron_tagrelated
ppl_new_C_Polyhedron_from_BD_Shape_double_with_complexity(ppl_Polyhedron_t *pph, ppl_const_BD_Shape_double_t ph, int complexity)ppl_Polyhedron_tagrelated
ppl_new_C_Polyhedron_from_BD_Shape_float(ppl_Polyhedron_t *pph, ppl_const_BD_Shape_float_t ph)ppl_Polyhedron_tagrelated
ppl_new_C_Polyhedron_from_BD_Shape_float_with_complexity(ppl_Polyhedron_t *pph, ppl_const_BD_Shape_float_t ph, int complexity)ppl_Polyhedron_tagrelated
ppl_new_C_Polyhedron_from_BD_Shape_int16_t(ppl_Polyhedron_t *pph, ppl_const_BD_Shape_int16_t_t ph)ppl_Polyhedron_tagrelated
ppl_new_C_Polyhedron_from_BD_Shape_int16_t_with_complexity(ppl_Polyhedron_t *pph, ppl_const_BD_Shape_int16_t_t ph, int complexity)ppl_Polyhedron_tagrelated
ppl_new_C_Polyhedron_from_BD_Shape_int32_t(ppl_Polyhedron_t *pph, ppl_const_BD_Shape_int32_t_t ph)ppl_Polyhedron_tagrelated
ppl_new_C_Polyhedron_from_BD_Shape_int32_t_with_complexity(ppl_Polyhedron_t *pph, ppl_const_BD_Shape_int32_t_t ph, int complexity)ppl_Polyhedron_tagrelated
ppl_new_C_Polyhedron_from_BD_Shape_int64_t(ppl_Polyhedron_t *pph, ppl_const_BD_Shape_int64_t_t ph)ppl_Polyhedron_tagrelated
ppl_new_C_Polyhedron_from_BD_Shape_int64_t_with_complexity(ppl_Polyhedron_t *pph, ppl_const_BD_Shape_int64_t_t ph, int complexity)ppl_Polyhedron_tagrelated
ppl_new_C_Polyhedron_from_BD_Shape_int8_t(ppl_Polyhedron_t *pph, ppl_const_BD_Shape_int8_t_t ph)ppl_Polyhedron_tagrelated
ppl_new_C_Polyhedron_from_BD_Shape_int8_t_with_complexity(ppl_Polyhedron_t *pph, ppl_const_BD_Shape_int8_t_t ph, int complexity)ppl_Polyhedron_tagrelated
ppl_new_C_Polyhedron_from_BD_Shape_long_double(ppl_Polyhedron_t *pph, ppl_const_BD_Shape_long_double_t ph)ppl_Polyhedron_tagrelated
ppl_new_C_Polyhedron_from_BD_Shape_long_double_with_complexity(ppl_Polyhedron_t *pph, ppl_const_BD_Shape_long_double_t ph, int complexity)ppl_Polyhedron_tagrelated
ppl_new_C_Polyhedron_from_BD_Shape_mpq_class(ppl_Polyhedron_t *pph, ppl_const_BD_Shape_mpq_class_t ph)ppl_Polyhedron_tagrelated
ppl_new_C_Polyhedron_from_BD_Shape_mpq_class_with_complexity(ppl_Polyhedron_t *pph, ppl_const_BD_Shape_mpq_class_t ph, int complexity)ppl_Polyhedron_tagrelated
ppl_new_C_Polyhedron_from_BD_Shape_mpz_class(ppl_Polyhedron_t *pph, ppl_const_BD_Shape_mpz_class_t ph)ppl_Polyhedron_tagrelated
ppl_new_C_Polyhedron_from_BD_Shape_mpz_class_with_complexity(ppl_Polyhedron_t *pph, ppl_const_BD_Shape_mpz_class_t ph, int complexity)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_Double_Box(ppl_Polyhedron_t *pph, ppl_const_Double_Box_t ph)ppl_Polyhedron_tagrelated
ppl_new_C_Polyhedron_from_Double_Box_with_complexity(ppl_Polyhedron_t *pph, ppl_const_Double_Box_t ph, int complexity)ppl_Polyhedron_tagrelated
ppl_new_C_Polyhedron_from_Float_Box(ppl_Polyhedron_t *pph, ppl_const_Float_Box_t ph)ppl_Polyhedron_tagrelated
ppl_new_C_Polyhedron_from_Float_Box_with_complexity(ppl_Polyhedron_t *pph, ppl_const_Float_Box_t ph, int complexity)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_Grid(ppl_Polyhedron_t *pph, ppl_const_Grid_t ph)ppl_Polyhedron_tagrelated
ppl_new_C_Polyhedron_from_Grid_with_complexity(ppl_Polyhedron_t *pph, ppl_const_Grid_t ph, int complexity)ppl_Polyhedron_tagrelated
ppl_new_C_Polyhedron_from_Int16_Box(ppl_Polyhedron_t *pph, ppl_const_Int16_Box_t ph)ppl_Polyhedron_tagrelated
ppl_new_C_Polyhedron_from_Int16_Box_with_complexity(ppl_Polyhedron_t *pph, ppl_const_Int16_Box_t ph, int complexity)ppl_Polyhedron_tagrelated
ppl_new_C_Polyhedron_from_Int32_Box(ppl_Polyhedron_t *pph, ppl_const_Int32_Box_t ph)ppl_Polyhedron_tagrelated
ppl_new_C_Polyhedron_from_Int32_Box_with_complexity(ppl_Polyhedron_t *pph, ppl_const_Int32_Box_t ph, int complexity)ppl_Polyhedron_tagrelated
ppl_new_C_Polyhedron_from_Int64_Box(ppl_Polyhedron_t *pph, ppl_const_Int64_Box_t ph)ppl_Polyhedron_tagrelated
ppl_new_C_Polyhedron_from_Int64_Box_with_complexity(ppl_Polyhedron_t *pph, ppl_const_Int64_Box_t ph, int complexity)ppl_Polyhedron_tagrelated
ppl_new_C_Polyhedron_from_Int8_Box(ppl_Polyhedron_t *pph, ppl_const_Int8_Box_t ph)ppl_Polyhedron_tagrelated
ppl_new_C_Polyhedron_from_Int8_Box_with_complexity(ppl_Polyhedron_t *pph, ppl_const_Int8_Box_t ph, int complexity)ppl_Polyhedron_tagrelated
ppl_new_C_Polyhedron_from_Long_Double_Box(ppl_Polyhedron_t *pph, ppl_const_Long_Double_Box_t ph)ppl_Polyhedron_tagrelated
ppl_new_C_Polyhedron_from_Long_Double_Box_with_complexity(ppl_Polyhedron_t *pph, ppl_const_Long_Double_Box_t ph, int complexity)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_Octagonal_Shape_double(ppl_Polyhedron_t *pph, ppl_const_Octagonal_Shape_double_t ph)ppl_Polyhedron_tagrelated
ppl_new_C_Polyhedron_from_Octagonal_Shape_double_with_complexity(ppl_Polyhedron_t *pph, ppl_const_Octagonal_Shape_double_t ph, int complexity)ppl_Polyhedron_tagrelated
ppl_new_C_Polyhedron_from_Octagonal_Shape_float(ppl_Polyhedron_t *pph, ppl_const_Octagonal_Shape_float_t ph)ppl_Polyhedron_tagrelated
ppl_new_C_Polyhedron_from_Octagonal_Shape_float_with_complexity(ppl_Polyhedron_t *pph, ppl_const_Octagonal_Shape_float_t ph, int complexity)ppl_Polyhedron_tagrelated
ppl_new_C_Polyhedron_from_Octagonal_Shape_int16_t(ppl_Polyhedron_t *pph, ppl_const_Octagonal_Shape_int16_t_t ph)ppl_Polyhedron_tagrelated
ppl_new_C_Polyhedron_from_Octagonal_Shape_int16_t_with_complexity(ppl_Polyhedron_t *pph, ppl_const_Octagonal_Shape_int16_t_t ph, int complexity)ppl_Polyhedron_tagrelated
ppl_new_C_Polyhedron_from_Octagonal_Shape_int32_t(ppl_Polyhedron_t *pph, ppl_const_Octagonal_Shape_int32_t_t ph)ppl_Polyhedron_tagrelated
ppl_new_C_Polyhedron_from_Octagonal_Shape_int32_t_with_complexity(ppl_Polyhedron_t *pph, ppl_const_Octagonal_Shape_int32_t_t ph, int complexity)ppl_Polyhedron_tagrelated
ppl_new_C_Polyhedron_from_Octagonal_Shape_int64_t(ppl_Polyhedron_t *pph, ppl_const_Octagonal_Shape_int64_t_t ph)ppl_Polyhedron_tagrelated
ppl_new_C_Polyhedron_from_Octagonal_Shape_int64_t_with_complexity(ppl_Polyhedron_t *pph, ppl_const_Octagonal_Shape_int64_t_t ph, int complexity)ppl_Polyhedron_tagrelated
ppl_new_C_Polyhedron_from_Octagonal_Shape_int8_t(ppl_Polyhedron_t *pph, ppl_const_Octagonal_Shape_int8_t_t ph)ppl_Polyhedron_tagrelated
ppl_new_C_Polyhedron_from_Octagonal_Shape_int8_t_with_complexity(ppl_Polyhedron_t *pph, ppl_const_Octagonal_Shape_int8_t_t ph, int complexity)ppl_Polyhedron_tagrelated
ppl_new_C_Polyhedron_from_Octagonal_Shape_long_double(ppl_Polyhedron_t *pph, ppl_const_Octagonal_Shape_long_double_t ph)ppl_Polyhedron_tagrelated
ppl_new_C_Polyhedron_from_Octagonal_Shape_long_double_with_complexity(ppl_Polyhedron_t *pph, ppl_const_Octagonal_Shape_long_double_t ph, int complexity)ppl_Polyhedron_tagrelated
ppl_new_C_Polyhedron_from_Octagonal_Shape_mpq_class(ppl_Polyhedron_t *pph, ppl_const_Octagonal_Shape_mpq_class_t ph)ppl_Polyhedron_tagrelated
ppl_new_C_Polyhedron_from_Octagonal_Shape_mpq_class_with_complexity(ppl_Polyhedron_t *pph, ppl_const_Octagonal_Shape_mpq_class_t ph, int complexity)ppl_Polyhedron_tagrelated
ppl_new_C_Polyhedron_from_Octagonal_Shape_mpz_class(ppl_Polyhedron_t *pph, ppl_const_Octagonal_Shape_mpz_class_t ph)ppl_Polyhedron_tagrelated
ppl_new_C_Polyhedron_from_Octagonal_Shape_mpz_class_with_complexity(ppl_Polyhedron_t *pph, ppl_const_Octagonal_Shape_mpz_class_t ph, int complexity)ppl_Polyhedron_tagrelated
ppl_new_C_Polyhedron_from_Rational_Box(ppl_Polyhedron_t *pph, ppl_const_Rational_Box_t ph)ppl_Polyhedron_tagrelated
ppl_new_C_Polyhedron_from_Rational_Box_with_complexity(ppl_Polyhedron_t *pph, ppl_const_Rational_Box_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_from_Uint16_Box(ppl_Polyhedron_t *pph, ppl_const_Uint16_Box_t ph)ppl_Polyhedron_tagrelated
ppl_new_C_Polyhedron_from_Uint16_Box_with_complexity(ppl_Polyhedron_t *pph, ppl_const_Uint16_Box_t ph, int complexity)ppl_Polyhedron_tagrelated
ppl_new_C_Polyhedron_from_Uint32_Box(ppl_Polyhedron_t *pph, ppl_const_Uint32_Box_t ph)ppl_Polyhedron_tagrelated
ppl_new_C_Polyhedron_from_Uint32_Box_with_complexity(ppl_Polyhedron_t *pph, ppl_const_Uint32_Box_t ph, int complexity)ppl_Polyhedron_tagrelated
ppl_new_C_Polyhedron_from_Uint64_Box(ppl_Polyhedron_t *pph, ppl_const_Uint64_Box_t ph)ppl_Polyhedron_tagrelated
ppl_new_C_Polyhedron_from_Uint64_Box_with_complexity(ppl_Polyhedron_t *pph, ppl_const_Uint64_Box_t ph, int complexity)ppl_Polyhedron_tagrelated
ppl_new_C_Polyhedron_from_Uint8_Box(ppl_Polyhedron_t *pph, ppl_const_Uint8_Box_t ph)ppl_Polyhedron_tagrelated
ppl_new_C_Polyhedron_from_Uint8_Box_with_complexity(ppl_Polyhedron_t *pph, ppl_const_Uint8_Box_t ph, int complexity)ppl_Polyhedron_tagrelated
ppl_new_C_Polyhedron_from_Z_Box(ppl_Polyhedron_t *pph, ppl_const_Z_Box_t ph)ppl_Polyhedron_tagrelated
ppl_new_C_Polyhedron_from_Z_Box_with_complexity(ppl_Polyhedron_t *pph, ppl_const_Z_Box_t ph, int complexity)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_BD_Shape_double(ppl_Polyhedron_t *pph, ppl_const_BD_Shape_double_t ph)ppl_Polyhedron_tagrelated
ppl_new_NNC_Polyhedron_from_BD_Shape_double_with_complexity(ppl_Polyhedron_t *pph, ppl_const_BD_Shape_double_t ph, int complexity)ppl_Polyhedron_tagrelated
ppl_new_NNC_Polyhedron_from_BD_Shape_float(ppl_Polyhedron_t *pph, ppl_const_BD_Shape_float_t ph)ppl_Polyhedron_tagrelated
ppl_new_NNC_Polyhedron_from_BD_Shape_float_with_complexity(ppl_Polyhedron_t *pph, ppl_const_BD_Shape_float_t ph, int complexity)ppl_Polyhedron_tagrelated
ppl_new_NNC_Polyhedron_from_BD_Shape_int16_t(ppl_Polyhedron_t *pph, ppl_const_BD_Shape_int16_t_t ph)ppl_Polyhedron_tagrelated
ppl_new_NNC_Polyhedron_from_BD_Shape_int16_t_with_complexity(ppl_Polyhedron_t *pph, ppl_const_BD_Shape_int16_t_t ph, int complexity)ppl_Polyhedron_tagrelated
ppl_new_NNC_Polyhedron_from_BD_Shape_int32_t(ppl_Polyhedron_t *pph, ppl_const_BD_Shape_int32_t_t ph)ppl_Polyhedron_tagrelated
ppl_new_NNC_Polyhedron_from_BD_Shape_int32_t_with_complexity(ppl_Polyhedron_t *pph, ppl_const_BD_Shape_int32_t_t ph, int complexity)ppl_Polyhedron_tagrelated
ppl_new_NNC_Polyhedron_from_BD_Shape_int64_t(ppl_Polyhedron_t *pph, ppl_const_BD_Shape_int64_t_t ph)ppl_Polyhedron_tagrelated
ppl_new_NNC_Polyhedron_from_BD_Shape_int64_t_with_complexity(ppl_Polyhedron_t *pph, ppl_const_BD_Shape_int64_t_t ph, int complexity)ppl_Polyhedron_tagrelated
ppl_new_NNC_Polyhedron_from_BD_Shape_int8_t(ppl_Polyhedron_t *pph, ppl_const_BD_Shape_int8_t_t ph)ppl_Polyhedron_tagrelated
ppl_new_NNC_Polyhedron_from_BD_Shape_int8_t_with_complexity(ppl_Polyhedron_t *pph, ppl_const_BD_Shape_int8_t_t ph, int complexity)ppl_Polyhedron_tagrelated
ppl_new_NNC_Polyhedron_from_BD_Shape_long_double(ppl_Polyhedron_t *pph, ppl_const_BD_Shape_long_double_t ph)ppl_Polyhedron_tagrelated
ppl_new_NNC_Polyhedron_from_BD_Shape_long_double_with_complexity(ppl_Polyhedron_t *pph, ppl_const_BD_Shape_long_double_t ph, int complexity)ppl_Polyhedron_tagrelated
ppl_new_NNC_Polyhedron_from_BD_Shape_mpq_class(ppl_Polyhedron_t *pph, ppl_const_BD_Shape_mpq_class_t ph)ppl_Polyhedron_tagrelated
ppl_new_NNC_Polyhedron_from_BD_Shape_mpq_class_with_complexity(ppl_Polyhedron_t *pph, ppl_const_BD_Shape_mpq_class_t ph, int complexity)ppl_Polyhedron_tagrelated
ppl_new_NNC_Polyhedron_from_BD_Shape_mpz_class(ppl_Polyhedron_t *pph, ppl_const_BD_Shape_mpz_class_t ph)ppl_Polyhedron_tagrelated
ppl_new_NNC_Polyhedron_from_BD_Shape_mpz_class_with_complexity(ppl_Polyhedron_t *pph, ppl_const_BD_Shape_mpz_class_t ph, int complexity)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_Double_Box(ppl_Polyhedron_t *pph, ppl_const_Double_Box_t ph)ppl_Polyhedron_tagrelated
ppl_new_NNC_Polyhedron_from_Double_Box_with_complexity(ppl_Polyhedron_t *pph, ppl_const_Double_Box_t ph, int complexity)ppl_Polyhedron_tagrelated
ppl_new_NNC_Polyhedron_from_Float_Box(ppl_Polyhedron_t *pph, ppl_const_Float_Box_t ph)ppl_Polyhedron_tagrelated
ppl_new_NNC_Polyhedron_from_Float_Box_with_complexity(ppl_Polyhedron_t *pph, ppl_const_Float_Box_t ph, int complexity)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_Grid(ppl_Polyhedron_t *pph, ppl_const_Grid_t ph)ppl_Polyhedron_tagrelated
ppl_new_NNC_Polyhedron_from_Grid_with_complexity(ppl_Polyhedron_t *pph, ppl_const_Grid_t ph, int complexity)ppl_Polyhedron_tagrelated
ppl_new_NNC_Polyhedron_from_Int16_Box(ppl_Polyhedron_t *pph, ppl_const_Int16_Box_t ph)ppl_Polyhedron_tagrelated
ppl_new_NNC_Polyhedron_from_Int16_Box_with_complexity(ppl_Polyhedron_t *pph, ppl_const_Int16_Box_t ph, int complexity)ppl_Polyhedron_tagrelated
ppl_new_NNC_Polyhedron_from_Int32_Box(ppl_Polyhedron_t *pph, ppl_const_Int32_Box_t ph)ppl_Polyhedron_tagrelated
ppl_new_NNC_Polyhedron_from_Int32_Box_with_complexity(ppl_Polyhedron_t *pph, ppl_const_Int32_Box_t ph, int complexity)ppl_Polyhedron_tagrelated
ppl_new_NNC_Polyhedron_from_Int64_Box(ppl_Polyhedron_t *pph, ppl_const_Int64_Box_t ph)ppl_Polyhedron_tagrelated
ppl_new_NNC_Polyhedron_from_Int64_Box_with_complexity(ppl_Polyhedron_t *pph, ppl_const_Int64_Box_t ph, int complexity)ppl_Polyhedron_tagrelated
ppl_new_NNC_Polyhedron_from_Int8_Box(ppl_Polyhedron_t *pph, ppl_const_Int8_Box_t ph)ppl_Polyhedron_tagrelated
ppl_new_NNC_Polyhedron_from_Int8_Box_with_complexity(ppl_Polyhedron_t *pph, ppl_const_Int8_Box_t ph, int complexity)ppl_Polyhedron_tagrelated
ppl_new_NNC_Polyhedron_from_Long_Double_Box(ppl_Polyhedron_t *pph, ppl_const_Long_Double_Box_t ph)ppl_Polyhedron_tagrelated
ppl_new_NNC_Polyhedron_from_Long_Double_Box_with_complexity(ppl_Polyhedron_t *pph, ppl_const_Long_Double_Box_t ph, int complexity)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_Octagonal_Shape_double(ppl_Polyhedron_t *pph, ppl_const_Octagonal_Shape_double_t ph)ppl_Polyhedron_tagrelated
ppl_new_NNC_Polyhedron_from_Octagonal_Shape_double_with_complexity(ppl_Polyhedron_t *pph, ppl_const_Octagonal_Shape_double_t ph, int complexity)ppl_Polyhedron_tagrelated
ppl_new_NNC_Polyhedron_from_Octagonal_Shape_float(ppl_Polyhedron_t *pph, ppl_const_Octagonal_Shape_float_t ph)ppl_Polyhedron_tagrelated
ppl_new_NNC_Polyhedron_from_Octagonal_Shape_float_with_complexity(ppl_Polyhedron_t *pph, ppl_const_Octagonal_Shape_float_t ph, int complexity)ppl_Polyhedron_tagrelated
ppl_new_NNC_Polyhedron_from_Octagonal_Shape_int16_t(ppl_Polyhedron_t *pph, ppl_const_Octagonal_Shape_int16_t_t ph)ppl_Polyhedron_tagrelated
ppl_new_NNC_Polyhedron_from_Octagonal_Shape_int16_t_with_complexity(ppl_Polyhedron_t *pph, ppl_const_Octagonal_Shape_int16_t_t ph, int complexity)ppl_Polyhedron_tagrelated
ppl_new_NNC_Polyhedron_from_Octagonal_Shape_int32_t(ppl_Polyhedron_t *pph, ppl_const_Octagonal_Shape_int32_t_t ph)ppl_Polyhedron_tagrelated
ppl_new_NNC_Polyhedron_from_Octagonal_Shape_int32_t_with_complexity(ppl_Polyhedron_t *pph, ppl_const_Octagonal_Shape_int32_t_t ph, int complexity)ppl_Polyhedron_tagrelated
ppl_new_NNC_Polyhedron_from_Octagonal_Shape_int64_t(ppl_Polyhedron_t *pph, ppl_const_Octagonal_Shape_int64_t_t ph)ppl_Polyhedron_tagrelated
ppl_new_NNC_Polyhedron_from_Octagonal_Shape_int64_t_with_complexity(ppl_Polyhedron_t *pph, ppl_const_Octagonal_Shape_int64_t_t ph, int complexity)ppl_Polyhedron_tagrelated
ppl_new_NNC_Polyhedron_from_Octagonal_Shape_int8_t(ppl_Polyhedron_t *pph, ppl_const_Octagonal_Shape_int8_t_t ph)ppl_Polyhedron_tagrelated
ppl_new_NNC_Polyhedron_from_Octagonal_Shape_int8_t_with_complexity(ppl_Polyhedron_t *pph, ppl_const_Octagonal_Shape_int8_t_t ph, int complexity)ppl_Polyhedron_tagrelated
ppl_new_NNC_Polyhedron_from_Octagonal_Shape_long_double(ppl_Polyhedron_t *pph, ppl_const_Octagonal_Shape_long_double_t ph)ppl_Polyhedron_tagrelated
ppl_new_NNC_Polyhedron_from_Octagonal_Shape_long_double_with_complexity(ppl_Polyhedron_t *pph, ppl_const_Octagonal_Shape_long_double_t ph, int complexity)ppl_Polyhedron_tagrelated
ppl_new_NNC_Polyhedron_from_Octagonal_Shape_mpq_class(ppl_Polyhedron_t *pph, ppl_const_Octagonal_Shape_mpq_class_t ph)ppl_Polyhedron_tagrelated
ppl_new_NNC_Polyhedron_from_Octagonal_Shape_mpq_class_with_complexity(ppl_Polyhedron_t *pph, ppl_const_Octagonal_Shape_mpq_class_t ph, int complexity)ppl_Polyhedron_tagrelated
ppl_new_NNC_Polyhedron_from_Octagonal_Shape_mpz_class(ppl_Polyhedron_t *pph, ppl_const_Octagonal_Shape_mpz_class_t ph)ppl_Polyhedron_tagrelated
ppl_new_NNC_Polyhedron_from_Octagonal_Shape_mpz_class_with_complexity(ppl_Polyhedron_t *pph, ppl_const_Octagonal_Shape_mpz_class_t ph, int complexity)ppl_Polyhedron_tagrelated
ppl_new_NNC_Polyhedron_from_Rational_Box(ppl_Polyhedron_t *pph, ppl_const_Rational_Box_t ph)ppl_Polyhedron_tagrelated
ppl_new_NNC_Polyhedron_from_Rational_Box_with_complexity(ppl_Polyhedron_t *pph, ppl_const_Rational_Box_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_from_Uint16_Box(ppl_Polyhedron_t *pph, ppl_const_Uint16_Box_t ph)ppl_Polyhedron_tagrelated
ppl_new_NNC_Polyhedron_from_Uint16_Box_with_complexity(ppl_Polyhedron_t *pph, ppl_const_Uint16_Box_t ph, int complexity)ppl_Polyhedron_tagrelated
ppl_new_NNC_Polyhedron_from_Uint32_Box(ppl_Polyhedron_t *pph, ppl_const_Uint32_Box_t ph)ppl_Polyhedron_tagrelated
ppl_new_NNC_Polyhedron_from_Uint32_Box_with_complexity(ppl_Polyhedron_t *pph, ppl_const_Uint32_Box_t ph, int complexity)ppl_Polyhedron_tagrelated
ppl_new_NNC_Polyhedron_from_Uint64_Box(ppl_Polyhedron_t *pph, ppl_const_Uint64_Box_t ph)ppl_Polyhedron_tagrelated
ppl_new_NNC_Polyhedron_from_Uint64_Box_with_complexity(ppl_Polyhedron_t *pph, ppl_const_Uint64_Box_t ph, int complexity)ppl_Polyhedron_tagrelated
ppl_new_NNC_Polyhedron_from_Uint8_Box(ppl_Polyhedron_t *pph, ppl_const_Uint8_Box_t ph)ppl_Polyhedron_tagrelated
ppl_new_NNC_Polyhedron_from_Uint8_Box_with_complexity(ppl_Polyhedron_t *pph, ppl_const_Uint8_Box_t ph, int complexity)ppl_Polyhedron_tagrelated
ppl_new_NNC_Polyhedron_from_Z_Box(ppl_Polyhedron_t *pph, ppl_const_Z_Box_t ph)ppl_Polyhedron_tagrelated
ppl_new_NNC_Polyhedron_from_Z_Box_with_complexity(ppl_Polyhedron_t *pph, ppl_const_Z_Box_t ph, int complexity)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_one_affine_ranking_function_MS_C_Polyhedron(ppl_const_Polyhedron_t pset, ppl_Generator_t point)ppl_Polyhedron_tagrelated
ppl_one_affine_ranking_function_MS_C_Polyhedron_2(ppl_const_Polyhedron_t pset_before, ppl_const_Polyhedron_t pset_after, ppl_Generator_t point)ppl_Polyhedron_tagrelated
ppl_one_affine_ranking_function_MS_NNC_Polyhedron(ppl_const_Polyhedron_t pset, ppl_Generator_t point)ppl_Polyhedron_tagrelated
ppl_one_affine_ranking_function_MS_NNC_Polyhedron_2(ppl_const_Polyhedron_t pset_before, ppl_const_Polyhedron_t pset_after, ppl_Generator_t point)ppl_Polyhedron_tagrelated
ppl_one_affine_ranking_function_PR_C_Polyhedron(ppl_const_Polyhedron_t pset, ppl_Generator_t point)ppl_Polyhedron_tagrelated
ppl_one_affine_ranking_function_PR_C_Polyhedron_2(ppl_const_Polyhedron_t pset_before, ppl_const_Polyhedron_t pset_after, ppl_Generator_t point)ppl_Polyhedron_tagrelated
ppl_one_affine_ranking_function_PR_NNC_Polyhedron(ppl_const_Polyhedron_t pset, ppl_Generator_t point)ppl_Polyhedron_tagrelated
ppl_one_affine_ranking_function_PR_NNC_Polyhedron_2(ppl_const_Polyhedron_t pset_before, ppl_const_Polyhedron_t pset_after, ppl_Generator_t point)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_drop_some_non_integer_points(ppl_Polyhedron_t ph, int complexity)ppl_Polyhedron_tagrelated
ppl_Polyhedron_drop_some_non_integer_points_2(ppl_Polyhedron_t ph, ppl_dimension_type ds[], size_t n, int complexity)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_frequency(ppl_const_Polyhedron_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_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_linear_partition(ppl_const_Polyhedron_t x, ppl_const_Polyhedron_t y, ppl_Polyhedron_t *p_inters, ppl_Pointset_Powerset_NNC_Polyhedron_t *p_rest)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(ppl_const_Polyhedron_t ph, ppl_const_Linear_Expression_t le, ppl_Coefficient_t ext_n, ppl_Coefficient_t ext_d, int *poptimum)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_poly_hull_assign_if_exact(ppl_Polyhedron_t x, ppl_const_Polyhedron_t y)ppl_Polyhedron_tagrelated
ppl_Polyhedron_positive_time_elapse_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_Congruence(ppl_const_Polyhedron_t ph, ppl_const_Congruence_t c)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
ppl_Polyhedron_upper_bound_assign_if_exact(ppl_Polyhedron_t x, ppl_const_Polyhedron_t y)ppl_Polyhedron_tagrelated
ppl_Polyhedron_widening_assign(ppl_Polyhedron_t x, ppl_const_Polyhedron_t y)ppl_Polyhedron_tagrelated
ppl_Polyhedron_widening_assign_with_tokens(ppl_Polyhedron_t x, ppl_const_Polyhedron_t y, unsigned *tp)ppl_Polyhedron_tagrelated
ppl_Polyhedron_wrap_assign(ppl_Polyhedron_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_Polyhedron_tagrelated
ppl_termination_test_MS_C_Polyhedron(ppl_const_Polyhedron_t pset)ppl_Polyhedron_tagrelated
ppl_termination_test_MS_C_Polyhedron_2(ppl_const_Polyhedron_t pset_before, ppl_const_Polyhedron_t pset_after)ppl_Polyhedron_tagrelated
ppl_termination_test_MS_NNC_Polyhedron(ppl_const_Polyhedron_t pset)ppl_Polyhedron_tagrelated
ppl_termination_test_MS_NNC_Polyhedron_2(ppl_const_Polyhedron_t pset_before, ppl_const_Polyhedron_t pset_after)ppl_Polyhedron_tagrelated
ppl_termination_test_PR_C_Polyhedron(ppl_const_Polyhedron_t pset)ppl_Polyhedron_tagrelated
ppl_termination_test_PR_C_Polyhedron_2(ppl_const_Polyhedron_t pset_before, ppl_const_Polyhedron_t pset_after)ppl_Polyhedron_tagrelated
ppl_termination_test_PR_NNC_Polyhedron(ppl_const_Polyhedron_t pset)ppl_Polyhedron_tagrelated
ppl_termination_test_PR_NNC_Polyhedron_2(ppl_const_Polyhedron_t pset_before, ppl_const_Polyhedron_t pset_after)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