class satmcOption : 'a Widget.widget ->
object
.. end
val optionLabel : Widget.label Widget.widget
val frame2 : Widget.frame Widget.widget
val mutable solverLabel : Widget.label Widget.widget
val mutable lst : Widget.listbox Widget.widget
val frame3 : Widget.frame Widget.widget
val mutable depthLabel : Widget.label Widget.widget
val mutable depthEntry : Widget.entry Widget.widget
val abstraction : Widget.checkbutton Widget.widget
val mutable abstractionString : string
val compound : Widget.checkbutton Widget.widget
val mutable compoundString : string
val optimized : Widget.checkbutton Widget.widget
val mutable optimizedString : 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 SATMC with the parameters of the user