Frama-C:
Plug-ins:
Libraries:

Frama-C API - Disjunction

type 'a t
val manager_alloc : 'a Manager.t -> 'a t Manager.t
val manager_decompose : 'a t Manager.t -> 'a Manager.t
val to_lincons0_set : 'a t Manager.t -> 'a t Abstract0.t -> Lincons0.t array
val to_lincons1_set : 'a t Manager.t -> 'a t Abstract1.t -> Lincons1.earray
val _decompose : 'a t Manager.t -> 'a t Abstract0.t -> 'a Abstract0.t array * int
val decompose : 'a t Manager.t -> 'a t Abstract0.t -> 'a Abstract0.t array
val compose : 'a t Manager.t -> 'a Abstract0.t array -> 'a t Abstract0.t
val manager_is_disjunction : 'a Manager.t -> bool
val manager_of_disjunction : 'a t Manager.t -> 'b Manager.t
val manager_to_disjunction : 'a Manager.t -> 'b t Manager.t
module Abstract0 : sig ... end
module Abstract1 : sig ... end