ppl_ocaml_common.defs.hh File Reference

#include "ppl.hh"
#include "interfaced_boxes.hh"
#include "marked_pointers.hh"
#include "caml/mlvalues.h"
#include "caml/memory.h"
#include "caml/custom.h"
#include "caml/fail.h"
#include "caml/callback.h"
#include "caml/alloc.h"
#include "ppl_ocaml_common.inlines.hh"
Include dependency graph for ppl_ocaml_common.defs.hh:

Go to the source code of this file.

Classes

class  Parma_Polyhedra_Library::Interfaces::OCaml::timeout_exception
class  Parma_Polyhedra_Library::Interfaces::OCaml::deterministic_timeout_exception

Namespaces

namespace  Parma_Polyhedra_Library
namespace  Parma_Polyhedra_Library::Interfaces
namespace  Parma_Polyhedra_Library::Interfaces::OCaml

Defines

#define CAML_NAME_SPACE
#define CATCH_ALL

Functions

template<typename U_Int >
U_Int Parma_Polyhedra_Library::Interfaces::OCaml::value_to_unsigned (value v)
value Parma_Polyhedra_Library::Interfaces::OCaml::ppl_dimension_to_value (dimension_type dim)
dimension_type Parma_Polyhedra_Library::Interfaces::OCaml::value_to_ppl_dimension (value dim)
Variable Parma_Polyhedra_Library::Interfaces::OCaml::build_ppl_Variable (value var)
Degenerate_Element Parma_Polyhedra_Library::Interfaces::OCaml::build_ppl_Degenerate_Element (value de)
Complexity_Class Parma_Polyhedra_Library::Interfaces::OCaml::build_ppl_Complexity_Class (value cc)
Relation_Symbol Parma_Polyhedra_Library::Interfaces::OCaml::build_ppl_relsym (value caml_relsym)
Bounded_Integer_Type_Overflow Parma_Polyhedra_Library::Interfaces::OCaml::build_ppl_bounded_integer_type_overflow (value caml_oflow)
Bounded_Integer_Type_Representation Parma_Polyhedra_Library::Interfaces::OCaml::build_ppl_bounded_integer_type_representation (value caml_rep)
Bounded_Integer_Type_Width Parma_Polyhedra_Library::Interfaces::OCaml::build_ppl_bounded_integer_type_width (value caml_width)
Coefficient Parma_Polyhedra_Library::Interfaces::OCaml::build_ppl_Coefficient (value coeff)
Variables_Set Parma_Polyhedra_Library::Interfaces::OCaml::build_ppl_Variables_Set (value caml_vset)
Linear_Expression Parma_Polyhedra_Library::Interfaces::OCaml::build_ppl_Linear_Expression (value e)
Constraint Parma_Polyhedra_Library::Interfaces::OCaml::build_ppl_Constraint (value c)
Congruence Parma_Polyhedra_Library::Interfaces::OCaml::build_ppl_Congruence (value c)
Generator Parma_Polyhedra_Library::Interfaces::OCaml::build_ppl_Generator (value g)
Grid_Generator Parma_Polyhedra_Library::Interfaces::OCaml::build_ppl_Grid_Generator (value gg)
Constraint_System Parma_Polyhedra_Library::Interfaces::OCaml::build_ppl_Constraint_System (value cl)
Congruence_System Parma_Polyhedra_Library::Interfaces::OCaml::build_ppl_Congruence_System (value cgl)
Generator_System Parma_Polyhedra_Library::Interfaces::OCaml::build_ppl_Generator_System (value gl)
Grid_Generator_System Parma_Polyhedra_Library::Interfaces::OCaml::build_ppl_Grid_Generator_System (value caml_ggs)
value Parma_Polyhedra_Library::Interfaces::OCaml::build_ocaml_poly_con_relation (Poly_Con_Relation &r)
value Parma_Polyhedra_Library::Interfaces::OCaml::build_ocaml_poly_gen_relation (Poly_Gen_Relation &r)
value Parma_Polyhedra_Library::Interfaces::OCaml::build_ocaml_coefficient (const Coefficient &ppl_coeff)
value Parma_Polyhedra_Library::Interfaces::OCaml::build_ocaml_constraint (const Constraint &ppl_constraint)
value Parma_Polyhedra_Library::Interfaces::OCaml::build_ocaml_congruence (const Congruence &ppl_congruence)
value Parma_Polyhedra_Library::Interfaces::OCaml::build_ocaml_generator (const Generator &ppl_generator)
value Parma_Polyhedra_Library::Interfaces::OCaml::build_ocaml_constraint_system (const Constraint_System &ppl_cs)
value Parma_Polyhedra_Library::Interfaces::OCaml::build_ocaml_congruence_system (const Congruence_System &ppl_cgs)
value Parma_Polyhedra_Library::Interfaces::OCaml::build_ocaml_grid_generator (const Grid_Generator &ppl_grid_generator)
value Parma_Polyhedra_Library::Interfaces::OCaml::build_ocaml_generator_system (const Generator_System &ppl_gs)
value Parma_Polyhedra_Library::Interfaces::OCaml::build_ocaml_grid_generator_system (const Grid_Generator_System &ppl_ggs)
void Parma_Polyhedra_Library::Interfaces::OCaml::reset_timeout ()
void Parma_Polyhedra_Library::Interfaces::OCaml::reset_deterministic_timeout ()

Define Documentation

#define CAML_NAME_SPACE

Definition at line 37 of file ppl_ocaml_common.defs.hh.

#define CATCH_ALL

Definition at line 185 of file ppl_ocaml_common.defs.hh.

Generated on Sun Feb 27 16:32:18 2011 for PPL Configured OCaml Language Interface by  doxygen 1.6.3