POLKA: C Function Index

[ < ]

[ > ]

[ << ]

[ Up ]

[ >> ]

[Top]

[Contents]

[Index]

[ ? ]

C Function Index

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

	Index Entry	Section

_
	`_print`	Basic Operations on OCaml vectors
	`_print`	Basic Operations on OCaml matrices

A
	`add_constraint`	Intersection & Convex Hull of OCaml polyhedra
	`add_constraint_lazy`	Intersection & Convex Hull of OCaml polyhedra
	`add_constraints`	Intersection & Convex Hull of OCaml polyhedra
	`add_constraints_lazy`	Intersection & Convex Hull of OCaml polyhedra
	`add_dims`	At the end
	`add_dims`	At the end
	`add_dims_and_embed`	At the end
	`add_dims_and_embed_multi`	Anywhere
	`add_dims_and_project`	At the end
	`add_dims_and_project_multi`	Anywhere
	`add_dims_multi`	Anywhere
	`add_dims_multi`	Anywhere
	`add_expr`	Algebraic Operations on OCaml vectors
	`add_frame`	Intersection & Convex Hull of OCaml polyhedra
	`add_frame_lazy`	Intersection & Convex Hull of OCaml polyhedra
	`add_frames`	Intersection & Convex Hull of OCaml polyhedra
	`add_frames_lazy`	Intersection & Convex Hull of OCaml polyhedra
	`add_permute_dims`	Change of dimensions together with permutation
	`add_permute_dims`	Change of dimensions together with permutation
	`add_permute_dims_and_embed`	Change of dimensions together with permutation
	`add_permute_dims_and_project`	Change of dimensions together with permutation
	`assign_var`	Linear transformations on OCaml polyhedra

B
	`bitindex_dec`	Type `bitindex_t`: accessing bits in bitstrings
	`bitindex_inc`	Type `bitindex_t`: accessing bits in bitstrings
	`bitindex_init`	Type `bitindex_t`: accessing bits in bitstrings
	`bitindex_size`	Type `bitindex_t`: accessing bits in bitstrings
	`bitstring_alloc`	Type bitstring_t: bitstrings
	`bitstring_clear`	Type bitstring_t: bitstrings
	`bitstring_clr`	Type bitstring_t: bitstrings
	`bitstring_cmp`	Type bitstring_t: bitstrings
	`bitstring_free`	Type bitstring_t: bitstrings
	`bitstring_get`	Type bitstring_t: bitstrings
	`bitstring_print`	Type bitstring_t: bitstrings
	`bitstring_set`	Type bitstring_t: bitstrings

C
	`canonicalize`	Constructors for OCaml polyhedra
	`closure`	Closure operation on OCaml polyhedra
	`closure_lazy`	Closure operation on OCaml polyhedra
	`cmp_equations`	Functions on equation
	`compare`	Comparison & Hashing of OCaml vectors
	`compare`	Comparison & Hashing of OCaml matrices
	`compare_expr`	Comparison & Hashing of OCaml vectors
	`compare_sort`	Comparison & Hashing of OCaml matrices
	`constraints`	Access functions for OCaml polyhedra
	`constraints_available`	Predicates on OCaml polyhedra
	`copy`	Basic Operations on OCaml vectors
	`copy`	Basic Operations on OCaml matrices

D
	`del_dims`	At the end
	`del_dims_multi`	Anywhere
	`del_dims_multi`	Anywhere
	`del_dims_multi`	Anywhere
	`dim`	Access functions for OCaml polyhedra

E
	`empty`	Constructors for OCaml polyhedra

F
	`finalize`	Initialization and finalization funtions
	`frames`	Access functions for OCaml polyhedra
	`frames_available`	Predicates on OCaml polyhedra

G
	`get`	Basic Operations on OCaml vectors
	`get`	Basic Operations on OCaml matrices
	`get_row`	Basic Operations on OCaml matrices
	`get_str10`	Basic Operations on OCaml vectors
	`get_str10`	Basic Operations on OCaml matrices

H
	`hash`	Comparison & Hashing of OCaml vectors
	`hash`	Comparison & Hashing of OCaml matrices
	`hash_sort`	Comparison & Hashing of OCaml matrices

I
	`in_assoc`	PolkaIO
	`initialize`	Initialization and finalization funtions
	`initialize`	PolkaIO
	`inter`	Intersection & Convex Hull of OCaml polyhedra
	`inter_array`	Intersection & Convex Hull of OCaml polyhedra
	`inter_array_lazy`	Intersection & Convex Hull of OCaml polyhedra
	`inter_lazy`	Intersection & Convex Hull of OCaml polyhedra
	`inter_list`	Intersection & Convex Hull of OCaml polyhedra
	`inter_list_lazy`	Intersection & Convex Hull of OCaml polyhedra
	`is_dummy_constraint`	Miscellaneous on OCaml vectors
	`is_empty`	Predicates on OCaml polyhedra
	`is_empty_lazy`	Predicates on OCaml polyhedra
	`is_equal`	Predicates on OCaml polyhedra
	`is_generaotr_included_in`	Predicates on OCaml polyhedra
	`is_included_in`	Predicates on OCaml polyhedra
	`is_minimal`	Predicates on OCaml polyhedra
	`is_positivity_constraint`	Miscellaneous on OCaml vectors
	`is_row_dummy_constraint`	Miscellaneous on OCaml matrices
	`is_strictness_constraint`	Miscellaneous on OCaml vectors
	`is_universe`	Predicates on OCaml polyhedra
	`is_universe_lazy`	Predicates on OCaml polyhedra

L
	`length`	Basic Operations on OCaml vectors
	`limited_widening`	Widening operators on OCaml polyhedra

M
	`make`	Basic Operations on OCaml vectors
	`make`	Basic Operations on OCaml matrices
	`matrix_add_dimensions`	At the end
	`matrix_add_dimensions_multi`	Anywhere
	`matrix_add_permute_dimensions`	Change of dimensions together with permutation
	`matrix_add_rows_sort`	Sorting & Merging matrices
	`matrix_alloc`	Basic Operations on matrices
	`matrix_assign_variable`	Linear transformation of matrices
	`matrix_assign_variables`	Linear transformation of matrices
	`matrix_clear`	Basic Operations on matrices
	`matrix_combine_rows`	Operations on rows of matrices
	`matrix_compare`	Comparison & Hashing on matrices
	`matrix_compare_rows`	Operations on rows of matrices
	`matrix_compare_sort`	Comparison & Hashing on matrices
	`matrix_copy`	Basic Operations on matrices
	`matrix_exch_rows`	Operations on rows of matrices
	`matrix_free`	Basic Operations on matrices
	`matrix_get_maxrows`	Access functions on matrices
	`matrix_hash`	Comparison & Hashing on matrices
	`matrix_hash_sort`	Comparison & Hashing on matrices
	`matrix_is_row_dummy_constraint`	Operations on rows of matrices
	`matrix_is_sorted`	Access functions on matrices
	`matrix_merge_sort`	Sorting & Merging matrices
	`matrix_normalize_row`	Operations on rows of matrices
	`matrix_of_lconstraints`	PolkaIO
	`matrix_of_lframes`	PolkaIO
	`matrix_permute_remove_dimensions`	Change of dimensions together with permutation
	`matrix_print`	Basic Operations on matrices
	`matrix_print_constraints`	PolkaIO
	`matrix_print_frames`	PolkaIO
	`matrix_remove_dimensions_multi`	Anywhere
	`matrix_sort_rows`	Sorting & Merging matrices
	`matrix_sort_rows_with_sat`	Sorting & Merging matrices
	`matrix_substitute_variable`	Linear transformation of matrices
	`matrix_substitute_variables`	Linear transformation of matrices
	`merge_sort`	Sorting & Merging of OCaml matrices
	`minimize`	Constructors for 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