IStopWatch Interface Reference
[SAT Solver]

#include <SatSolver.h>

Inheritance diagram for IStopWatch:

[legend]

List of all members.

---

Detailed Description

Interface of time-watchable activity.

Definition at line 201 of file SatSolver.h.

Public Member Functions
virtual	~IStopWatch ()
virtual long	getTimeElapsed ()=0
	Returns time elapsed by activity.

---

Constructor & Destructor Documentation

virtual ~IStopWatch

(

)

[inline, virtual]

Definition at line 203 of file SatSolver.h.

---

Member Function Documentation

virtual long getTimeElapsed

(

)

[pure virtual]

Returns time elapsed by activity.

Returns:

Returns time elapsed by activity.

Implemented in AbstractProcessWatched.

---

The documentation for this interface was generated from the following file:

• SatSolver.h

---