'a Widget.widget ->
object
val abstraction : Widget.checkbutton Widget.widget
val mutable abstractionString : string
val compound : Widget.checkbutton Widget.widget
val mutable compoundString : string
val mutable depthEntry : Widget.entry Widget.widget
val mutable depthLabel : Widget.label Widget.widget
val frame2 : Widget.frame Widget.widget
val frame3 : Widget.frame Widget.widget
val mutable lst : Widget.listbox Widget.widget
val optimized : Widget.checkbutton Widget.widget
val mutable optimizedString : string
val optionLabel : Widget.label Widget.widget
val mutable solverLabel : Widget.label Widget.widget
method destroy : unit
method execution : string -> Widget.text Widget.widget -> unit
method init : unit
end