package cil

  1. Overview
  2. Docs
package cil
Legend:
Library
Module
Module type
Parameter
Class
Class type
val name : string
val debug : bool Pervasives.ref
type t = stmtState
val copy : stmtState -> stmtState
val stmtStartData : stmtState IH.t
val pretty : unit -> stmtState -> Pretty.doc
val computeFirstPredecessor : Cil.stmt -> stmtState -> stmtState
val combinePredecessors : Cil.stmt -> old:t -> t -> stmtState option
val doInstr : 'a -> 'b -> 'c DF.action
val filterStmt : 'a -> bool