module Disjunction: sig .. end
type 'a t
val manager_alloc : 'a Apron.Manager.t -> 'a t Apron.Manager.t
val manager_decompose : 'a t Apron.Manager.t -> 'a Apron.Manager.t
val to_lincons0_set : 'a t Apron.Manager.t ->
'a t Apron.Abstract0.t -> Apron.Lincons0.t array
val to_lincons1_set : 'a t Apron.Manager.t ->
'a t Apron.Abstract1.t -> Apron.Lincons1.earray
val _decompose : 'a t Apron.Manager.t ->
'a t Apron.Abstract0.t -> 'a Apron.Abstract0.t array * int
Decompose an abstract value
val decompose : 'a t Apron.Manager.t ->
'a t Apron.Abstract0.t -> 'a Apron.Abstract0.t array
val compose : 'a t Apron.Manager.t ->
'a Apron.Abstract0.t array -> 'a t Apron.Abstract0.t
Type conversions
val manager_is_disjunction : 'a Apron.Manager.t -> bool
Return true iff the argument manager is a disjunction manager
val manager_of_disjunction : 'a t Apron.Manager.t -> 'b Apron.Manager.t
Make a disjunction manager generic
val manager_to_disjunction : 'a Apron.Manager.t -> 'b t Apron.Manager.t
Instanciate the type of a disjunction manager.
Raises Failure if the argument manager is not a disjunction manager
module Abstract0: sig .. end
module Abstract1: sig .. end