|
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 |