List of all members.
Definition at line 135 of file SatSolver.h.
Public Member Functions
|virtual void||start ()=0|
|Start process execution. This method returns control after process ends (or after it is stopped by stop() or reset() method). |
|virtual void||stop ()=0|
|Stop currently executed process as soon as possible. |
|virtual void||reset ()=0|
|Reset process to its initial state. |
|virtual void start||(||)||
|virtual void stop||(||)||
|virtual void reset||(||)||