package polka

You can search for identifiers within the package.

in-package search v0.2.0

Polka: convex polyhedron library by Bertrand Jeannet (now part of apron)

Install

dune-project

Dependency

www-verimag.imag.fr Edit opam file Versions (2)

Authors

B

Bertrand Jeannnet

Maintainers

E

erwan.jahier@univ-grenoble-alpes.fr

Sources

lutin.v2.71.15.tgz

md5=a7da42464f4ad0619bc4e759f2defca3

sha512=2142fe82b22c10f1baaf8591d177f2497c00b93e4f9d92b50e4ff24b34ecbc9d5dc8537efa21c94c09623501a1ef26292cfad36fa12fdde5cbe0add716b9c7cb

doc/polka/Matrix/index.html

Module `Matrix`Source

Sourcetype t

Sourceand equation = {

var : int;
expr : Vector.t;

}

Sourceval dummy : t

Sourceval make : int -> int -> t

Sourceval copy : t -> t

Sourceval _print : t -> unit

Sourceval compare : t -> t -> int

Sourceval hash : t -> int

Sourceval compare_sort : t -> t -> int

Sourceval hash_sort : t -> int

Sourceval get : t -> int -> int -> int

Sourceval get_str10 : t -> int -> int -> string

Sourceval set : t -> int -> int -> int -> unit

Sourceval set_str10 : t -> int -> int -> string -> unit

Sourceval get_row : t -> int -> Vector.t

Sourceval set_row : t -> int -> Vector.t -> unit

Sourceval nbrows : t -> int

Sourceval nbcolumns : t -> int

Sourceval sort_rows : t -> unit

Sourceval merge_sort : t -> t -> t

Sourceval assign_variable : t -> int -> Vector.t -> t

Sourceval substitute_variable : t -> int -> Vector.t -> t

Sourceval assign_variables : t -> equation array -> t

Sourceval substitute_variables : t -> equation array -> t

Sourceval add_dims : t -> int -> t

Sourceval add_dims_multi : t -> Vector.dimsup array -> t

Sourceval del_dims_multi : t -> Vector.dimsup array -> t

Sourceval add_permute_dims : t -> int -> int array -> t

Sourceval permute_del_dims : t -> int -> int array -> t

Sourceval is_row_dummy_constraint : t -> int -> bool

Sourceval get_big_int : t -> int -> int -> Big_int.big_int

Sourceval set_big_int : t -> int -> int -> Big_int.big_int -> unit

Sourceval print : Format.formatter -> t -> unit

Sourceval print_constraints : (int -> string) -> Format.formatter -> t -> unit

Sourceval print_frames : (int -> string) -> Format.formatter -> t -> unit

Sourceval of_lconstraints : (string -> int) -> int -> string list -> t

Sourceval of_lframes : (string -> int) -> int -> string list -> t