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

Change of dimension of OCaml polyhedra

At the end

Function: add_dims_and_embed : t -> int -> t
Same as C function poly_add_dimensions_and_embed.
Function: add_dims_and_project : t -> int -> t
Same as C function poly_add_dimensions_and_project.
Function: del_dims : t -> int -> t
Same as C function poly_remove_dimensions.

Anywhere

Function: add_dims_and_embed_multi : t -> Polka.dimsup array -> t
Same as C function poly_add_dimensions_and_embed_multi.
Function: add_dims_and_project_multi : t -> Polka.dimsup array -> t
Same as C function poly_add_dimensions_and_project_multi.
Function: del_dims_multi : t -> Polka.dimsup array -> t
Same as C function poly_remove_dimensions_multi.

Change of dimensions together with permutation

Function: add_permute_dims_and_embed : t -> int -> int array -> t
Same as C function poly_add_permute_dimensions_and_embed.
Function: add_permute_dims_and_project : t -> int -> int array -> t
Same as C function poly_add_permute_dimensions_and_project.
Function: permute_del_dims : t -> int -> int array -> t
Same as C function poly_permute_remove_dimensions.



This document was generated on October, 27 2006 using texi2html