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