tactic (frama-c-wp.Wp_gui.GuiTactic.tactic)

inherit Frama_c_gui.Wpalette.tool

inherit Wp.Tactical.feedback

method clear : unit

method targeted : bool

method select : process:
                  ( Wp.Tactical.tactical ->
                    Wp.Tactical.selection ->
                    Wp.Tactical.process ->
                    unit ) ->
  browser:( browser -> unit ) ->
  composer:( composer -> unit ) ->
  tree:Wp.ProofEngine.tree ->
  Wp.Tactical.selection ->
  unit