module Var: sig
.. end
Fol Variable definition
type
t =
val mk_lvar_variable : Cil_types.logic_var -> Formula.tau -> t
val lvar_of_variable : t -> Cil_types.logic_var option
val var_type : t -> Formula.tau
val var_name : t -> string
val basename : t -> string
val kind_of_var : t -> Formula.kind
val var_counter : int Pervasives.ref
val ident_named_var : string -> int -> Formula.tau -> t
val fresh_named_var : string -> Formula.tau -> t
val fresh_typed_var : string -> Cil_types.logic_type -> Formula.tau -> t
val fresh_var : t -> t
val equal : t -> t -> bool
val compare : t -> t -> int