package frama-c

You can search for identifiers within the package.

in-package search v0.2.0

Class `Ptip.pseq`Source

method reset : 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_target : 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