
Go to the source code of this file.
Namespaces | |
| namespace | Parma_Polyhedra_Library |
| namespace | Parma_Polyhedra_Library::Interfaces |
| namespace | Parma_Polyhedra_Library::Interfaces::C |
Typedefs | |
| typedef Constraint_System::const_iterator | Parma_Polyhedra_Library::Interfaces::C::Constraint_System_const_iterator |
| typedef Generator_System::const_iterator | Parma_Polyhedra_Library::Interfaces::C::Generator_System_const_iterator |
| typedef Congruence_System::const_iterator | Parma_Polyhedra_Library::Interfaces::C::Congruence_System_const_iterator |
| typedef Grid_Generator_System::const_iterator | Parma_Polyhedra_Library::Interfaces::C::Grid_Generator_System_const_iterator |
| typedef PIP_Tree_Node::Artificial_Parameter | Parma_Polyhedra_Library::Interfaces::C::Artificial_Parameter |
| typedef PIP_Tree_Node::Artificial_Parameter_Sequence | Parma_Polyhedra_Library::Interfaces::C::Artificial_Parameter_Sequence |
| typedef PIP_Tree_Node::Artificial_Parameter_Sequence::const_iterator | Parma_Polyhedra_Library::Interfaces::C::Artificial_Parameter_Sequence_const_iterator |
Functions | |
| mpz_class & | Parma_Polyhedra_Library::Interfaces::C::reinterpret_mpz_class (mpz_t n) |
| Reinterpret an mpz_t as mpz_class. | |
| const Coefficient * | Parma_Polyhedra_Library::Interfaces::C::to_const (ppl_const_Coefficient_t x) |
| Coefficient * | Parma_Polyhedra_Library::Interfaces::C::to_nonconst (ppl_Coefficient_t x) |
| ppl_const_Coefficient_t | Parma_Polyhedra_Library::Interfaces::C::to_const (const Coefficient *x) |
| ppl_Coefficient_t | Parma_Polyhedra_Library::Interfaces::C::to_nonconst (Coefficient *x) |
| const Linear_Expression * | Parma_Polyhedra_Library::Interfaces::C::to_const (ppl_const_Linear_Expression_t x) |
| Linear_Expression * | Parma_Polyhedra_Library::Interfaces::C::to_nonconst (ppl_Linear_Expression_t x) |
| ppl_const_Linear_Expression_t | Parma_Polyhedra_Library::Interfaces::C::to_const (const Linear_Expression *x) |
| ppl_Linear_Expression_t | Parma_Polyhedra_Library::Interfaces::C::to_nonconst (Linear_Expression *x) |
| const Constraint * | Parma_Polyhedra_Library::Interfaces::C::to_const (ppl_const_Constraint_t x) |
| Constraint * | Parma_Polyhedra_Library::Interfaces::C::to_nonconst (ppl_Constraint_t x) |
| ppl_const_Constraint_t | Parma_Polyhedra_Library::Interfaces::C::to_const (const Constraint *x) |
| ppl_Constraint_t | Parma_Polyhedra_Library::Interfaces::C::to_nonconst (Constraint *x) |
| const Constraint_System * | Parma_Polyhedra_Library::Interfaces::C::to_const (ppl_const_Constraint_System_t x) |
| Constraint_System * | Parma_Polyhedra_Library::Interfaces::C::to_nonconst (ppl_Constraint_System_t x) |
| ppl_const_Constraint_System_t | Parma_Polyhedra_Library::Interfaces::C::to_const (const Constraint_System *x) |
| ppl_Constraint_System_t | Parma_Polyhedra_Library::Interfaces::C::to_nonconst (Constraint_System *x) |
| const Constraint_System_const_iterator * | Parma_Polyhedra_Library::Interfaces::C::to_const (ppl_const_Constraint_System_const_iterator_t x) |
| Constraint_System_const_iterator * | Parma_Polyhedra_Library::Interfaces::C::to_nonconst (ppl_Constraint_System_const_iterator_t x) |
| ppl_const_Constraint_System_const_iterator_t | Parma_Polyhedra_Library::Interfaces::C::to_const (const Constraint_System_const_iterator *x) |
| ppl_Constraint_System_const_iterator_t | Parma_Polyhedra_Library::Interfaces::C::to_nonconst (Constraint_System_const_iterator *x) |
| const Generator * | Parma_Polyhedra_Library::Interfaces::C::to_const (ppl_const_Generator_t x) |
| Generator * | Parma_Polyhedra_Library::Interfaces::C::to_nonconst (ppl_Generator_t x) |
| ppl_const_Generator_t | Parma_Polyhedra_Library::Interfaces::C::to_const (const Generator *x) |
| ppl_Generator_t | Parma_Polyhedra_Library::Interfaces::C::to_nonconst (Generator *x) |
| const Generator_System * | Parma_Polyhedra_Library::Interfaces::C::to_const (ppl_const_Generator_System_t x) |
| Generator_System * | Parma_Polyhedra_Library::Interfaces::C::to_nonconst (ppl_Generator_System_t x) |
| ppl_const_Generator_System_t | Parma_Polyhedra_Library::Interfaces::C::to_const (const Generator_System *x) |
| ppl_Generator_System_t | Parma_Polyhedra_Library::Interfaces::C::to_nonconst (Generator_System *x) |
| const Generator_System_const_iterator * | Parma_Polyhedra_Library::Interfaces::C::to_const (ppl_const_Generator_System_const_iterator_t x) |
| Generator_System_const_iterator * | Parma_Polyhedra_Library::Interfaces::C::to_nonconst (ppl_Generator_System_const_iterator_t x) |
| ppl_const_Generator_System_const_iterator_t | Parma_Polyhedra_Library::Interfaces::C::to_const (const Generator_System_const_iterator *x) |
| ppl_Generator_System_const_iterator_t | Parma_Polyhedra_Library::Interfaces::C::to_nonconst (Generator_System_const_iterator *x) |
| const Congruence * | Parma_Polyhedra_Library::Interfaces::C::to_const (ppl_const_Congruence_t x) |
| Congruence * | Parma_Polyhedra_Library::Interfaces::C::to_nonconst (ppl_Congruence_t x) |
| ppl_const_Congruence_t | Parma_Polyhedra_Library::Interfaces::C::to_const (const Congruence *x) |
| ppl_Congruence_t | Parma_Polyhedra_Library::Interfaces::C::to_nonconst (Congruence *x) |
| const Congruence_System * | Parma_Polyhedra_Library::Interfaces::C::to_const (ppl_const_Congruence_System_t x) |
| Congruence_System * | Parma_Polyhedra_Library::Interfaces::C::to_nonconst (ppl_Congruence_System_t x) |
| ppl_const_Congruence_System_t | Parma_Polyhedra_Library::Interfaces::C::to_const (const Congruence_System *x) |
| ppl_Congruence_System_t | Parma_Polyhedra_Library::Interfaces::C::to_nonconst (Congruence_System *x) |
| const Congruence_System_const_iterator * | Parma_Polyhedra_Library::Interfaces::C::to_const (ppl_const_Congruence_System_const_iterator_t x) |
| Congruence_System_const_iterator * | Parma_Polyhedra_Library::Interfaces::C::to_nonconst (ppl_Congruence_System_const_iterator_t x) |
| ppl_const_Congruence_System_const_iterator_t | Parma_Polyhedra_Library::Interfaces::C::to_const (const Congruence_System_const_iterator *x) |
| ppl_Congruence_System_const_iterator_t | Parma_Polyhedra_Library::Interfaces::C::to_nonconst (Congruence_System_const_iterator *x) |
| const Grid_Generator * | Parma_Polyhedra_Library::Interfaces::C::to_const (ppl_const_Grid_Generator_t x) |
| Grid_Generator * | Parma_Polyhedra_Library::Interfaces::C::to_nonconst (ppl_Grid_Generator_t x) |
| ppl_const_Grid_Generator_t | Parma_Polyhedra_Library::Interfaces::C::to_const (const Grid_Generator *x) |
| ppl_Grid_Generator_t | Parma_Polyhedra_Library::Interfaces::C::to_nonconst (Grid_Generator *x) |
| const Grid_Generator_System * | Parma_Polyhedra_Library::Interfaces::C::to_const (ppl_const_Grid_Generator_System_t x) |
| Grid_Generator_System * | Parma_Polyhedra_Library::Interfaces::C::to_nonconst (ppl_Grid_Generator_System_t x) |
| ppl_const_Grid_Generator_System_t | Parma_Polyhedra_Library::Interfaces::C::to_const (const Grid_Generator_System *x) |
| ppl_Grid_Generator_System_t | Parma_Polyhedra_Library::Interfaces::C::to_nonconst (Grid_Generator_System *x) |
| const Grid_Generator_System_const_iterator * | Parma_Polyhedra_Library::Interfaces::C::to_const (ppl_const_Grid_Generator_System_const_iterator_t x) |
| Grid_Generator_System_const_iterator * | Parma_Polyhedra_Library::Interfaces::C::to_nonconst (ppl_Grid_Generator_System_const_iterator_t x) |
| ppl_const_Grid_Generator_System_const_iterator_t | Parma_Polyhedra_Library::Interfaces::C::to_const (const Grid_Generator_System_const_iterator *x) |
| ppl_Grid_Generator_System_const_iterator_t | Parma_Polyhedra_Library::Interfaces::C::to_nonconst (Grid_Generator_System_const_iterator *x) |
| const Artificial_Parameter * | Parma_Polyhedra_Library::Interfaces::C::to_const (ppl_const_Artificial_Parameter_t x) |
| Artificial_Parameter * | Parma_Polyhedra_Library::Interfaces::C::to_nonconst (ppl_Artificial_Parameter_t x) |
| ppl_const_Artificial_Parameter_t | Parma_Polyhedra_Library::Interfaces::C::to_const (const Artificial_Parameter *x) |
| ppl_Artificial_Parameter_t | Parma_Polyhedra_Library::Interfaces::C::to_nonconst (Artificial_Parameter *x) |
| const Artificial_Parameter_Sequence * | Parma_Polyhedra_Library::Interfaces::C::to_const (ppl_const_Artificial_Parameter_Sequence_t x) |
| Artificial_Parameter_Sequence * | Parma_Polyhedra_Library::Interfaces::C::to_nonconst (ppl_Artificial_Parameter_Sequence_t x) |
| ppl_const_Artificial_Parameter_Sequence_t | Parma_Polyhedra_Library::Interfaces::C::to_const (const Artificial_Parameter_Sequence *x) |
| ppl_Artificial_Parameter_Sequence_t | Parma_Polyhedra_Library::Interfaces::C::to_nonconst (Artificial_Parameter_Sequence *x) |
| const Artificial_Parameter_Sequence_const_iterator * | Parma_Polyhedra_Library::Interfaces::C::to_const (ppl_const_Artificial_Parameter_Sequence_const_iterator_t x) |
| Artificial_Parameter_Sequence_const_iterator * | Parma_Polyhedra_Library::Interfaces::C::to_nonconst (ppl_Artificial_Parameter_Sequence_const_iterator_t x) |
| ppl_const_Artificial_Parameter_Sequence_const_iterator_t | Parma_Polyhedra_Library::Interfaces::C::to_const (const Artificial_Parameter_Sequence_const_iterator *x) |
| ppl_Artificial_Parameter_Sequence_const_iterator_t | Parma_Polyhedra_Library::Interfaces::C::to_nonconst (Artificial_Parameter_Sequence_const_iterator *x) |
| const MIP_Problem * | Parma_Polyhedra_Library::Interfaces::C::to_const (ppl_const_MIP_Problem_t x) |
| MIP_Problem * | Parma_Polyhedra_Library::Interfaces::C::to_nonconst (ppl_MIP_Problem_t x) |
| ppl_const_MIP_Problem_t | Parma_Polyhedra_Library::Interfaces::C::to_const (const MIP_Problem *x) |
| ppl_MIP_Problem_t | Parma_Polyhedra_Library::Interfaces::C::to_nonconst (MIP_Problem *x) |
| const PIP_Problem * | Parma_Polyhedra_Library::Interfaces::C::to_const (ppl_const_PIP_Problem_t x) |
| PIP_Problem * | Parma_Polyhedra_Library::Interfaces::C::to_nonconst (ppl_PIP_Problem_t x) |
| ppl_const_PIP_Problem_t | Parma_Polyhedra_Library::Interfaces::C::to_const (const PIP_Problem *x) |
| ppl_PIP_Problem_t | Parma_Polyhedra_Library::Interfaces::C::to_nonconst (PIP_Problem *x) |
| const PIP_Tree_Node * | Parma_Polyhedra_Library::Interfaces::C::to_const (ppl_const_PIP_Tree_Node_t x) |
| PIP_Tree_Node * | Parma_Polyhedra_Library::Interfaces::C::to_nonconst (ppl_PIP_Tree_Node_t x) |
| ppl_const_PIP_Tree_Node_t | Parma_Polyhedra_Library::Interfaces::C::to_const (const PIP_Tree_Node *x) |
| ppl_PIP_Tree_Node_t | Parma_Polyhedra_Library::Interfaces::C::to_nonconst (PIP_Tree_Node *x) |
| const PIP_Decision_Node * | Parma_Polyhedra_Library::Interfaces::C::to_const (ppl_const_PIP_Decision_Node_t x) |
| PIP_Decision_Node * | Parma_Polyhedra_Library::Interfaces::C::to_nonconst (ppl_PIP_Decision_Node_t x) |
| ppl_const_PIP_Decision_Node_t | Parma_Polyhedra_Library::Interfaces::C::to_const (const PIP_Decision_Node *x) |
| ppl_PIP_Decision_Node_t | Parma_Polyhedra_Library::Interfaces::C::to_nonconst (PIP_Decision_Node *x) |
| const PIP_Solution_Node * | Parma_Polyhedra_Library::Interfaces::C::to_const (ppl_const_PIP_Solution_Node_t x) |
| PIP_Solution_Node * | Parma_Polyhedra_Library::Interfaces::C::to_nonconst (ppl_PIP_Solution_Node_t x) |
| ppl_const_PIP_Solution_Node_t | Parma_Polyhedra_Library::Interfaces::C::to_const (const PIP_Solution_Node *x) |
| ppl_PIP_Solution_Node_t | Parma_Polyhedra_Library::Interfaces::C::to_nonconst (PIP_Solution_Node *x) |
| Relation_Symbol | Parma_Polyhedra_Library::Interfaces::C::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) |
1.6.3