Contains all relevant data for a solution to a state. More...
#include <DfsSolver.hpp>
Public Member Functions | |
DfsSolutionSet () | |
void | SetPV (HexPoint cell) |
void | SetPV (HexPoint cell, const PointSequence &pv) |
Public Attributes | |
bitset_t | proof |
int | m_numMoves |
PointSequence | pv |
DfsBranchStatistics | stats |
Contains all relevant data for a solution to a state.
Definition at line 164 of file DfsSolver.hpp.
DfsSolutionSet::DfsSolutionSet | ( | ) | [inline] |
Definition at line 181 of file DfsSolver.hpp.
void DfsSolutionSet::SetPV | ( | HexPoint | cell, | |
const PointSequence & | pv | |||
) | [inline] |
Definition at line 192 of file DfsSolver.hpp.
References pv.
void DfsSolutionSet::SetPV | ( | HexPoint | cell | ) | [inline] |
Definition at line 186 of file DfsSolver.hpp.
References pv.
Referenced by DfsSolver::OrderMoves(), and DfsSolver::SolveInteriorState().
Definition at line 168 of file DfsSolver.hpp.
Referenced by DfsSolver::DumpStats(), DfsSolver::HandleProof(), DfsSolver::OrderMoves(), DfsSolver::Solve(), DfsSolver::SolveDecomposition(), DfsSolver::SolveInteriorState(), and DfsSolver::SolveState().
Definition at line 166 of file DfsSolver.hpp.
Referenced by DfsCommands::CmdSolverFindWinning(), DfsSolver::HandleProof(), DfsSolver::OrderMoves(), DfsSolver::Solve(), DfsSolver::SolveDecomposition(), DfsSolver::SolveInteriorState(), and DfsSolver::SolveState().
Definition at line 170 of file DfsSolver.hpp.
Referenced by DfsSolver::DumpStats(), DfsSolver::HandleProof(), SetPV(), DfsSolver::Solve(), DfsSolver::SolveDecomposition(), DfsSolver::SolveInteriorState(), and DfsSolver::SolveState().
Definition at line 172 of file DfsSolver.hpp.
Referenced by DfsSolver::DumpStats(), DfsSolver::HandleProof(), DfsSolver::OrderMoves(), DfsSolver::SolveDecomposition(), DfsSolver::SolveInteriorState(), and DfsSolver::SolveState().