#include <SatSolver.h>
Definition at line 135 of file SatSolver.h.
Public Member Functions | |
virtual | ~IProcess () |
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 ~IProcess | ( | ) | [inline, virtual] |
Definition at line 137 of file SatSolver.h.
virtual void start | ( | ) | [pure virtual] |
Start process execution. This method returns control after process ends (or after it is stopped by stop() or reset() method).
Implemented in AbstractProcess, and AbstractProcessWatched.
virtual void stop | ( | ) | [pure virtual] |
Stop currently executed process as soon as possible.
Implemented in AbstractProcess, and AbstractProcessWatched.
virtual void reset | ( | ) | [pure virtual] |
Reset process to its initial state.
Implemented in AbstractProcess, and AbstractProcessWatched.