List of all items
Structs
- __mpz_struct
- ppl_Coefficient_tag
- ppl_Constraint_System_const_iterator_tag
- ppl_Constraint_System_tag
- ppl_Constraint_tag
- ppl_Generator_System_tag
- ppl_Generator_tag
- ppl_Linear_Expression_tag
- ppl_Polyhedron_tag
Functions
- ppl_Coefficient_is_bounded
- ppl_Coefficient_to_mpz_t
- ppl_Constraint_System_begin
- ppl_Constraint_System_const_iterator_dereference
- ppl_Constraint_System_const_iterator_equal_test
- ppl_Constraint_System_const_iterator_increment
- ppl_Constraint_System_end
- ppl_Constraint_coefficient
- ppl_Constraint_inhomogeneous_term
- ppl_Constraint_type
- ppl_Generator_System_insert_Generator
- ppl_Generator_coefficient
- ppl_Generator_divisor
- ppl_Generator_type
- ppl_Linear_Expression_add_to_coefficient
- ppl_Linear_Expression_add_to_inhomogeneous
- ppl_Polyhedron_get_minimized_constraints
- ppl_assign_Coefficient_from_mpz_t
- ppl_delete_Coefficient
- ppl_delete_Constraint_System_const_iterator
- ppl_delete_Generator
- ppl_delete_Generator_System
- ppl_delete_Linear_Expression
- ppl_delete_Polyhedron
- ppl_finalize
- ppl_initialize
- ppl_new_C_Polyhedron_from_Generator_System
- ppl_new_C_Polyhedron_recycle_Generator_System
- ppl_new_Coefficient
- ppl_new_Constraint_System_const_iterator
- ppl_new_Generator
- ppl_new_Generator_System
- ppl_new_Linear_Expression_with_dimension
- ppl_thread_finalize
- ppl_thread_initialize
Type Aliases
- mp_limb_t
- mpz_t
- ppl_Coefficient_t
- ppl_Constraint_System_const_iterator_t
- ppl_Generator_System_t
- ppl_Generator_t
- ppl_Linear_Expression_t
- ppl_Polyhedron_t
- ppl_const_Coefficient_t
- ppl_const_Constraint_System_const_iterator_t
- ppl_const_Constraint_System_t
- ppl_const_Constraint_t
- ppl_const_Generator_System_t
- ppl_const_Generator_t
- ppl_const_Linear_Expression_t
- ppl_const_Polyhedron_t
- ppl_dimension_type
- ppl_enum_Constraint_Type
- ppl_enum_Generator_Type
- ppl_enum_error_code
Constants
- ppl_enum_Constraint_Type_PPL_CONSTRAINT_TYPE_EQUAL
- ppl_enum_Constraint_Type_PPL_CONSTRAINT_TYPE_GREATER_OR_EQUAL
- ppl_enum_Constraint_Type_PPL_CONSTRAINT_TYPE_GREATER_THAN
- ppl_enum_Constraint_Type_PPL_CONSTRAINT_TYPE_LESS_OR_EQUAL
- ppl_enum_Constraint_Type_PPL_CONSTRAINT_TYPE_LESS_THAN
- ppl_enum_Generator_Type_PPL_GENERATOR_TYPE_CLOSURE_POINT
- ppl_enum_Generator_Type_PPL_GENERATOR_TYPE_LINE
- ppl_enum_Generator_Type_PPL_GENERATOR_TYPE_POINT
- ppl_enum_Generator_Type_PPL_GENERATOR_TYPE_RAY
- ppl_enum_error_code_PPL_ARITHMETIC_OVERFLOW
- ppl_enum_error_code_PPL_ERROR_DOMAIN_ERROR
- ppl_enum_error_code_PPL_ERROR_INTERNAL_ERROR
- ppl_enum_error_code_PPL_ERROR_INVALID_ARGUMENT
- ppl_enum_error_code_PPL_ERROR_LENGTH_ERROR
- ppl_enum_error_code_PPL_ERROR_LOGIC_ERROR
- ppl_enum_error_code_PPL_ERROR_OUT_OF_MEMORY
- ppl_enum_error_code_PPL_ERROR_UNEXPECTED_ERROR
- ppl_enum_error_code_PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION
- ppl_enum_error_code_PPL_STDIO_ERROR
- ppl_enum_error_code_PPL_TIMEOUT_EXCEPTION