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

md5=a7da42464f4ad0619bc4e759f2defca3

sha512=2142fe82b22c10f1baaf8591d177f2497c00b93e4f9d92b50e4ff24b34ecbc9d5dc8537efa21c94c09623501a1ef26292cfad36fa12fdde5cbe0add716b9c7cb

Sourceval initialize : strict:bool -> dims:string list -> maxrows:int -> unit

Sourceval nbdims : int ref

Sourceval in_assoc : string -> int

Sourceval out_assoc : int -> string

Sourceval vector_of_constraint : string -> Vector.t

Sourceval vector_of_frame : string -> Vector.t

Sourceval vector_of_expr : string -> Vector.t

Sourceval matrix_of_lconstraints : string list -> Matrix.t

Sourceval matrix_of_lframes : string list -> Matrix.t

Sourceval poly_of_lconstraint : string list -> Poly.t

Sourceval poly_of_lframe : string list -> Poly.t

Sourceval vector_print_constraint : Format.formatter -> Vector.t -> unit

Sourceval vector_print_frame : Format.formatter -> Vector.t -> unit

Sourceval vector_print_expr : Format.formatter -> Vector.t -> unit

Sourceval matrix_print_constraints : Format.formatter -> Matrix.t -> unit

Sourceval matrix_print_frames : Format.formatter -> Matrix.t -> unit

Sourceval poly_print_constraint : Format.formatter -> Poly.t -> unit

Sourceval poly_print_frame : Format.formatter -> Poly.t -> unit

Sourceval poly_print : Format.formatter -> Poly.t -> unit