package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Library
Module
Module type
Parameter
Class
Class type

Local logic environment

type t
val empty : unit -> t
val add_var : string -> Cil_types.logic_var -> t -> t
val add_type_var : string -> Cil_types.logic_type -> t -> t
val add_logic_info : string -> Cil_types.logic_info -> t -> t
val add_logic_label : string -> Cil_types.logic_label -> t -> t
val find_var : string -> t -> Cil_types.logic_var
val find_type_var : string -> t -> Cil_types.logic_type
val find_logic_info : string -> t -> Cil_types.logic_info
val find_logic_label : string -> t -> Cil_types.logic_label