
Go to the source code of this file.
Namespaces | |
| namespace | Parma_Polyhedra_Library |
| namespace | Parma_Polyhedra_Library::Interfaces |
| namespace | Parma_Polyhedra_Library::Interfaces::OCaml |
Functions | |
| template<typename U_Int > | |
| U_Int | Parma_Polyhedra_Library::Interfaces::OCaml::value_to_unsigned (value v) |
| dimension_type | Parma_Polyhedra_Library::Interfaces::OCaml::value_to_ppl_dimension (value dim) |
| value | Parma_Polyhedra_Library::Interfaces::OCaml::ppl_dimension_to_value (dimension_type dim) |
| Variable | Parma_Polyhedra_Library::Interfaces::OCaml::build_ppl_Variable (value var) |
1.6.3