IProcess Interface Reference
[SAT Solver]

#include <SatSolver.h>

Inheritance diagram for IProcess:

[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:

• SatSolver.h

---