IProcess Interface Reference
[SAT Solver]

#include <SatSolver.h>

Inheritance diagram for IProcess:

Inheritance graph
[legend]

List of all members.


Detailed Description

Continous process interface.

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.

Constructor & Destructor Documentation

virtual ~IProcess (  )  [inline, virtual]

Definition at line 137 of file SatSolver.h.


Member Function Documentation

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.

Note:
This implies stop() if process is running.

Implemented in AbstractProcess, and AbstractProcessWatched.


The documentation for this interface was generated from the following file:
Generated on Wed Nov 5 22:30:22 2008 for Fast SAT Solver by  doxygen 1.5.4