DfsSolver Member List

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

BackupIceInfo() const	DfsSolver	`[inline]`
CheckAbort()	DfsSolver	`[private]`
CheckTransposition(DfsData &state) const	DfsSolver	`[private]`
DfsSolver()	DfsSolver
DumpStats(const DfsSolutionSet &solution) const	DfsSolver
HandleLeafNode(DfsData &state, bitset_t &proof) const	DfsSolver	`[private]`
HandleProof(const PointSequence &variation, bool winning_state, DfsSolutionSet &solution)	DfsSolver	`[private]`
HandleTerminalNode(DfsData &state, bitset_t &proof) const	DfsSolver	`[private]`
Histogram() const	DfsSolver	`[inline]`
m_aborted	DfsSolver	`[private]`
m_backup_ice_info	DfsSolver	`[private]`
m_completed	DfsSolver	`[private]`
m_depthLimit	DfsSolver	`[private]`
m_end_time	DfsSolver	`[private]`
m_histogram	DfsSolver	`[mutable, private]`
m_last_histogram_dump	DfsSolver	`[private]`
m_move_ordering	DfsSolver	`[private]`
m_positions	DfsSolver	`[private]`
m_shrink_proofs	DfsSolver	`[private]`
m_start_time	DfsSolver	`[private]`
m_state	DfsSolver	`[private]`
m_statistics	DfsSolver	`[mutable, private]`
m_timeLimit	DfsSolver	`[private]`
m_update_depth	DfsSolver	`[private]`
m_use_decompositions	DfsSolver	`[private]`
m_use_guifx	DfsSolver	`[private]`
m_workBrd	DfsSolver	`[private]`
MoveOrdering() const	DfsSolver	`[inline]`
OrderMoves(bitset_t &mustplay, DfsSolutionSet &solution, std::vector< HexMoveValue > &moves)	DfsSolver	`[private]`
PlayMove(HexPoint cell)	DfsSolver	`[private]`
ProgressDepth() const	DfsSolver
SetBackupIceInfo(bool enable)	DfsSolver	`[inline]`
SetMoveOrdering(int flags)	DfsSolver	`[inline]`
SetProgressDepth(int depth)	DfsSolver
SetShrinkProofs(bool enable)	DfsSolver	`[inline]`
SetUpdateDepth(int depth)	DfsSolver	`[inline]`
SetUseDecompositions(bool enable)	DfsSolver	`[inline]`
SetUseGuiFx(bool enable)	DfsSolver	`[inline]`
ShrinkProofs() const	DfsSolver	`[inline]`
Solve(const HexState &state, HexBoard &board, DfsSolutionSet &solution, DfsStates &positions, int depthLimit=-1, double timeLimit=-1.0)	DfsSolver
SolveDecomposition(PointSequence &variation, DfsSolutionSet &solution, HexPoint group)	DfsSolver	`[private]`
SolveInteriorState(PointSequence &variation, DfsSolutionSet &solution)	DfsSolver	`[private]`
SolveState(PointSequence &variation, DfsSolutionSet &solution)	DfsSolver	`[private]`
StoreState(const DfsData &state, const bitset_t &proof)	DfsSolver	`[private]`
UndoMove(HexPoint cell)	DfsSolver	`[private]`
UpdateDepth() const	DfsSolver	`[inline]`
UseDecompositions() const	DfsSolver	`[inline]`
UseGuiFx() const	DfsSolver	`[inline]`
~DfsSolver()	DfsSolver