Class Axiomatics.hint_collector


class hint_collector : object .. end
Inherits
val mutable current : string option
method private hint : Cil_types.logic_info ->
(Cil_types.logic_label * Cil_types.logic_label) list -> unit
method vterm : Cil_types.term -> Cil_types.term Cil.visitAction
method vpredicate_named : Cil_types.predicate Cil_types.named ->
Cil_types.predicate Cil_types.named Cil.visitAction
method vannotation : Cil_types.global_annotation -> Cil_types.global_annotation Cil.visitAction