Module type ApronDomain.AOpsExtra

Extra functions that don't have the pure-imperative correspondence.

type t
val copy : t -> t
val vars : t -> GobApron.Var.t list
type marshal
val unmarshal : marshal -> t
val marshal : t -> marshal
val mem_var : t -> GobApron.Var.t -> bool
val assign_var_parallel' : t -> GobApron.Var.t list -> GobApron.Var.t list -> t
val meet_tcons : Queries.ask -> t -> GobApron.Tcons1.t -> GoblintCil.exp -> t
val to_lincons_array : t -> GobApron.Lincons1.earray
val of_lincons_array : GobApron.Lincons1.earray -> t
val cil_exp_of_lincons1 : GobApron.Lincons1.t -> GoblintCil.exp option
val invariant : t -> GobApron.Lincons1.t list