from .ppl_decl cimport PPL_Polyhedron
from .generator cimport Generator
from .constraint cimport Constraint

cdef class Polyhedron(object):
   cdef PPL_Polyhedron *thisptr
   cdef _relation_with_generator(Polyhedron self, Generator g)
   cdef _relation_with_constraint(Polyhedron self, Constraint c)

cdef class C_Polyhedron(Polyhedron):
    pass

cdef class NNC_Polyhedron(Polyhedron):
    pass
