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

Linear transformations on OCaml polyhedra

Function: assign_var : t -> int -> Vector.t -> t
Same as C function poly_assign_variable.
Function: substitute_var : t -> int -> Vector.t -> t
Same as C function poly_substitute_variable.



This document was generated on October, 27 2006 using texi2html