package goblint-cil

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