PPL Configured C Language Interface
1.2
|
Go to the source code of this file.
Namespaces | |
Parma_Polyhedra_Library | |
Parma_Polyhedra_Library::Interfaces | |
Parma_Polyhedra_Library::Interfaces::C | |
Functions | |
mpz_class & | Parma_Polyhedra_Library::Interfaces::C::reinterpret_mpz_class (mpz_t n) |
Reinterpret an mpz_t as mpz_class. More... | |
Parma_Polyhedra_Library::Interfaces::C::DECLARE_CONVERSIONS (Constraint_System_const_iterator, Constraint_System_const_iterator) DECLARE_CONVERSIONS(Generator_System_const_iterator | |
DECLARE_CONVERSIONS(Artificial_Parameter_Sequence, Artificial_Parameter_Sequence) typedef PIP_Tree_Node | Parma_Polyhedra_Library::Interfaces::C::DECLARE_CONVERSIONS (Artificial_Parameter_Sequence_const_iterator, Artificial_Parameter_Sequence_const_iterator) inline Relation_Symbol relation_symbol(enum ppl_enum_Constraint_Type t) |
Bounded_Integer_Type_Width | Parma_Polyhedra_Library::Interfaces::C::bounded_integer_type_width (enum ppl_enum_Bounded_Integer_Type_Width w) |
Bounded_Integer_Type_Representation | Parma_Polyhedra_Library::Interfaces::C::bounded_integer_type_representation (enum ppl_enum_Bounded_Integer_Type_Representation r) |
Bounded_Integer_Type_Overflow | Parma_Polyhedra_Library::Interfaces::C::bounded_integer_type_overflow (enum ppl_enum_Bounded_Integer_Type_Overflow o) |
Variables | |
Generator_System_const_iterator typedef Congruence_System::const_iterator | Parma_Polyhedra_Library::Interfaces::C::Congruence_System_const_iterator |
DECLARE_CONVERSIONS(Congruence_System_const_iterator, Congruence_System_const_iterator) typedef Grid_Generator_System DECLARE_CONVERSIONS(Grid_Generator_System_const_iterator, Grid_Generator_System_const_iterator) typedef PIP_Tree_Node typedef PIP_Tree_Node::Artificial_Parameter_Sequence | Parma_Polyhedra_Library::Interfaces::C::Artificial_Parameter_Sequence |