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