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

C Function Index: S -- W

Jump to:   _  
A   B   C   D   E   F   G   H   I   L   M   N   O   P   S   T   U   V   W  

Index Entry Section
S
satmat_allocBasic Operations on saturation matrices
satmat_clearBasic Operations on saturation matrices
satmat_copyBasic Operations on saturation matrices
satmat_exch_rowsMatrix manipulations
satmat_freeBasic Operations on saturation matrices
satmat_getBit manipulations on saturation matrices
satmat_index_in_sorted_rowsMatrix manipulations
satmat_printBasic Operations on saturation matrices
satmat_setBit manipulations on saturation matrices
satmat_setBit manipulations on saturation matrices
satmat_sort_rowsMatrix manipulations
satmat_transposeMatrix manipulations
scale_exprAlgebraic Operations on OCaml vectors
setBasic Operations on OCaml vectors
setBasic Operations on OCaml matrices
set_gcInitialization and finalization funtions
set_rowBasic Operations on OCaml matrices
set_str10Basic Operations on OCaml vectors
set_str10Basic Operations on OCaml matrices
set_widening_affineInitialization and finalization funtions
set_widening_linearInitialization and finalization funtions
sort_equationsFunctions on equation
sort_rowsSorting & Merging of OCaml matrices
sub_exprAlgebraic Operations on OCaml vectors
substitute_varLinear transformations on OCaml polyhedra
T
translate_equationsFunctions on equation
U
unionIntersection & Convex Hull of OCaml polyhedra
union_arrayIntersection & Convex Hull of OCaml polyhedra
union_array_lazyIntersection & Convex Hull of OCaml polyhedra
union_lazyIntersection & Convex Hull of OCaml polyhedra
union_listIntersection & Convex Hull of OCaml polyhedra
union_list_lazyIntersection & Convex Hull of OCaml polyhedra
universeConstructors for OCaml polyhedra
V
vector_addAlgebraic Operations on vectors
vector_add_dimensionsAt the end
vector_add_dimensions_multiAnywhere
vector_add_permute_dimensionsChange of dimensions together with permutation
vector_allocBasic Operations on vectors
vector_clearBasic Operations on vectors
vector_combineAlgebraic Operations on vectors
vector_compareComparison & Hashing on vectors
vector_compare_exprComparison & Hashing on vectors
vector_copyBasic Operations on vectors
vector_freeBasic Operations on vectors
vector_hashComparison & Hashing on vectors
vector_is_dummy_constraintMiscellaneous on vectors
vector_is_null_strictMiscellaneous on vectors
vector_is_positivity_constraintMiscellaneous on vectors
vector_is_strictness_constraintMiscellaneous on vectors
vector_normalizeNormalization of vectors
vector_normalize_exprNormalization of vectors
vector_of_constraintPolkaIO
vector_of_exprPolkaIO
vector_of_framePolkaIO
vector_permute_remove_dimensionsChange of dimensions together with permutation
vector_printBasic Operations on vectors
vector_print_constraintPolkaIO
vector_print_exprPolkaIO
vector_print_framePolkaIO
vector_productAlgebraic Operations on vectors
vector_product_strictAlgebraic Operations on vectors
vector_remove_dimensions_multiAnywhere
vector_scaleAlgebraic Operations on vectors
vector_subAlgebraic Operations on vectors
W
wideningWidening operators on OCaml polyhedra

Jump to:   _  
A   B   C   D   E   F   G   H   I   L   M   N   O   P   S   T   U   V   W  

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

This document was generated on October, 27 2006 using texi2html