AbstractProcess::Private Struct Reference

List of all members.

---

Detailed Description

Definition at line 59 of file SatSolver.cpp.

Public Attributes
bool	running
int	steps

---

Member Data Documentation

bool running

Definition at line 60 of file SatSolver.cpp.

Referenced by AbstractProcess::AbstractProcess(), AbstractProcess::reset(), AbstractProcess::start(), and AbstractProcess::stop().

int steps

Definition at line 61 of file SatSolver.cpp.

Referenced by AbstractProcess::AbstractProcess(), AbstractProcess::getStepsCount(), AbstractProcess::reset(), and AbstractProcess::start().

---

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

• SatSolver.cpp

---