WorkingStrategy Class Reference

Base Interface for Working Strategies. More...

#include <WorkingStrategy.hpp>

Inheritance diagram for WorkingStrategy:

Collaboration diagram for WorkingStrategy:

Public Member Functions
virtual void	solve (const std::vector< int > &cube)=0
virtual void	join (WorkingStrategy *winner, SatResult res, const std::vector< int > &model)=0
virtual void	setSolverInterrupt ()=0
virtual void	unsetSolverInterrupt ()=0
virtual void	waitInterrupt ()=0
virtual void	addSlave (WorkingStrategy *slave)

Protected Attributes
WorkingStrategy *	parent
std::vector< WorkingStrategy * >	slaves

Detailed Description

Base Interface for Working Strategies.

---

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

• /github/workspace/src/working/WorkingStrategy.hpp