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().