Typedefs |
|
typedef size_t | ppl_dimension_type |
| | An unsigned integral type for representing space dimensions.
|
| typedef const char * | ppl_io_variable_output_function_type (ppl_dimension_type var) |
| | The type of output functions used for printing variables.
|
typedef struct
ppl_Coefficient_tag * | ppl_Coefficient_t |
| | Opaque pointer.
|
typedef struct
ppl_Coefficient_tag const * | ppl_const_Coefficient_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Linear_Expression_tag * | ppl_Linear_Expression_t |
| | Opaque pointer.
|
typedef struct
ppl_Linear_Expression_tag
const * | ppl_const_Linear_Expression_t |
| | Opaque pointer to const object.
|
|
typedef struct ppl_Constraint_tag * | ppl_Constraint_t |
| | Opaque pointer.
|
typedef struct
ppl_Constraint_tag const * | ppl_const_Constraint_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Constraint_System_tag * | ppl_Constraint_System_t |
| | Opaque pointer.
|
typedef struct
ppl_Constraint_System_tag
const * | ppl_const_Constraint_System_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Constraint_System_const_iterator_tag * | ppl_Constraint_System_const_iterator_t |
| | Opaque pointer.
|
typedef struct
ppl_Constraint_System_const_iterator_tag
const * | ppl_const_Constraint_System_const_iterator_t |
| | Opaque pointer to const object.
|
|
typedef struct ppl_Generator_tag * | ppl_Generator_t |
| | Opaque pointer.
|
typedef struct
ppl_Generator_tag const * | ppl_const_Generator_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Generator_System_tag * | ppl_Generator_System_t |
| | Opaque pointer.
|
typedef struct
ppl_Generator_System_tag const * | ppl_const_Generator_System_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Generator_System_const_iterator_tag * | ppl_Generator_System_const_iterator_t |
| | Opaque pointer.
|
typedef struct
ppl_Generator_System_const_iterator_tag
const * | ppl_const_Generator_System_const_iterator_t |
| | Opaque pointer to const object.
|
|
typedef struct ppl_Congruence_tag * | ppl_Congruence_t |
| | Opaque pointer.
|
typedef struct
ppl_Congruence_tag const * | ppl_const_Congruence_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Congruence_System_tag * | ppl_Congruence_System_t |
| | Opaque pointer.
|
typedef struct
ppl_Congruence_System_tag
const * | ppl_const_Congruence_System_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Congruence_System_const_iterator_tag * | ppl_Congruence_System_const_iterator_t |
| | Opaque pointer.
|
typedef struct
ppl_Congruence_System_const_iterator_tag
const * | ppl_const_Congruence_System_const_iterator_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Grid_Generator_tag * | ppl_Grid_Generator_t |
| | Opaque pointer.
|
typedef struct
ppl_Grid_Generator_tag const * | ppl_const_Grid_Generator_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Grid_Generator_System_tag * | ppl_Grid_Generator_System_t |
| | Opaque pointer.
|
typedef struct
ppl_Grid_Generator_System_tag
const * | ppl_const_Grid_Generator_System_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Grid_Generator_System_const_iterator_tag * | ppl_Grid_Generator_System_const_iterator_t |
| | Opaque pointer.
|
typedef struct
ppl_Grid_Generator_System_const_iterator_tag
const * | ppl_const_Grid_Generator_System_const_iterator_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_MIP_Problem_tag * | ppl_MIP_Problem_t |
| | Opaque pointer.
|
typedef struct
ppl_MIP_Problem_tag const * | ppl_const_MIP_Problem_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_PIP_Problem_tag * | ppl_PIP_Problem_t |
| | Opaque pointer.
|
typedef struct
ppl_PIP_Problem_tag const * | ppl_const_PIP_Problem_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_PIP_Tree_Node_tag * | ppl_PIP_Tree_Node_t |
| | Opaque pointer.
|
typedef struct
ppl_PIP_Tree_Node_tag const * | ppl_const_PIP_Tree_Node_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_PIP_Decision_Node_tag * | ppl_PIP_Decision_Node_t |
| | Opaque pointer.
|
typedef struct
ppl_PIP_Decision_Node_tag
const * | ppl_const_PIP_Decision_Node_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_PIP_Solution_Node_tag * | ppl_PIP_Solution_Node_t |
| | Opaque pointer.
|
typedef struct
ppl_PIP_Solution_Node_tag
const * | ppl_const_PIP_Solution_Node_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Artificial_Parameter_tag * | ppl_Artificial_Parameter_t |
| | Opaque pointer.
|
typedef struct
ppl_Artificial_Parameter_tag
const * | ppl_const_Artificial_Parameter_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Artificial_Parameter_Sequence_tag * | ppl_Artificial_Parameter_Sequence_t |
| | Opaque pointer.
|
typedef struct
ppl_Artificial_Parameter_Sequence_tag
const * | ppl_const_Artificial_Parameter_Sequence_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Artificial_Parameter_Sequence_const_iterator_tag * | ppl_Artificial_Parameter_Sequence_const_iterator_t |
| | Opaque pointer.
|
typedef struct
ppl_Artificial_Parameter_Sequence_const_iterator_tag
const * | ppl_const_Artificial_Parameter_Sequence_const_iterator_t |
| | Opaque pointer to const object.
|
|
typedef struct ppl_Int8_Box_tag * | ppl_Int8_Box_t |
| | Opaque pointer.
|
typedef struct
ppl_Int8_Box_tag const * | ppl_const_Int8_Box_t |
| | Opaque pointer to const object.
|
|
typedef struct ppl_Int16_Box_tag * | ppl_Int16_Box_t |
| | Opaque pointer.
|
typedef struct
ppl_Int16_Box_tag const * | ppl_const_Int16_Box_t |
| | Opaque pointer to const object.
|
|
typedef struct ppl_Int32_Box_tag * | ppl_Int32_Box_t |
| | Opaque pointer.
|
typedef struct
ppl_Int32_Box_tag const * | ppl_const_Int32_Box_t |
| | Opaque pointer to const object.
|
|
typedef struct ppl_Int64_Box_tag * | ppl_Int64_Box_t |
| | Opaque pointer.
|
typedef struct
ppl_Int64_Box_tag const * | ppl_const_Int64_Box_t |
| | Opaque pointer to const object.
|
|
typedef struct ppl_Uint8_Box_tag * | ppl_Uint8_Box_t |
| | Opaque pointer.
|
typedef struct
ppl_Uint8_Box_tag const * | ppl_const_Uint8_Box_t |
| | Opaque pointer to const object.
|
|
typedef struct ppl_Uint16_Box_tag * | ppl_Uint16_Box_t |
| | Opaque pointer.
|
typedef struct
ppl_Uint16_Box_tag const * | ppl_const_Uint16_Box_t |
| | Opaque pointer to const object.
|
|
typedef struct ppl_Uint32_Box_tag * | ppl_Uint32_Box_t |
| | Opaque pointer.
|
typedef struct
ppl_Uint32_Box_tag const * | ppl_const_Uint32_Box_t |
| | Opaque pointer to const object.
|
|
typedef struct ppl_Uint64_Box_tag * | ppl_Uint64_Box_t |
| | Opaque pointer.
|
typedef struct
ppl_Uint64_Box_tag const * | ppl_const_Uint64_Box_t |
| | Opaque pointer to const object.
|
|
typedef struct ppl_Z_Box_tag * | ppl_Z_Box_t |
| | Opaque pointer.
|
typedef struct ppl_Z_Box_tag
const * | ppl_const_Z_Box_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Rational_Box_tag * | ppl_Rational_Box_t |
| | Opaque pointer.
|
typedef struct
ppl_Rational_Box_tag const * | ppl_const_Rational_Box_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_BD_Shape_int8_t_tag * | ppl_BD_Shape_int8_t_t |
| | Opaque pointer.
|
typedef struct
ppl_BD_Shape_int8_t_tag const * | ppl_const_BD_Shape_int8_t_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_BD_Shape_int16_t_tag * | ppl_BD_Shape_int16_t_t |
| | Opaque pointer.
|
typedef struct
ppl_BD_Shape_int16_t_tag const * | ppl_const_BD_Shape_int16_t_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_BD_Shape_int32_t_tag * | ppl_BD_Shape_int32_t_t |
| | Opaque pointer.
|
typedef struct
ppl_BD_Shape_int32_t_tag const * | ppl_const_BD_Shape_int32_t_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_BD_Shape_int64_t_tag * | ppl_BD_Shape_int64_t_t |
| | Opaque pointer.
|
typedef struct
ppl_BD_Shape_int64_t_tag const * | ppl_const_BD_Shape_int64_t_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_BD_Shape_mpz_class_tag * | ppl_BD_Shape_mpz_class_t |
| | Opaque pointer.
|
typedef struct
ppl_BD_Shape_mpz_class_tag
const * | ppl_const_BD_Shape_mpz_class_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_BD_Shape_mpq_class_tag * | ppl_BD_Shape_mpq_class_t |
| | Opaque pointer.
|
typedef struct
ppl_BD_Shape_mpq_class_tag
const * | ppl_const_BD_Shape_mpq_class_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Octagonal_Shape_int8_t_tag * | ppl_Octagonal_Shape_int8_t_t |
| | Opaque pointer.
|
typedef struct
ppl_Octagonal_Shape_int8_t_tag
const * | ppl_const_Octagonal_Shape_int8_t_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Octagonal_Shape_int16_t_tag * | ppl_Octagonal_Shape_int16_t_t |
| | Opaque pointer.
|
typedef struct
ppl_Octagonal_Shape_int16_t_tag
const * | ppl_const_Octagonal_Shape_int16_t_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Octagonal_Shape_int32_t_tag * | ppl_Octagonal_Shape_int32_t_t |
| | Opaque pointer.
|
typedef struct
ppl_Octagonal_Shape_int32_t_tag
const * | ppl_const_Octagonal_Shape_int32_t_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Octagonal_Shape_int64_t_tag * | ppl_Octagonal_Shape_int64_t_t |
| | Opaque pointer.
|
typedef struct
ppl_Octagonal_Shape_int64_t_tag
const * | ppl_const_Octagonal_Shape_int64_t_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Octagonal_Shape_mpz_class_tag * | ppl_Octagonal_Shape_mpz_class_t |
| | Opaque pointer.
|
typedef struct
ppl_Octagonal_Shape_mpz_class_tag
const * | ppl_const_Octagonal_Shape_mpz_class_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Octagonal_Shape_mpq_class_tag * | ppl_Octagonal_Shape_mpq_class_t |
| | Opaque pointer.
|
typedef struct
ppl_Octagonal_Shape_mpq_class_tag
const * | ppl_const_Octagonal_Shape_mpq_class_t |
| | Opaque pointer to const object.
|
|
typedef struct ppl_Polyhedron_tag * | ppl_Polyhedron_t |
| | Opaque pointer.
|
typedef struct
ppl_Polyhedron_tag const * | ppl_const_Polyhedron_t |
| | Opaque pointer to const object.
|
|
typedef struct ppl_Grid_tag * | ppl_Grid_t |
| | Opaque pointer.
|
|
typedef struct ppl_Grid_tag const * | ppl_const_Grid_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Pointset_Powerset_Int8_Box_tag * | ppl_Pointset_Powerset_Int8_Box_t |
| | Opaque pointer.
|
typedef struct
ppl_Pointset_Powerset_Int8_Box_tag
const * | ppl_const_Pointset_Powerset_Int8_Box_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Pointset_Powerset_Int16_Box_tag * | ppl_Pointset_Powerset_Int16_Box_t |
| | Opaque pointer.
|
typedef struct
ppl_Pointset_Powerset_Int16_Box_tag
const * | ppl_const_Pointset_Powerset_Int16_Box_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Pointset_Powerset_Int32_Box_tag * | ppl_Pointset_Powerset_Int32_Box_t |
| | Opaque pointer.
|
typedef struct
ppl_Pointset_Powerset_Int32_Box_tag
const * | ppl_const_Pointset_Powerset_Int32_Box_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Pointset_Powerset_Int64_Box_tag * | ppl_Pointset_Powerset_Int64_Box_t |
| | Opaque pointer.
|
typedef struct
ppl_Pointset_Powerset_Int64_Box_tag
const * | ppl_const_Pointset_Powerset_Int64_Box_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Pointset_Powerset_Uint8_Box_tag * | ppl_Pointset_Powerset_Uint8_Box_t |
| | Opaque pointer.
|
typedef struct
ppl_Pointset_Powerset_Uint8_Box_tag
const * | ppl_const_Pointset_Powerset_Uint8_Box_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Pointset_Powerset_Uint16_Box_tag * | ppl_Pointset_Powerset_Uint16_Box_t |
| | Opaque pointer.
|
typedef struct
ppl_Pointset_Powerset_Uint16_Box_tag
const * | ppl_const_Pointset_Powerset_Uint16_Box_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Pointset_Powerset_Uint32_Box_tag * | ppl_Pointset_Powerset_Uint32_Box_t |
| | Opaque pointer.
|
typedef struct
ppl_Pointset_Powerset_Uint32_Box_tag
const * | ppl_const_Pointset_Powerset_Uint32_Box_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Pointset_Powerset_Uint64_Box_tag * | ppl_Pointset_Powerset_Uint64_Box_t |
| | Opaque pointer.
|
typedef struct
ppl_Pointset_Powerset_Uint64_Box_tag
const * | ppl_const_Pointset_Powerset_Uint64_Box_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Pointset_Powerset_Rational_Box_tag * | ppl_Pointset_Powerset_Rational_Box_t |
| | Opaque pointer.
|
typedef struct
ppl_Pointset_Powerset_Rational_Box_tag
const * | ppl_const_Pointset_Powerset_Rational_Box_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Pointset_Powerset_Z_Box_tag * | ppl_Pointset_Powerset_Z_Box_t |
| | Opaque pointer.
|
typedef struct
ppl_Pointset_Powerset_Z_Box_tag
const * | ppl_const_Pointset_Powerset_Z_Box_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Pointset_Powerset_BD_Shape_int8_t_tag * | ppl_Pointset_Powerset_BD_Shape_int8_t_t |
| | Opaque pointer.
|
typedef struct
ppl_Pointset_Powerset_BD_Shape_int8_t_tag
const * | ppl_const_Pointset_Powerset_BD_Shape_int8_t_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Pointset_Powerset_BD_Shape_int16_t_tag * | ppl_Pointset_Powerset_BD_Shape_int16_t_t |
| | Opaque pointer.
|
typedef struct
ppl_Pointset_Powerset_BD_Shape_int16_t_tag
const * | ppl_const_Pointset_Powerset_BD_Shape_int16_t_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Pointset_Powerset_BD_Shape_int32_t_tag * | ppl_Pointset_Powerset_BD_Shape_int32_t_t |
| | Opaque pointer.
|
typedef struct
ppl_Pointset_Powerset_BD_Shape_int32_t_tag
const * | ppl_const_Pointset_Powerset_BD_Shape_int32_t_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Pointset_Powerset_BD_Shape_int64_t_tag * | ppl_Pointset_Powerset_BD_Shape_int64_t_t |
| | Opaque pointer.
|
typedef struct
ppl_Pointset_Powerset_BD_Shape_int64_t_tag
const * | ppl_const_Pointset_Powerset_BD_Shape_int64_t_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Pointset_Powerset_BD_Shape_mpq_class_tag * | ppl_Pointset_Powerset_BD_Shape_mpq_class_t |
| | Opaque pointer.
|
typedef struct
ppl_Pointset_Powerset_BD_Shape_mpq_class_tag
const * | ppl_const_Pointset_Powerset_BD_Shape_mpq_class_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Pointset_Powerset_BD_Shape_mpz_class_tag * | ppl_Pointset_Powerset_BD_Shape_mpz_class_t |
| | Opaque pointer.
|
typedef struct
ppl_Pointset_Powerset_BD_Shape_mpz_class_tag
const * | ppl_const_Pointset_Powerset_BD_Shape_mpz_class_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Pointset_Powerset_Octagonal_Shape_int8_t_tag * | ppl_Pointset_Powerset_Octagonal_Shape_int8_t_t |
| | Opaque pointer.
|
typedef struct
ppl_Pointset_Powerset_Octagonal_Shape_int8_t_tag
const * | ppl_const_Pointset_Powerset_Octagonal_Shape_int8_t_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Pointset_Powerset_Octagonal_Shape_int16_t_tag * | ppl_Pointset_Powerset_Octagonal_Shape_int16_t_t |
| | Opaque pointer.
|
typedef struct
ppl_Pointset_Powerset_Octagonal_Shape_int16_t_tag
const * | ppl_const_Pointset_Powerset_Octagonal_Shape_int16_t_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Pointset_Powerset_Octagonal_Shape_int32_t_tag * | ppl_Pointset_Powerset_Octagonal_Shape_int32_t_t |
| | Opaque pointer.
|
typedef struct
ppl_Pointset_Powerset_Octagonal_Shape_int32_t_tag
const * | ppl_const_Pointset_Powerset_Octagonal_Shape_int32_t_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Pointset_Powerset_Octagonal_Shape_int64_t_tag * | ppl_Pointset_Powerset_Octagonal_Shape_int64_t_t |
| | Opaque pointer.
|
typedef struct
ppl_Pointset_Powerset_Octagonal_Shape_int64_t_tag
const * | ppl_const_Pointset_Powerset_Octagonal_Shape_int64_t_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Pointset_Powerset_Octagonal_Shape_mpq_class_tag * | ppl_Pointset_Powerset_Octagonal_Shape_mpq_class_t |
| | Opaque pointer.
|
typedef struct
ppl_Pointset_Powerset_Octagonal_Shape_mpq_class_tag
const * | ppl_const_Pointset_Powerset_Octagonal_Shape_mpq_class_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Pointset_Powerset_Octagonal_Shape_mpz_class_tag * | ppl_Pointset_Powerset_Octagonal_Shape_mpz_class_t |
| | Opaque pointer.
|
typedef struct
ppl_Pointset_Powerset_Octagonal_Shape_mpz_class_tag
const * | ppl_const_Pointset_Powerset_Octagonal_Shape_mpz_class_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Pointset_Powerset_C_Polyhedron_tag * | ppl_Pointset_Powerset_C_Polyhedron_t |
| | Opaque pointer.
|
typedef struct
ppl_Pointset_Powerset_C_Polyhedron_tag
const * | ppl_const_Pointset_Powerset_C_Polyhedron_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Pointset_Powerset_NNC_Polyhedron_tag * | ppl_Pointset_Powerset_NNC_Polyhedron_t |
| | Opaque pointer.
|
typedef struct
ppl_Pointset_Powerset_NNC_Polyhedron_tag
const * | ppl_const_Pointset_Powerset_NNC_Polyhedron_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Pointset_Powerset_Grid_tag * | ppl_Pointset_Powerset_Grid_t |
| | Opaque pointer.
|
typedef struct
ppl_Pointset_Powerset_Grid_tag
const * | ppl_const_Pointset_Powerset_Grid_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Constraints_Product_C_Polyhedron_Grid_tag * | ppl_Constraints_Product_C_Polyhedron_Grid_t |
| | Opaque pointer.
|
typedef struct
ppl_Constraints_Product_C_Polyhedron_Grid_tag
const * | ppl_const_Constraints_Product_C_Polyhedron_Grid_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Constraints_Product_NNC_Polyhedron_Grid_tag * | ppl_Constraints_Product_NNC_Polyhedron_Grid_t |
| | Opaque pointer.
|
typedef struct
ppl_Constraints_Product_NNC_Polyhedron_Grid_tag
const * | ppl_const_Constraints_Product_NNC_Polyhedron_Grid_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Constraints_Product_Grid_C_Polyhedron_tag * | ppl_Constraints_Product_Grid_C_Polyhedron_t |
| | Opaque pointer.
|
typedef struct
ppl_Constraints_Product_Grid_C_Polyhedron_tag
const * | ppl_const_Constraints_Product_Grid_C_Polyhedron_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Constraints_Product_Grid_NNC_Polyhedron_tag * | ppl_Constraints_Product_Grid_NNC_Polyhedron_t |
| | Opaque pointer.
|
typedef struct
ppl_Constraints_Product_Grid_NNC_Polyhedron_tag
const * | ppl_const_Constraints_Product_Grid_NNC_Polyhedron_t |
| | Opaque pointer to const object.
|
|
typedef struct ppl_Float_Box_tag * | ppl_Float_Box_t |
| | Opaque pointer.
|
typedef struct
ppl_Float_Box_tag const * | ppl_const_Float_Box_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_BD_Shape_float_tag * | ppl_BD_Shape_float_t |
| | Opaque pointer.
|
typedef struct
ppl_BD_Shape_float_tag const * | ppl_const_BD_Shape_float_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Octagonal_Shape_float_tag * | ppl_Octagonal_Shape_float_t |
| | Opaque pointer.
|
typedef struct
ppl_Octagonal_Shape_float_tag
const * | ppl_const_Octagonal_Shape_float_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Pointset_Powerset_Float_Box_tag * | ppl_Pointset_Powerset_Float_Box_t |
| | Opaque pointer.
|
typedef struct
ppl_Pointset_Powerset_Float_Box_tag
const * | ppl_const_Pointset_Powerset_Float_Box_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Pointset_Powerset_BD_Shape_float_tag * | ppl_Pointset_Powerset_BD_Shape_float_t |
| | Opaque pointer.
|
typedef struct
ppl_Pointset_Powerset_BD_Shape_float_tag
const * | ppl_const_Pointset_Powerset_BD_Shape_float_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Pointset_Powerset_Octagonal_Shape_float_tag * | ppl_Pointset_Powerset_Octagonal_Shape_float_t |
| | Opaque pointer.
|
typedef struct
ppl_Pointset_Powerset_Octagonal_Shape_float_tag
const * | ppl_const_Pointset_Powerset_Octagonal_Shape_float_t |
| | Opaque pointer to const object.
|
|
typedef struct ppl_Double_Box_tag * | ppl_Double_Box_t |
| | Opaque pointer.
|
typedef struct
ppl_Double_Box_tag const * | ppl_const_Double_Box_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_BD_Shape_double_tag * | ppl_BD_Shape_double_t |
| | Opaque pointer.
|
typedef struct
ppl_BD_Shape_double_tag const * | ppl_const_BD_Shape_double_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Octagonal_Shape_double_tag * | ppl_Octagonal_Shape_double_t |
| | Opaque pointer.
|
typedef struct
ppl_Octagonal_Shape_double_tag
const * | ppl_const_Octagonal_Shape_double_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Pointset_Powerset_Double_Box_tag * | ppl_Pointset_Powerset_Double_Box_t |
| | Opaque pointer.
|
typedef struct
ppl_Pointset_Powerset_Double_Box_tag
const * | ppl_const_Pointset_Powerset_Double_Box_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Pointset_Powerset_BD_Shape_double_tag * | ppl_Pointset_Powerset_BD_Shape_double_t |
| | Opaque pointer.
|
typedef struct
ppl_Pointset_Powerset_BD_Shape_double_tag
const * | ppl_const_Pointset_Powerset_BD_Shape_double_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Pointset_Powerset_Octagonal_Shape_double_tag * | ppl_Pointset_Powerset_Octagonal_Shape_double_t |
| | Opaque pointer.
|
typedef struct
ppl_Pointset_Powerset_Octagonal_Shape_double_tag
const * | ppl_const_Pointset_Powerset_Octagonal_Shape_double_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Long_Double_Box_tag * | ppl_Long_Double_Box_t |
| | Opaque pointer.
|
typedef struct
ppl_Long_Double_Box_tag const * | ppl_const_Long_Double_Box_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_BD_Shape_long_double_tag * | ppl_BD_Shape_long_double_t |
| | Opaque pointer.
|
typedef struct
ppl_BD_Shape_long_double_tag
const * | ppl_const_BD_Shape_long_double_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Octagonal_Shape_long_double_tag * | ppl_Octagonal_Shape_long_double_t |
| | Opaque pointer.
|
typedef struct
ppl_Octagonal_Shape_long_double_tag
const * | ppl_const_Octagonal_Shape_long_double_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Pointset_Powerset_Long_Double_Box_tag * | ppl_Pointset_Powerset_Long_Double_Box_t |
| | Opaque pointer.
|
typedef struct
ppl_Pointset_Powerset_Long_Double_Box_tag
const * | ppl_const_Pointset_Powerset_Long_Double_Box_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Pointset_Powerset_BD_Shape_long_double_tag * | ppl_Pointset_Powerset_BD_Shape_long_double_t |
| | Opaque pointer.
|
typedef struct
ppl_Pointset_Powerset_BD_Shape_long_double_tag
const * | ppl_const_Pointset_Powerset_BD_Shape_long_double_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Pointset_Powerset_Octagonal_Shape_long_double_tag * | ppl_Pointset_Powerset_Octagonal_Shape_long_double_t |
| | Opaque pointer.
|
typedef struct
ppl_Pointset_Powerset_Octagonal_Shape_long_double_tag
const * | ppl_const_Pointset_Powerset_Octagonal_Shape_long_double_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Pointset_Powerset_Int8_Box_iterator_tag * | ppl_Pointset_Powerset_Int8_Box_iterator_t |
| | Opaque pointer.
|
typedef struct
ppl_Pointset_Powerset_Int8_Box_iterator_tag
const * | ppl_const_Pointset_Powerset_Int8_Box_iterator_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Pointset_Powerset_Int8_Box_const_iterator_tag * | ppl_Pointset_Powerset_Int8_Box_const_iterator_t |
| | Opaque pointer.
|
typedef struct
ppl_Pointset_Powerset_Int8_Box_const_iterator_tag
const * | ppl_const_Pointset_Powerset_Int8_Box_const_iterator_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Pointset_Powerset_Int16_Box_iterator_tag * | ppl_Pointset_Powerset_Int16_Box_iterator_t |
| | Opaque pointer.
|
typedef struct
ppl_Pointset_Powerset_Int16_Box_iterator_tag
const * | ppl_const_Pointset_Powerset_Int16_Box_iterator_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Pointset_Powerset_Int16_Box_const_iterator_tag * | ppl_Pointset_Powerset_Int16_Box_const_iterator_t |
| | Opaque pointer.
|
typedef struct
ppl_Pointset_Powerset_Int16_Box_const_iterator_tag
const * | ppl_const_Pointset_Powerset_Int16_Box_const_iterator_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Pointset_Powerset_Int32_Box_iterator_tag * | ppl_Pointset_Powerset_Int32_Box_iterator_t |
| | Opaque pointer.
|
typedef struct
ppl_Pointset_Powerset_Int32_Box_iterator_tag
const * | ppl_const_Pointset_Powerset_Int32_Box_iterator_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Pointset_Powerset_Int32_Box_const_iterator_tag * | ppl_Pointset_Powerset_Int32_Box_const_iterator_t |
| | Opaque pointer.
|
typedef struct
ppl_Pointset_Powerset_Int32_Box_const_iterator_tag
const * | ppl_const_Pointset_Powerset_Int32_Box_const_iterator_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Pointset_Powerset_Int64_Box_iterator_tag * | ppl_Pointset_Powerset_Int64_Box_iterator_t |
| | Opaque pointer.
|
typedef struct
ppl_Pointset_Powerset_Int64_Box_iterator_tag
const * | ppl_const_Pointset_Powerset_Int64_Box_iterator_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Pointset_Powerset_Int64_Box_const_iterator_tag * | ppl_Pointset_Powerset_Int64_Box_const_iterator_t |
| | Opaque pointer.
|
typedef struct
ppl_Pointset_Powerset_Int64_Box_const_iterator_tag
const * | ppl_const_Pointset_Powerset_Int64_Box_const_iterator_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Pointset_Powerset_Uint8_Box_iterator_tag * | ppl_Pointset_Powerset_Uint8_Box_iterator_t |
| | Opaque pointer.
|
typedef struct
ppl_Pointset_Powerset_Uint8_Box_iterator_tag
const * | ppl_const_Pointset_Powerset_Uint8_Box_iterator_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Pointset_Powerset_Uint8_Box_const_iterator_tag * | ppl_Pointset_Powerset_Uint8_Box_const_iterator_t |
| | Opaque pointer.
|
typedef struct
ppl_Pointset_Powerset_Uint8_Box_const_iterator_tag
const * | ppl_const_Pointset_Powerset_Uint8_Box_const_iterator_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Pointset_Powerset_Uint16_Box_iterator_tag * | ppl_Pointset_Powerset_Uint16_Box_iterator_t |
| | Opaque pointer.
|
typedef struct
ppl_Pointset_Powerset_Uint16_Box_iterator_tag
const * | ppl_const_Pointset_Powerset_Uint16_Box_iterator_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Pointset_Powerset_Uint16_Box_const_iterator_tag * | ppl_Pointset_Powerset_Uint16_Box_const_iterator_t |
| | Opaque pointer.
|
typedef struct
ppl_Pointset_Powerset_Uint16_Box_const_iterator_tag
const * | ppl_const_Pointset_Powerset_Uint16_Box_const_iterator_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Pointset_Powerset_Uint32_Box_iterator_tag * | ppl_Pointset_Powerset_Uint32_Box_iterator_t |
| | Opaque pointer.
|
typedef struct
ppl_Pointset_Powerset_Uint32_Box_iterator_tag
const * | ppl_const_Pointset_Powerset_Uint32_Box_iterator_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Pointset_Powerset_Uint32_Box_const_iterator_tag * | ppl_Pointset_Powerset_Uint32_Box_const_iterator_t |
| | Opaque pointer.
|
typedef struct
ppl_Pointset_Powerset_Uint32_Box_const_iterator_tag
const * | ppl_const_Pointset_Powerset_Uint32_Box_const_iterator_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Pointset_Powerset_Uint64_Box_iterator_tag * | ppl_Pointset_Powerset_Uint64_Box_iterator_t |
| | Opaque pointer.
|
typedef struct
ppl_Pointset_Powerset_Uint64_Box_iterator_tag
const * | ppl_const_Pointset_Powerset_Uint64_Box_iterator_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Pointset_Powerset_Uint64_Box_const_iterator_tag * | ppl_Pointset_Powerset_Uint64_Box_const_iterator_t |
| | Opaque pointer.
|
typedef struct
ppl_Pointset_Powerset_Uint64_Box_const_iterator_tag
const * | ppl_const_Pointset_Powerset_Uint64_Box_const_iterator_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Pointset_Powerset_Rational_Box_iterator_tag * | ppl_Pointset_Powerset_Rational_Box_iterator_t |
| | Opaque pointer.
|
typedef struct
ppl_Pointset_Powerset_Rational_Box_iterator_tag
const * | ppl_const_Pointset_Powerset_Rational_Box_iterator_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Pointset_Powerset_Rational_Box_const_iterator_tag * | ppl_Pointset_Powerset_Rational_Box_const_iterator_t |
| | Opaque pointer.
|
typedef struct
ppl_Pointset_Powerset_Rational_Box_const_iterator_tag
const * | ppl_const_Pointset_Powerset_Rational_Box_const_iterator_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Pointset_Powerset_Z_Box_iterator_tag * | ppl_Pointset_Powerset_Z_Box_iterator_t |
| | Opaque pointer.
|
typedef struct
ppl_Pointset_Powerset_Z_Box_iterator_tag
const * | ppl_const_Pointset_Powerset_Z_Box_iterator_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Pointset_Powerset_Z_Box_const_iterator_tag * | ppl_Pointset_Powerset_Z_Box_const_iterator_t |
| | Opaque pointer.
|
typedef struct
ppl_Pointset_Powerset_Z_Box_const_iterator_tag
const * | ppl_const_Pointset_Powerset_Z_Box_const_iterator_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Pointset_Powerset_BD_Shape_int8_t_iterator_tag * | ppl_Pointset_Powerset_BD_Shape_int8_t_iterator_t |
| | Opaque pointer.
|
typedef struct
ppl_Pointset_Powerset_BD_Shape_int8_t_iterator_tag
const * | ppl_const_Pointset_Powerset_BD_Shape_int8_t_iterator_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Pointset_Powerset_BD_Shape_int8_t_const_iterator_tag * | ppl_Pointset_Powerset_BD_Shape_int8_t_const_iterator_t |
| | Opaque pointer.
|
typedef struct
ppl_Pointset_Powerset_BD_Shape_int8_t_const_iterator_tag
const * | ppl_const_Pointset_Powerset_BD_Shape_int8_t_const_iterator_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Pointset_Powerset_BD_Shape_int16_t_iterator_tag * | ppl_Pointset_Powerset_BD_Shape_int16_t_iterator_t |
| | Opaque pointer.
|
typedef struct
ppl_Pointset_Powerset_BD_Shape_int16_t_iterator_tag
const * | ppl_const_Pointset_Powerset_BD_Shape_int16_t_iterator_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Pointset_Powerset_BD_Shape_int16_t_const_iterator_tag * | ppl_Pointset_Powerset_BD_Shape_int16_t_const_iterator_t |
| | Opaque pointer.
|
typedef struct
ppl_Pointset_Powerset_BD_Shape_int16_t_const_iterator_tag
const * | ppl_const_Pointset_Powerset_BD_Shape_int16_t_const_iterator_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Pointset_Powerset_BD_Shape_int32_t_iterator_tag * | ppl_Pointset_Powerset_BD_Shape_int32_t_iterator_t |
| | Opaque pointer.
|
typedef struct
ppl_Pointset_Powerset_BD_Shape_int32_t_iterator_tag
const * | ppl_const_Pointset_Powerset_BD_Shape_int32_t_iterator_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Pointset_Powerset_BD_Shape_int32_t_const_iterator_tag * | ppl_Pointset_Powerset_BD_Shape_int32_t_const_iterator_t |
| | Opaque pointer.
|
typedef struct
ppl_Pointset_Powerset_BD_Shape_int32_t_const_iterator_tag
const * | ppl_const_Pointset_Powerset_BD_Shape_int32_t_const_iterator_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Pointset_Powerset_BD_Shape_int64_t_iterator_tag * | ppl_Pointset_Powerset_BD_Shape_int64_t_iterator_t |
| | Opaque pointer.
|
typedef struct
ppl_Pointset_Powerset_BD_Shape_int64_t_iterator_tag
const * | ppl_const_Pointset_Powerset_BD_Shape_int64_t_iterator_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Pointset_Powerset_BD_Shape_int64_t_const_iterator_tag * | ppl_Pointset_Powerset_BD_Shape_int64_t_const_iterator_t |
| | Opaque pointer.
|
typedef struct
ppl_Pointset_Powerset_BD_Shape_int64_t_const_iterator_tag
const * | ppl_const_Pointset_Powerset_BD_Shape_int64_t_const_iterator_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Pointset_Powerset_BD_Shape_mpq_class_iterator_tag * | ppl_Pointset_Powerset_BD_Shape_mpq_class_iterator_t |
| | Opaque pointer.
|
typedef struct
ppl_Pointset_Powerset_BD_Shape_mpq_class_iterator_tag
const * | ppl_const_Pointset_Powerset_BD_Shape_mpq_class_iterator_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Pointset_Powerset_BD_Shape_mpq_class_const_iterator_tag * | ppl_Pointset_Powerset_BD_Shape_mpq_class_const_iterator_t |
| | Opaque pointer.
|
typedef struct
ppl_Pointset_Powerset_BD_Shape_mpq_class_const_iterator_tag
const * | ppl_const_Pointset_Powerset_BD_Shape_mpq_class_const_iterator_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Pointset_Powerset_BD_Shape_mpz_class_iterator_tag * | ppl_Pointset_Powerset_BD_Shape_mpz_class_iterator_t |
| | Opaque pointer.
|
typedef struct
ppl_Pointset_Powerset_BD_Shape_mpz_class_iterator_tag
const * | ppl_const_Pointset_Powerset_BD_Shape_mpz_class_iterator_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Pointset_Powerset_BD_Shape_mpz_class_const_iterator_tag * | ppl_Pointset_Powerset_BD_Shape_mpz_class_const_iterator_t |
| | Opaque pointer.
|
typedef struct
ppl_Pointset_Powerset_BD_Shape_mpz_class_const_iterator_tag
const * | ppl_const_Pointset_Powerset_BD_Shape_mpz_class_const_iterator_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Pointset_Powerset_Octagonal_Shape_int8_t_iterator_tag * | ppl_Pointset_Powerset_Octagonal_Shape_int8_t_iterator_t |
| | Opaque pointer.
|
typedef struct
ppl_Pointset_Powerset_Octagonal_Shape_int8_t_iterator_tag
const * | ppl_const_Pointset_Powerset_Octagonal_Shape_int8_t_iterator_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Pointset_Powerset_Octagonal_Shape_int8_t_const_iterator_tag * | ppl_Pointset_Powerset_Octagonal_Shape_int8_t_const_iterator_t |
| | Opaque pointer.
|
typedef struct
ppl_Pointset_Powerset_Octagonal_Shape_int8_t_const_iterator_tag
const * | ppl_const_Pointset_Powerset_Octagonal_Shape_int8_t_const_iterator_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Pointset_Powerset_Octagonal_Shape_int16_t_iterator_tag * | ppl_Pointset_Powerset_Octagonal_Shape_int16_t_iterator_t |
| | Opaque pointer.
|
typedef struct
ppl_Pointset_Powerset_Octagonal_Shape_int16_t_iterator_tag
const * | ppl_const_Pointset_Powerset_Octagonal_Shape_int16_t_iterator_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Pointset_Powerset_Octagonal_Shape_int16_t_const_iterator_tag * | ppl_Pointset_Powerset_Octagonal_Shape_int16_t_const_iterator_t |
| | Opaque pointer.
|
typedef struct
ppl_Pointset_Powerset_Octagonal_Shape_int16_t_const_iterator_tag
const * | ppl_const_Pointset_Powerset_Octagonal_Shape_int16_t_const_iterator_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Pointset_Powerset_Octagonal_Shape_int32_t_iterator_tag * | ppl_Pointset_Powerset_Octagonal_Shape_int32_t_iterator_t |
| | Opaque pointer.
|
typedef struct
ppl_Pointset_Powerset_Octagonal_Shape_int32_t_iterator_tag
const * | ppl_const_Pointset_Powerset_Octagonal_Shape_int32_t_iterator_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Pointset_Powerset_Octagonal_Shape_int32_t_const_iterator_tag * | ppl_Pointset_Powerset_Octagonal_Shape_int32_t_const_iterator_t |
| | Opaque pointer.
|
typedef struct
ppl_Pointset_Powerset_Octagonal_Shape_int32_t_const_iterator_tag
const * | ppl_const_Pointset_Powerset_Octagonal_Shape_int32_t_const_iterator_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Pointset_Powerset_Octagonal_Shape_int64_t_iterator_tag * | ppl_Pointset_Powerset_Octagonal_Shape_int64_t_iterator_t |
| | Opaque pointer.
|
typedef struct
ppl_Pointset_Powerset_Octagonal_Shape_int64_t_iterator_tag
const * | ppl_const_Pointset_Powerset_Octagonal_Shape_int64_t_iterator_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Pointset_Powerset_Octagonal_Shape_int64_t_const_iterator_tag * | ppl_Pointset_Powerset_Octagonal_Shape_int64_t_const_iterator_t |
| | Opaque pointer.
|
typedef struct
ppl_Pointset_Powerset_Octagonal_Shape_int64_t_const_iterator_tag
const * | ppl_const_Pointset_Powerset_Octagonal_Shape_int64_t_const_iterator_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Pointset_Powerset_Octagonal_Shape_mpq_class_iterator_tag * | ppl_Pointset_Powerset_Octagonal_Shape_mpq_class_iterator_t |
| | Opaque pointer.
|
typedef struct
ppl_Pointset_Powerset_Octagonal_Shape_mpq_class_iterator_tag
const * | ppl_const_Pointset_Powerset_Octagonal_Shape_mpq_class_iterator_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Pointset_Powerset_Octagonal_Shape_mpq_class_const_iterator_tag * | ppl_Pointset_Powerset_Octagonal_Shape_mpq_class_const_iterator_t |
| | Opaque pointer.
|
typedef struct
ppl_Pointset_Powerset_Octagonal_Shape_mpq_class_const_iterator_tag
const * | ppl_const_Pointset_Powerset_Octagonal_Shape_mpq_class_const_iterator_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Pointset_Powerset_Octagonal_Shape_mpz_class_iterator_tag * | ppl_Pointset_Powerset_Octagonal_Shape_mpz_class_iterator_t |
| | Opaque pointer.
|
typedef struct
ppl_Pointset_Powerset_Octagonal_Shape_mpz_class_iterator_tag
const * | ppl_const_Pointset_Powerset_Octagonal_Shape_mpz_class_iterator_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Pointset_Powerset_Octagonal_Shape_mpz_class_const_iterator_tag * | ppl_Pointset_Powerset_Octagonal_Shape_mpz_class_const_iterator_t |
| | Opaque pointer.
|
typedef struct
ppl_Pointset_Powerset_Octagonal_Shape_mpz_class_const_iterator_tag
const * | ppl_const_Pointset_Powerset_Octagonal_Shape_mpz_class_const_iterator_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Pointset_Powerset_C_Polyhedron_iterator_tag * | ppl_Pointset_Powerset_C_Polyhedron_iterator_t |
| | Opaque pointer.
|
typedef struct
ppl_Pointset_Powerset_C_Polyhedron_iterator_tag
const * | ppl_const_Pointset_Powerset_C_Polyhedron_iterator_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Pointset_Powerset_C_Polyhedron_const_iterator_tag * | ppl_Pointset_Powerset_C_Polyhedron_const_iterator_t |
| | Opaque pointer.
|
typedef struct
ppl_Pointset_Powerset_C_Polyhedron_const_iterator_tag
const * | ppl_const_Pointset_Powerset_C_Polyhedron_const_iterator_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Pointset_Powerset_NNC_Polyhedron_iterator_tag * | ppl_Pointset_Powerset_NNC_Polyhedron_iterator_t |
| | Opaque pointer.
|
typedef struct
ppl_Pointset_Powerset_NNC_Polyhedron_iterator_tag
const * | ppl_const_Pointset_Powerset_NNC_Polyhedron_iterator_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Pointset_Powerset_NNC_Polyhedron_const_iterator_tag * | ppl_Pointset_Powerset_NNC_Polyhedron_const_iterator_t |
| | Opaque pointer.
|
typedef struct
ppl_Pointset_Powerset_NNC_Polyhedron_const_iterator_tag
const * | ppl_const_Pointset_Powerset_NNC_Polyhedron_const_iterator_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Pointset_Powerset_Grid_iterator_tag * | ppl_Pointset_Powerset_Grid_iterator_t |
| | Opaque pointer.
|
typedef struct
ppl_Pointset_Powerset_Grid_iterator_tag
const * | ppl_const_Pointset_Powerset_Grid_iterator_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Pointset_Powerset_Grid_const_iterator_tag * | ppl_Pointset_Powerset_Grid_const_iterator_t |
| | Opaque pointer.
|
typedef struct
ppl_Pointset_Powerset_Grid_const_iterator_tag
const * | ppl_const_Pointset_Powerset_Grid_const_iterator_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Pointset_Powerset_Float_Box_iterator_tag * | ppl_Pointset_Powerset_Float_Box_iterator_t |
| | Opaque pointer.
|
typedef struct
ppl_Pointset_Powerset_Float_Box_iterator_tag
const * | ppl_const_Pointset_Powerset_Float_Box_iterator_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Pointset_Powerset_Float_Box_const_iterator_tag * | ppl_Pointset_Powerset_Float_Box_const_iterator_t |
| | Opaque pointer.
|
typedef struct
ppl_Pointset_Powerset_Float_Box_const_iterator_tag
const * | ppl_const_Pointset_Powerset_Float_Box_const_iterator_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Pointset_Powerset_BD_Shape_float_iterator_tag * | ppl_Pointset_Powerset_BD_Shape_float_iterator_t |
| | Opaque pointer.
|
typedef struct
ppl_Pointset_Powerset_BD_Shape_float_iterator_tag
const * | ppl_const_Pointset_Powerset_BD_Shape_float_iterator_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Pointset_Powerset_BD_Shape_float_const_iterator_tag * | ppl_Pointset_Powerset_BD_Shape_float_const_iterator_t |
| | Opaque pointer.
|
typedef struct
ppl_Pointset_Powerset_BD_Shape_float_const_iterator_tag
const * | ppl_const_Pointset_Powerset_BD_Shape_float_const_iterator_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Pointset_Powerset_Octagonal_Shape_float_iterator_tag * | ppl_Pointset_Powerset_Octagonal_Shape_float_iterator_t |
| | Opaque pointer.
|
typedef struct
ppl_Pointset_Powerset_Octagonal_Shape_float_iterator_tag
const * | ppl_const_Pointset_Powerset_Octagonal_Shape_float_iterator_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Pointset_Powerset_Octagonal_Shape_float_const_iterator_tag * | ppl_Pointset_Powerset_Octagonal_Shape_float_const_iterator_t |
| | Opaque pointer.
|
typedef struct
ppl_Pointset_Powerset_Octagonal_Shape_float_const_iterator_tag
const * | ppl_const_Pointset_Powerset_Octagonal_Shape_float_const_iterator_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Pointset_Powerset_Double_Box_iterator_tag * | ppl_Pointset_Powerset_Double_Box_iterator_t |
| | Opaque pointer.
|
typedef struct
ppl_Pointset_Powerset_Double_Box_iterator_tag
const * | ppl_const_Pointset_Powerset_Double_Box_iterator_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Pointset_Powerset_Double_Box_const_iterator_tag * | ppl_Pointset_Powerset_Double_Box_const_iterator_t |
| | Opaque pointer.
|
typedef struct
ppl_Pointset_Powerset_Double_Box_const_iterator_tag
const * | ppl_const_Pointset_Powerset_Double_Box_const_iterator_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Pointset_Powerset_BD_Shape_double_iterator_tag * | ppl_Pointset_Powerset_BD_Shape_double_iterator_t |
| | Opaque pointer.
|
typedef struct
ppl_Pointset_Powerset_BD_Shape_double_iterator_tag
const * | ppl_const_Pointset_Powerset_BD_Shape_double_iterator_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Pointset_Powerset_BD_Shape_double_const_iterator_tag * | ppl_Pointset_Powerset_BD_Shape_double_const_iterator_t |
| | Opaque pointer.
|
typedef struct
ppl_Pointset_Powerset_BD_Shape_double_const_iterator_tag
const * | ppl_const_Pointset_Powerset_BD_Shape_double_const_iterator_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Pointset_Powerset_Octagonal_Shape_double_iterator_tag * | ppl_Pointset_Powerset_Octagonal_Shape_double_iterator_t |
| | Opaque pointer.
|
typedef struct
ppl_Pointset_Powerset_Octagonal_Shape_double_iterator_tag
const * | ppl_const_Pointset_Powerset_Octagonal_Shape_double_iterator_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Pointset_Powerset_Octagonal_Shape_double_const_iterator_tag * | ppl_Pointset_Powerset_Octagonal_Shape_double_const_iterator_t |
| | Opaque pointer.
|
typedef struct
ppl_Pointset_Powerset_Octagonal_Shape_double_const_iterator_tag
const * | ppl_const_Pointset_Powerset_Octagonal_Shape_double_const_iterator_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Pointset_Powerset_Long_Double_Box_iterator_tag * | ppl_Pointset_Powerset_Long_Double_Box_iterator_t |
| | Opaque pointer.
|
typedef struct
ppl_Pointset_Powerset_Long_Double_Box_iterator_tag
const * | ppl_const_Pointset_Powerset_Long_Double_Box_iterator_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Pointset_Powerset_Long_Double_Box_const_iterator_tag * | ppl_Pointset_Powerset_Long_Double_Box_const_iterator_t |
| | Opaque pointer.
|
typedef struct
ppl_Pointset_Powerset_Long_Double_Box_const_iterator_tag
const * | ppl_const_Pointset_Powerset_Long_Double_Box_const_iterator_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Pointset_Powerset_BD_Shape_long_double_iterator_tag * | ppl_Pointset_Powerset_BD_Shape_long_double_iterator_t |
| | Opaque pointer.
|
typedef struct
ppl_Pointset_Powerset_BD_Shape_long_double_iterator_tag
const * | ppl_const_Pointset_Powerset_BD_Shape_long_double_iterator_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Pointset_Powerset_BD_Shape_long_double_const_iterator_tag * | ppl_Pointset_Powerset_BD_Shape_long_double_const_iterator_t |
| | Opaque pointer.
|
typedef struct
ppl_Pointset_Powerset_BD_Shape_long_double_const_iterator_tag
const * | ppl_const_Pointset_Powerset_BD_Shape_long_double_const_iterator_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Pointset_Powerset_Octagonal_Shape_long_double_iterator_tag * | ppl_Pointset_Powerset_Octagonal_Shape_long_double_iterator_t |
| | Opaque pointer.
|
typedef struct
ppl_Pointset_Powerset_Octagonal_Shape_long_double_iterator_tag
const * | ppl_const_Pointset_Powerset_Octagonal_Shape_long_double_iterator_t |
| | Opaque pointer to const object.
|
typedef struct
ppl_Pointset_Powerset_Octagonal_Shape_long_double_const_iterator_tag * | ppl_Pointset_Powerset_Octagonal_Shape_long_double_const_iterator_t |
| | Opaque pointer.
|
typedef struct
ppl_Pointset_Powerset_Octagonal_Shape_long_double_const_iterator_tag
const * | ppl_const_Pointset_Powerset_Octagonal_Shape_long_double_const_iterator_t |
| | Opaque pointer to const object.
|
Enumerations |
| enum | ppl_enum_Constraint_Type {
PPL_CONSTRAINT_TYPE_LESS_THAN,
PPL_CONSTRAINT_TYPE_LESS_OR_EQUAL,
PPL_CONSTRAINT_TYPE_EQUAL,
PPL_CONSTRAINT_TYPE_GREATER_OR_EQUAL,
PPL_CONSTRAINT_TYPE_GREATER_THAN
} |
| | Describes the relations represented by a constraint.
More...
|
| enum | ppl_enum_Generator_Type { PPL_GENERATOR_TYPE_LINE,
PPL_GENERATOR_TYPE_RAY,
PPL_GENERATOR_TYPE_POINT,
PPL_GENERATOR_TYPE_CLOSURE_POINT
} |
| | Describes the different kinds of generators.
More...
|
| enum | ppl_enum_Grid_Generator_Type { PPL_GRID_GENERATOR_TYPE_LINE,
PPL_GRID_GENERATOR_TYPE_PARAMETER,
PPL_GRID_GENERATOR_TYPE_POINT
} |
| | Describes the different kinds of grid generators.
More...
|
| enum | ppl_enum_Bounded_Integer_Type_Width {
PPL_BITS_8,
PPL_BITS_16,
PPL_BITS_32,
PPL_BITS_64,
PPL_BITS_128
} |
| | Widths of bounded integer types.
More...
|
| enum | ppl_enum_Bounded_Integer_Type_Representation { PPL_UNSIGNED,
PPL_SIGNED_2_COMPLEMENT
} |
| | Representation of bounded integer types.
More...
|
| enum | ppl_enum_Bounded_Integer_Type_Overflow { PPL_OVERFLOW_WRAPS,
PPL_OVERFLOW_UNDEFINED,
PPL_OVERFLOW_IMPOSSIBLE
} |
| | Overflow behavior of bounded integer types.
More...
|
Functions |
|
int | ppl_max_space_dimension (ppl_dimension_type *m) |
| | Writes to m the maximum space dimension this library can handle.
|
|
int | ppl_not_a_dimension (ppl_dimension_type *m) |
| | Writes to m a value that does not designate a valid dimension.
|
|
int | ppl_io_print_variable (ppl_dimension_type var) |
| | Pretty-prints var to stdout.
|
|
int | ppl_io_fprint_variable (FILE *stream, ppl_dimension_type var) |
| | Pretty-prints var to the given output stream.
|
|
int | ppl_io_asprint_variable (char **strp, ppl_dimension_type var) |
| | Pretty-prints var to a malloc-allocated string, a pointer to which is returned via strp.
|
|
int | ppl_io_set_variable_output_function (ppl_io_variable_output_function_type *p) |
| | Sets the output function to be used for printing variables to p.
|
|
int | ppl_io_get_variable_output_function (ppl_io_variable_output_function_type **pp) |
| | Writes a pointer to the current variable output function to pp.
|
| char * | ppl_io_wrap_string (const char *src, unsigned indent_depth, unsigned preferred_first_line_length, unsigned preferred_line_length) |
| | Utility function for the wrapping of lines of text.
|
Variables |
|
unsigned int | PPL_COMPLEXITY_CLASS_POLYNOMIAL |
| | Code of the worst-case polynomial complexity class.
|
|
unsigned int | PPL_COMPLEXITY_CLASS_SIMPLEX |
| | Code of the worst-case exponential but typically polynomial complexity class.
|
|
unsigned int | PPL_COMPLEXITY_CLASS_ANY |
| | Code of the universal complexity class.
|
|
unsigned int | PPL_POLY_CON_RELATION_IS_DISJOINT |
| | Individual bit saying that the polyhedron and the set of points satisfying the constraint are disjoint.
|
|
unsigned int | PPL_POLY_CON_RELATION_STRICTLY_INTERSECTS |
| | Individual bit saying that the polyhedron intersects the set of points satisfying the constraint, but it is not included in it.
|
|
unsigned int | PPL_POLY_CON_RELATION_IS_INCLUDED |
| | Individual bit saying that the polyhedron is included in the set of points satisfying the constraint.
|
|
unsigned int | PPL_POLY_CON_RELATION_SATURATES |
| | Individual bit saying that the polyhedron is included in the set of points saturating the constraint.
|
|
unsigned int | PPL_POLY_GEN_RELATION_SUBSUMES |
| | Individual bit saying that adding the generator would not change the polyhedron.
|
Typedefs for the library datatypes and related symbolic constants.
The datatypes provided by the library should be manipulated by means of the corresponding opaque pointer types and the functions working on them.