module B: Loop_analysis.Binary
type
binary =
type
cond =
type
conds = cond list
val binary_compare : binary -> binary -> int
val cond_compare : cond -> cond -> int
module CondSet: Set.Make
(
sig
end
)
type
t = binary
val bottom : binary
val add : binary ->
binary -> binary
val neg : binary -> binary
val pretty : Format.formatter -> binary -> unit
val pretty_cond : Format.formatter -> cond -> unit
val pretty_conds : Format.formatter -> cond list -> unit
val transfer_lval : Cil_types.lval ->
(Cil_types.lval -> binary option) ->
binary
val transfer_exp : Cil_datatype.Exp.t ->
(Cil_types.lval -> binary option) ->
binary
val transfer_exp : Cil_datatype.Exp.t ->
(Cil_types.lval -> binary option) ->
binary
val not_cond : cond -> cond
val transfer_cond : Cil_types.exp ->
(Cil_types.lval -> binary option) ->
cond
val transfer_cond : Cil_types.exp ->
(Cil_types.lval -> binary option) ->
cond
val join_conds : CondSet.elt list ->
CondSet.elt list ->
CondSet.elt list
val join : binary ->
binary -> binary