Class Interface.ta4spOption


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

val optionLabel : Widget.label Widget.widget
val verificationLabel : Widget.label Widget.widget
val agent : Widget.checkbutton Widget.widget
val mutable agentString : string
val knowledgeLabel : Widget.label Widget.widget
val tv : Textvariable.textVariable
val mutable rads : Widget.radiobutton Widget.widget list
val frame2 : Widget.frame Widget.widget
val mutable levelLabel : Widget.label Widget.widget
val mutable levelEntry : Widget.entry Widget.widget
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 TA4SP with the parameters of the user