sync toc
ClabGui
ClabSharpGui Class
ClabSharpGui Members
ParameterBitmapSingleton Class
ParameterBitmapSingleton Members
ParameterBitmapSingleton Constructor
Fields
AVAILABLE Field
INVALID Field
UNAVAIBALBE Field
VALID_AUTO Field
VALID_USER Field
Methods
GetBitmap Method
Instance Method
Program Class
Program Members
Program Constructor
Program Constructor ()
Program Constructor (String)
Properties
Modus Property
ProblemFilename Property
Methods
AddDataToGui Method
ClabThreadIsAlive Method
OpenFile Method
PauseClabThreadIfRunning Method
ReadTextFromFile Method
SaveFile Method
SaveFileAs Method
SetBDDCompileMethod Method
SetCSPVariableOrdering Method
StartClab Method
StartClabInitialSearchThread Method
StopClab Method
StopClabThreadIfRunning Method
StripPathFromFilename Method
UpdateGuiDomains Method
ValueChosenSearchThread Method
WriteCPToXml Method
WriteTextFile Method