TimedStop Class Reference
[SAT Solver]

#include <SatSolverObserver.h>

Inheritance diagram for TimedStop:

[legend]

Collaboration diagram for TimedStop:

[legend]

List of all members.

---

Detailed Description

Observer which stops process after specified time.

Definition at line 41 of file SatSolverObserver.h.

Public Member Functions
	TimedStop (AbstractProcessWatched *process, long msec)
virtual	~TimedStop ()
virtual void	notify ()
	Event notification, usually called by object implementing ISubject interface.
Classes
struct	Private

---

Constructor & Destructor Documentation

TimedStop	(	AbstractProcessWatched *	process,
		long	msec
	)

Parameters:

	process	Observed process.
	msec	Time in milliseconds to stop process after.

Definition at line 58 of file SatSolverObserver.cpp.

References TimedStop::Private::msec, and TimedStop::Private::process.

~TimedStop

(

)

[virtual]

Definition at line 64 of file SatSolverObserver.cpp.

---

Member Function Documentation

void notify

(

)

[virtual]

Event notification, usually called by object implementing ISubject interface.

Note:

Design pattern observer

Implements IObserver.

Definition at line 67 of file SatSolverObserver.cpp.

References AbstractProcessWatched::getTimeElapsed(), TimedStop::Private::msec, TimedStop::Private::process, and AbstractProcessWatched::stop().

---

The documentation for this class was generated from the following files:

• SatSolverObserver.h
• SatSolverObserver.cpp

---