Frama-C:
Plug-ins:
Libraries:

Frama-C API - pseq

method reset : unit
method update_ce_models : Wp__.Wpo.t -> unit
method get_ce_mode : bool
method set_ce_mode : bool -> unit
method get_focus_mode : bool
method set_focus_mode : bool -> unit
method get_state_mode : bool
method set_state_mode : bool -> unit
method set_unmangled : bool -> unit
method get_iformat : Wp__.Plang.iformat
method set_iformat : Wp__.Plang.iformat -> unit
method get_rformat : Wp__.Plang.rformat
method set_rformat : Wp__.Plang.rformat -> unit
method selected : unit
method target : target
method unselect : target
method restore : focus:focus -> target -> unit
method resolve : target -> Wp__.Tactical.selection
method on_selection : (unit -> unit) -> unit
method sequent : Wp__.Conditions.sequent
method selection : Wp__.Tactical.selection
method set_selection : Wp__.Tactical.selection -> unit
method highlight : Wp__.Tactical.selection -> unit
method pp_term : F.term printer
method pp_pred : F.pred printer
method pp_selection : Wp__.Tactical.selection printer
method pp_sequent : Wp__.Conditions.sequent printer
method pp_goal : Wp__.Wpo.t printer