POLKA: C Function Index: N -- P

[ < ]

[ > ]

[ << ]

[ Up ]

[ >> ]

[Top]

[Contents]

[Index]

[ ? ]

C Function Index: N -- P

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

	Index Entry	Section

N
	`nbcolumns`	Basic Operations on OCaml matrices
	`nbconstraints`	Access functions for OCaml polyhedra
	`nbequations`	Access functions for OCaml polyhedra
	`nbframes`	Access functions for OCaml polyhedra
	`nblines`	Access functions for OCaml polyhedra
	`nbrows`	Basic Operations on OCaml matrices
	`norm`	Normalization of OCaml vectors
	`norm_expr`	Normalization of OCaml vectors

O
	`of_constraint`	Input & Output of OCaml vectors
	`of_constraints`	Constructors for OCaml polyhedra
	`of_expr`	Input & Output of OCaml vectors
	`of_frame`	Input & Output of OCaml vectors
	`of_frames`	Constructors for OCaml polyhedra
	`of_lconstraints`	Input & Output of OCaml matrices
	`of_lconstraints`	Input & Output of OCaml polyhedra
	`of_lframes`	Input & Output of OCaml matrices
	`of_lframes`	Input & Output of OCaml polyhedra
	`out_assoc`	PolkaIO

P
	`permute_del_dims`	Change of dimensions together with permutation
	`permute_del_dims`	Change of dimensions together with permutation
	`permute_del_dims`	Change of dimensions together with permutation
	`pkint_abs`	Module pkint
	`pkint_add`	Module pkint
	`pkint_addmul`	Module pkint
	`pkint_clear`	Module pkint
	`pkint_cmp`	Module pkint
	`pkint_cmp_si`	Module pkint
	`pkint_cmp_ui`	Module pkint
	`pkint_div`	Module pkint
	`pkint_divexact`	Module pkint
	`pkint_gcd`	Module pkint
	`pkint_get_si`	Module pkint
	`pkint_get_str10`	Module pkint
	`pkint_get_ui`	Module pkint
	`pkint_init`	Module pkint
	`pkint_init_set`	Module pkint
	`pkint_init_set_si`	Module pkint
	`pkint_init_set_ui`	Module pkint
	`pkint_mod`	Module pkint
	`pkint_mul`	Module pkint
	`pkint_neg`	Module pkint
	`pkint_print`	Module pkint
	`pkint_set`	Module pkint
	`pkint_set_si`	Module pkint
	`pkint_set_str10`	Module pkint
	`pkint_set_ui`	Module pkint
	`pkint_sgn`	Module pkint
	`pkint_sizeinbase10`	Module pkint
	`pkint_sub`	Module pkint
	`pkint_submul`	Module pkint
	`polka_finalize`	Initialization and finalization functions
	`polka_initialize`	Initialization and finalization functions
	`polka_set_widening_affine`	Initialization and finalization functions
	`polka_set_widening_linear`	Initialization and finalization functions
	`poly_add_constraint`	Strict version
	`poly_add_constraint_lazy`	Lazy version
	`poly_add_constraints`	Strict version
	`poly_add_constraints_lazy`	Lazy version
	`poly_add_dimensions_and_embed`	At the end
	`poly_add_dimensions_and_embed_multi`	Anywhere
	`poly_add_dimensions_and_project`	At the end
	`poly_add_dimensions_and_project_multi`	Anywhere
	`poly_add_frame`	Strict version
	`poly_add_frame_lazy`	Lazy version
	`poly_add_frames`	Strict version
	`poly_add_frames_lazy`	Lazy version
	`poly_add_permute_dimensions_and_embed`	Change of dimensions together with permutation
	`poly_add_permute_dimensions_and_project`	Change of dimensions together with permutation
	`poly_assign_variable`	Single variable/expression
	`poly_assign_variable_old`	Single variable/expression
	`poly_assign_variables`	Several variables/expressions
	`poly_canonicalize`	Basic Operations on polyhedra
	`poly_closure`	Closure operation
	`poly_closure_lazy`	Closure operation
	`poly_constraints`	Access functions for polyhedra
	`poly_convex_hull`	Strict version
	`poly_convex_hull_array`	Strict version
	`poly_convex_hull_array_lazy`	Lazy version
	`poly_convex_hull_lazy`	Lazy version
	`poly_copy`	Basic Operations on polyhedra
	`poly_dimension`	Access functions for polyhedra
	`poly_empty`	Basic Constructors for polyhedra
	`poly_frames`	Access functions for polyhedra
	`poly_free`	Basic Operations on polyhedra
	`poly_intersection`	Strict version
	`poly_intersection_array`	Strict version
	`poly_intersection_array_lazy`	Lazy version
	`poly_intersection_lazy`	Lazy version
	`poly_is_empty`	Predicates on polyhedra
	`poly_is_empty_lazy`	Predicates on polyhedra
	`poly_is_equal`	Predicates on polyhedra
	`poly_is_generator_included_in`	Predicates on polyhedra
	`poly_is_included_in`	Predicates on polyhedra
	`poly_is_minimal`	Predicates on polyhedra
	`poly_is_universe`	Predicates on polyhedra
	`poly_limited_widening`	Widening operators on polyhedra lattice
	`poly_minimize`	Basic Operations on polyhedra
	`poly_nbconstraints`	Access functions for polyhedra
	`poly_nbequations`	Access functions for polyhedra
	`poly_nbframes`	Access functions for polyhedra
	`poly_nblines`	Access functions for polyhedra
	`poly_of_constraints`	Basic Constructors for polyhedra
	`poly_of_frames`	Basic Constructors for polyhedra
	`poly_of_lconstraint`	PolkaIO
	`poly_of_lframe`	PolkaIO
	`poly_permute_remove_dimensions`	Change of dimensions together with permutation
	`poly_print`	Basic Operations on polyhedra
	`poly_print`	PolkaIO
	`poly_print_constraint`	PolkaIO
	`poly_print_frame`	PolkaIO
	`poly_remove_dimensions`	At the end
	`poly_remove_dimensions_multi`	Anywhere
	`poly_satC`	Access functions for polyhedra
	`poly_satF`	Access functions for polyhedra
	`poly_substitute_variable`	Single variable/expression
	`poly_substitute_variable_old`	Single variable/expression
	`poly_substitute_variables`	Several variables/expressions
	`poly_universe`	Basic Constructors for polyhedra
	`poly_versus_constraint`	Predicates on polyhedra
	`poly_versus_constraint`	Predicates on OCaml polyhedra
	`poly_widening`	Widening operators on polyhedra lattice
	`print`	Input & Output of OCaml polyhedra
	`print_constraint`	Input & Output of OCaml vectors
	`print_constraints`	Input & Output of OCaml matrices
	`print_constraints`	Input & Output of OCaml polyhedra
	`print_expr`	Input & Output of OCaml vectors
	`print_frame`	Input & Output of OCaml vectors
	`print_frames`	Input & Output of OCaml matrices
	`print_frames`	Input & Output of OCaml polyhedra
	`product`	Algebraic Operations on OCaml vectors
	`product_strict`	Algebraic Operations on OCaml vectors

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