AbstractProcessWatched::Private Struct Reference

List of all members.

---

Detailed Description

Definition at line 92 of file SatSolver.cpp.

Public Member Functions
long	currentElapsed ()
Public Attributes
clock_t	start
long	total
bool	running
Static Public Attributes
static const long	RATIO = CLOCKS_PER_SEC/1000L

---

Member Function Documentation

long currentElapsed

(

)

[inline]

Definition at line 97 of file SatSolver.cpp.

References AbstractProcess::start().

Referenced by AbstractProcessWatched::getTimeElapsed(), and AbstractProcessWatched::stop().

---

Member Data Documentation

const long RATIO = CLOCKS_PER_SEC/1000L [static]

Definition at line 93 of file SatSolver.cpp.

clock_t start

Definition at line 94 of file SatSolver.cpp.

Referenced by AbstractProcessWatched::start().

long total

Definition at line 95 of file SatSolver.cpp.

Referenced by AbstractProcessWatched::AbstractProcessWatched(), AbstractProcessWatched::getTimeElapsed(), AbstractProcessWatched::reset(), and AbstractProcessWatched::stop().

bool running

Definition at line 96 of file SatSolver.cpp.

Referenced by AbstractProcessWatched::AbstractProcessWatched(), AbstractProcessWatched::getTimeElapsed(), AbstractProcessWatched::reset(), AbstractProcessWatched::start(), and AbstractProcessWatched::stop().

---

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

• SatSolver.cpp

---