Module Wto_statement

module Wto_statement: sig .. end
Weak topological ordering of statements. See "Bourdoncle, Efficient chaotic iteration strategies with widenings" for a complete explanation.

type wto = 
| Nil
| Node of Cil_types.stmt * wto
| Component of wto * wto
module WTO: Datatype.S 
wto as Datatype
val depth_of_stmt : Cil_types.stmt -> int
Returns the depth of a statement
val wto_of_kf : Cil_types.kernel_function -> wto
Returns the wto of a kernel function