TimedStop::Private Struct Reference

Collaboration diagram for TimedStop::Private:

[legend]

List of all members.

---

Detailed Description

Definition at line 54 of file SatSolverObserver.cpp.

Public Attributes
AbstractProcessWatched *	process
long	msec

---

Member Data Documentation

AbstractProcessWatched* process

Definition at line 55 of file SatSolverObserver.cpp.

Referenced by TimedStop::notify(), and TimedStop::TimedStop().

long msec

Definition at line 56 of file SatSolverObserver.cpp.

Referenced by TimedStop::notify(), and TimedStop::TimedStop().

---

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

• SatSolverObserver.cpp

---