PPL C Language Interface  1.2
C_interface.dox File Reference

Typedefs

typedef struct ppl_Polyhedron_tagppl_Polyhedron_t
 Opaque pointer. More...
 
typedef struct ppl_Polyhedron_tag constppl_const_Polyhedron_t
 Opaque pointer to const object. More...
 
typedef struct ppl_Pointset_Powerset_C_Polyhedron_tagppl_Pointset_Powerset_C_Polyhedron_t
 Opaque pointer. More...
 
typedef struct ppl_Pointset_Powerset_C_Polyhedron_tag constppl_const_Pointset_Powerset_C_Polyhedron_t
 Opaque pointer to const object. More...
 
typedef struct ppl_Pointset_Powerset_C_Polyhedron_iterator_tagppl_Pointset_Powerset_C_Polyhedron_iterator_t
 Opaque pointer. More...
 
typedef struct ppl_Pointset_Powerset_C_Polyhedron_iterator_tag constppl_const_Pointset_Powerset_C_Polyhedron_iterator_t
 Opaque pointer to const object. More...
 
typedef struct ppl_Pointset_Powerset_C_Polyhedron_const_iterator_tagppl_Pointset_Powerset_C_Polyhedron_const_iterator_t
 Opaque pointer. More...
 
typedef struct ppl_Pointset_Powerset_C_Polyhedron_const_iterator_tag constppl_const_Pointset_Powerset_C_Polyhedron_const_iterator_t
 Opaque pointer to const object. More...
 

Functions

Functions that Do Not Modify the Polyhedron
int ppl_Polyhedron_relation_with_Congruence (ppl_const_Polyhedron_t ph, ppl_const_Congruence_t c)
 

Function Documentation

int ppl_Polyhedron_relation_with_Congruence ( ppl_const_Polyhedron_t  ph,
ppl_const_Congruence_t  c 
)