GuiTactic.strategies
inherit Frama_c_gui.Wpalette.tool
method register : Wp.Strategy.heuristic -> unit
method connect : callback option -> unit