DfpnListener Class Reference
[Depth-First Proof Number Search]

Interface for listeners of DfpnSolver. More...

#include <DfpnSolver.hpp>

List of all members.

Public Member Functions
virtual	~DfpnListener ()
virtual void	StateSolved (const DfpnHistory &history, const DfpnData &data)=0
	Called when a state is solved.

---

Detailed Description

Interface for listeners of DfpnSolver.

Definition at line 381 of file DfpnSolver.hpp.

---

Constructor & Destructor Documentation

virtual DfpnListener::~DfpnListener

(

)

[virtual]

---

Member Function Documentation

virtual void DfpnListener::StateSolved	(	const DfpnHistory &	history,
		const DfpnData &	data
	)			[pure virtual]

Called when a state is solved.

---

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

• DfpnSolver.hpp