Module `ApronDomain.PolyhedraManager`

Manager for the Polka domain, i.e. a polyhedra domain. For Documentation for the domain see: https://antoinemine.github.io/Apron/doc/api/ocaml/Polka.html

type mt = Polka.loose Polka.t

We chose a the loose polyhedra here, i.e. with polyhedra with no strict inequalities

type t = mt Goblint_lib__.GobApron.Manager.t

val mgr : Polka.loose Polka.t Apron.Manager.t

val name : unit -> string