Module Eval_slevel.Computer.DataflowArg

module DataflowArg: sig .. end

val debug : bool
val name : string
module StmtStartData: Dataflow2.StartData(sig
type t = Eval_slevel.Computer.diff 
val size : int
end)
type t = Eval_slevel.Computer.diff 
val copy : t -> t
val pretty : Format.formatter -> t -> unit
val computeFirstPredecessor : Cil_types.stmt -> Eval_slevel.Computer.diff -> Eval_slevel.Computer.diff
val combinePredecessors : Cil_types.stmt ->
old:Eval_slevel.Computer.diff ->
Eval_slevel.Computer.diff -> Eval_slevel.Computer.diff option
val doInstr : Cil_types.stmt ->
Cil_types.instr ->
t -> t
val doStmt : Cil_types.stmt ->
t ->
Eval_slevel.Computer.diff Dataflow2.stmtaction
val doEdge : Cil_datatype.Stmt.Hashtbl.key ->
Cil_types.stmt -> Eval_slevel.Computer.diff -> Eval_slevel.Computer.diff
val doGuard : Cil_datatype.Stmt.Hashtbl.key ->
Cil_types.exp ->
Eval_slevel.Computer.diff ->
Eval_slevel.Computer.diff Dataflow2.guardaction *
Eval_slevel.Computer.diff Dataflow2.guardaction