package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Class Ptip.pseqSource

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