PPL C Language Interface  1.2
ppl_c_implementation_common_inlines.hh File Reference
This graph shows which files directly or indirectly include this file:

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