Public Instance Constructors
Program
|
Overloaded. Initializes a new instance of the Program class. |
Public Instance Properties
 Modus | Gets or sets the modus to use, BDD if modus = 0 or CSP if modus = 1. |
| ProblemFilename | Gets or sets the problem filename. |
Public Instance Methods
| AddDataToGui | Adds the variable and domaine values data to GUI. |
| ClabThreadIsAlive | Method for checking if CLab is running a search. |
| Equals (inherited from Object) | Determines whether the specified Object is equal to the current Object. |
| GetHashCode (inherited from Object) | Serves as a hash function for a particular type. GetHashCode is suitable for use in hashing algorithms and data structures like a hash table. |
| GetType (inherited from Object) | Gets the Type of the current instance. |
| OpenFile | Returns the content of a text file |
| PauseClabThreadIfRunning | Pauses the CLab thread if running, and resumes if paused. |
| ReadTextFromFile | Reads the text from a file. |
| SaveFile | Saves the file. |
| SaveFileAs | Saves the file as. |
| SetBDDCompileMethod | Sets the BDD compile method. |
| SetCSPVariableOrdering | Sets the CSP variable ordering. |
| StartClab | Starts a new CLab instance, and fills the GUI with initial data. |
| StartClabInitialSearchThread | Starts the clab initial search thread. |
| StopClab | Sets the CLab reference to null. |
| StopClabThreadIfRunning | Stops the clab thread if running. |
| StripPathFromFilename | Strips the path from filename. |
| ToString (inherited from Object) | Returns a String that represents the current Object. |
| UpdateGuiDomains | Updates the GUI domains with the valid domains. |
| ValueChosenSearchThread | Starts the clab value chosen search thread. |
| WriteCPToXml | Writes a xml file. Writes the CP text to XML. |
| WriteTextFile | Writes a text file. |
Protected Instance Methods
 Finalize (inherited from Object) | Allows an Object to attempt to free resources and perform other cleanup operations before the Object is reclaimed by garbage collection. |
| MemberwiseClone (inherited from Object) | Creates a shallow copy of the current Object. |