module Polka: sig
.. end
POLKA: Convex Polyhedra abstract domain
type
internal
POLKA: Convex Polyhedra abstract domain
val manager_alloc : bool -> Apron.Manager.t
Create a NewPolka manager. A true Boolean enables strict constraints.
val manager_get_internal : Apron.Manager.t -> internal
Get the internal submanager of a NewPolka manager.
Various options. See the C documentation
val set_max_coeff_size : internal -> int -> unit
val set_approximate_max_coeff_size : internal -> int -> unit
val get_max_coeff_size : internal -> int
val get_approximate_max_coeff_size : internal -> int