package goblint-cil

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Availexps.AvailableExpsSource

Sourceval name : string
Sourceval debug : bool ref
Sourceval copy : 'a IH.t -> 'a IH.t
Sourceval stmtStartData : Cil.exp IH.t IH.t
Sourceval pretty : unit -> Cil.exp IH.t -> Pretty.doc
Sourceval computeFirstPredecessor : 'a -> 'b -> 'b
Sourceval combinePredecessors : Cil.stmt -> old:t -> t -> Cil.exp IH.t option
Sourceval doInstr : Cil.instr -> 'a -> Cil.exp IH.t DF.action
Sourceval doStmt : 'a -> 'b -> 'c DF.stmtaction
Sourceval doGuard : 'a -> 'b -> 'c DF.guardaction
Sourceval filterStmt : 'a -> bool
OCaml

Innovation. Community. Security.