| 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 |
|