Class Interface.hlpsl2ifOption


class hlpsl2ifOption : 'a Widget.widget -> object .. end

val optionLabel : Widget.label Widget.widget
val types : Widget.checkbutton Widget.widget
val mutable typesString : string
val inits : Widget.checkbutton Widget.widget
val mutable initString : string
val rules : Widget.checkbutton Widget.widget
val mutable rulesString : string
val goals : Widget.checkbutton Widget.widget
val mutable goalsString : string
method init : unit
Initialize the objects of this class
method destroy : unit
Destruct the objects of this class, and the graphical objects builds by the objects of this class
method execution : string -> Widget.text Widget.widget -> unit
Execute HLPSL2IF with the parameters of the user