Predicates on OCaml polyhedra

Function: is_minimal : t -> bool

Function: is_empty : t -> bool

Function: is_universe : t -> bool

Function: is_empty_lazy : t -> bool

Function: is_universe_lazy : t -> bool

Same semantics as the corresponding C functions.

Function: constraints_available : t -> bool

Is the constraint matrix available ?

Function: frames_available : t -> bool

Is the generator matrix available ?

Function: poly_versus_constraint : t -> Vector.t -> tbool

Function: is_generaotr_included_in : Vector.t -> t -> tbool

Function: is_included_in : t -> t -> bool

Function: is_equal : t -> t -> bool

Same semantics as the corresponding C functions.