Intersection & Convex Hull of OCaml polyhedra

Function: inter_array : t array -> t

Function: inter : t -> t -> t

Function: add_constraints : t -> Matrix.t -> t

Function: add_constraint : t -> Vector.t -> t

Function: inter_array_lazy : t array -> t

Function: inter_lazy : t -> t -> t

Function: add_constraints_lazy : t -> Matrix.t -> t

Function: add_constraint_lazy : t -> Vector.t -> t

Same as C functions poly_intersection_XXX and poly_add_constraintXXX.

Function: union_array : t array -> t

Function: union : t -> t -> t

Function: add_frames : t -> Matrix.t -> t

Function: add_frame : t -> Vector.t -> t

Function: union_array_lazy : t array -> t

Function: union_lazy : t -> t -> t

Function: add_frames_lazy : t -> Matrix.t -> t

Function: add_frame_lazy : t -> Vector.t -> t

Same as C functions poly_convex_hull_XXX and poly_add_frameXXX.

Function: inter_list : t list -> t

Function: union_list : t list -> t

Function: inter_list_lazy : t list -> t

Function: union_list_lazy : t list -> t

Versions taking lists instead of arrays.