GuiTactic.tactic
inherit Frama_c_gui.Wpalette.tool
inherit Wp.Tactical.feedback
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