Module Wto_statement

module Wto_statement: sig .. end

Specialization of WTO for the CIL statement graph. See the Wto module for more details


type wto = Cil_types.stmt Wto.partition 

A weak topological ordering where nodes are Cil statements

module WTO: Datatype.S  with type t = wto

The datatype for statement WTOs

val wto_of_kf : Cil_types.kernel_function -> wto
type wto_index = Cil_types.stmt list 

the position of a statement in a wto given as the list of component heads

module WTOIndex: Datatype.S  with type t = wto_index

Datatype for wto_index

val wto_index_of_stmt : Cil_types.stmt -> wto_index
val wto_index_diff : wto_index ->
wto_index -> Cil_types.stmt list * Cil_types.stmt list
val wto_index_diff_of_stmt : Cil_types.stmt -> Cil_types.stmt -> Cil_types.stmt list * Cil_types.stmt list