SequentialWorker Member List

This is the complete list of members for SequentialWorker, including all inherited members.

actualCube (defined in SequentialWorker)	SequentialWorker	protected
addSlave(WorkingStrategy *slave) (defined in WorkingStrategy)	WorkingStrategy	inlinevirtual
force (defined in SequentialWorker)	SequentialWorker	protected
join(WorkingStrategy *winner, SatResult res, const std::vector< int > &model) (defined in SequentialWorker)	SequentialWorker	virtual
mainWorker (defined in SequentialWorker)	SequentialWorker	friend
mutexCondStart (defined in SequentialWorker)	SequentialWorker	protected
mutexStart (defined in SequentialWorker)	SequentialWorker	protected
parent (defined in WorkingStrategy)	WorkingStrategy	protected
SequentialWorker(std::shared_ptr< SolverInterface > solver_) (defined in SequentialWorker)	SequentialWorker
setSolverInterrupt() (defined in SequentialWorker)	SequentialWorker	virtual
slaves (defined in WorkingStrategy)	WorkingStrategy	protected
solve(const std::vector< int > &cube) (defined in SequentialWorker)	SequentialWorker	virtual
solver (defined in SequentialWorker)	SequentialWorker
unsetSolverInterrupt() (defined in SequentialWorker)	SequentialWorker	virtual
waitInterrupt() (defined in SequentialWorker)	SequentialWorker	virtual
waitInterruptLock (defined in SequentialWorker)	SequentialWorker	protected
waitJob (defined in SequentialWorker)	SequentialWorker	protected
worker (defined in SequentialWorker)	SequentialWorker	protected
WorkingStrategy() (defined in WorkingStrategy)	WorkingStrategy	inline
~SequentialWorker() (defined in SequentialWorker)	SequentialWorker
~WorkingStrategy() (defined in WorkingStrategy)	WorkingStrategy	inlinevirtual