Functor Aorai_dataflow.Backwards_computer

module Backwards_computer: 
functor (Reach : Reachable_end_states) -> sig .. end
Parameters:
Reach : Reachable_end_states

val name : string
val debug : bool Pervasives.ref
type t = Data_for_aorai.state 
val pretty : Format.formatter -> Data_for_aorai.state -> unit
val funcExitData : 'a Data_for_aorai.Aorai_state.Map.t
val combineStmtStartData : 'a ->
old:Data_for_aorai.state ->
Data_for_aorai.state -> Data_for_aorai.state option
val combineSuccessors : Data_for_aorai.state -> Data_for_aorai.state -> Data_for_aorai.state
val doStmt : Cil_types.stmt -> Data_for_aorai.state Dataflow.action
val doInstr : Aorai_dataflow.Call_state.key ->
Cil_types.instr ->
'a Data_for_aorai.Aorai_state.Map.t Data_for_aorai.Aorai_state.Map.t ->
(Data_for_aorai.Aorai_state.Set.t * Data_for_aorai.Aorai_state.Set.t *
Data_for_aorai.Vals.t)
Data_for_aorai.Aorai_state.Map.t Data_for_aorai.Aorai_state.Map.t
Dataflow.action
val filterStmt : Cil_types.stmt -> Cil_types.stmt -> bool
module StmtStartData: Dataflow.StartData(sig
type t = Data_for_aorai.state 
val size : int
end)
val stmt_can_reach : Cil_types.stmt -> Cil_types.stmt -> bool