[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

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.



This document was generated on October, 27 2006 using texi2html