Class GuiSequent.focusedSource

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 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 unselect : target
method restore : target -> unit
method on_selection : (unit -> unit) -> unit
method sequent : Wp.Conditions.sequent
method selection : Wp.Tactical.selection
method set_target : Wp.Tactical.selection -> unit
method popup : unit
method on_popup : (Frama_c_gui.Widget.popup -> unit) -> unit
method pp_term : Wp.Lang.F.term printer
method pp_pred : Wp.Lang.F.pred printer
method pp_selection : Wp.Tactical.selection printer
method pp_sequent : Wp.Conditions.sequent -> Format.formatter -> unit
method goal : Wp.Wpo.t -> Format.formatter -> unit
method button : title:string -> callback:(unit -> unit) -> Format.formatter -> unit