Stats for a branch of the search tree. More...
#include <DfsSolver.hpp>
Public Member Functions | |
| DfsBranchStatistics () | |
| void | operator+= (const DfsBranchStatistics &o) |
Public Attributes | |
| unsigned | total_states |
| Total states in tree if no DB and no TT. | |
| unsigned | explored_states |
| States actually visited; includes leafs, tt and db hits. | |
| unsigned | expanded_states |
| Expanded nodes; non leaf, non tt and db hit states. | |
| unsigned | minimal_explored |
| Number of expanded nodes assuming perfect move ordering (assuming the same set of winning moves). | |
| unsigned | decompositions |
| Decompositions found; if black is to move, it must be a decomposition for white. | |
| unsigned | decompositions_won |
| Decompositions where the player to move won. | |
| unsigned | moves_to_consider |
| Total number of moves to consider in expanded states. | |
| unsigned | winning_expanded |
| Number of expanded states that had winning moves. | |
| unsigned | branches_to_win |
| Number of branches tried before win was found. | |
| unsigned | pruned |
| States pruned by mustplay pruning. | |
| unsigned | shrunk |
| Number of proofs that were successfully shrunk. | |
| unsigned | cells_removed |
| Total number of cells removed in all successful proof shrinkings. | |
Stats for a branch of the search tree.
Definition at line 44 of file DfsSolver.hpp.
| DfsBranchStatistics::DfsBranchStatistics | ( | ) | [inline] |
Definition at line 92 of file DfsSolver.hpp.
| void DfsBranchStatistics::operator+= | ( | const DfsBranchStatistics & | o | ) | [inline] |
Definition at line 108 of file DfsSolver.hpp.
References branches_to_win, cells_removed, decompositions, decompositions_won, expanded_states, explored_states, minimal_explored, moves_to_consider, pruned, shrunk, total_states, and winning_expanded.
| unsigned DfsBranchStatistics::branches_to_win |
Number of branches tried before win was found.
Definition at line 75 of file DfsSolver.hpp.
Referenced by DfsSolver::DumpStats(), operator+=(), and DfsSolver::SolveInteriorState().
| unsigned DfsBranchStatistics::cells_removed |
Total number of cells removed in all successful proof shrinkings.
Definition at line 85 of file DfsSolver.hpp.
Referenced by DfsSolver::DumpStats(), DfsSolver::HandleProof(), and operator+=().
| unsigned DfsBranchStatistics::decompositions |
Decompositions found; if black is to move, it must be a decomposition for white.
Definition at line 61 of file DfsSolver.hpp.
Referenced by DfsSolver::DumpStats(), operator+=(), and DfsSolver::SolveDecomposition().
Decompositions where the player to move won.
Definition at line 64 of file DfsSolver.hpp.
Referenced by DfsSolver::DumpStats(), operator+=(), and DfsSolver::SolveDecomposition().
| unsigned DfsBranchStatistics::expanded_states |
Expanded nodes; non leaf, non tt and db hit states.
Definition at line 53 of file DfsSolver.hpp.
Referenced by DfsSolver::DumpStats(), operator+=(), DfsSolver::SolveDecomposition(), and DfsSolver::SolveInteriorState().
| unsigned DfsBranchStatistics::explored_states |
States actually visited; includes leafs, tt and db hits.
Definition at line 50 of file DfsSolver.hpp.
Referenced by DfsSolver::DumpStats(), operator+=(), DfsSolver::OrderMoves(), DfsSolver::SolveDecomposition(), DfsSolver::SolveInteriorState(), and DfsSolver::SolveState().
Number of expanded nodes assuming perfect move ordering (assuming the same set of winning moves).
Definition at line 57 of file DfsSolver.hpp.
Referenced by DfsSolver::DumpStats(), operator+=(), DfsSolver::OrderMoves(), DfsSolver::SolveDecomposition(), DfsSolver::SolveInteriorState(), and DfsSolver::SolveState().
Total number of moves to consider in expanded states.
Includes moves that are later pruned (by mustplay or from skipping due to finding a win).
Definition at line 69 of file DfsSolver.hpp.
Referenced by DfsSolver::DumpStats(), operator+=(), and DfsSolver::SolveInteriorState().
| unsigned DfsBranchStatistics::pruned |
States pruned by mustplay pruning.
Definition at line 78 of file DfsSolver.hpp.
Referenced by DfsSolver::DumpStats(), operator+=(), and DfsSolver::SolveInteriorState().
| unsigned DfsBranchStatistics::shrunk |
Number of proofs that were successfully shrunk.
Definition at line 81 of file DfsSolver.hpp.
Referenced by DfsSolver::DumpStats(), DfsSolver::HandleProof(), and operator+=().
| unsigned DfsBranchStatistics::total_states |
Total states in tree if no DB and no TT.
Definition at line 47 of file DfsSolver.hpp.
Referenced by DfsSolver::DumpStats(), DfsSolver::HandleProof(), operator+=(), DfsSolver::OrderMoves(), DfsSolver::SolveDecomposition(), DfsSolver::SolveInteriorState(), and DfsSolver::SolveState().
Number of expanded states that had winning moves.
Definition at line 72 of file DfsSolver.hpp.
Referenced by DfsSolver::DumpStats(), operator+=(), and DfsSolver::SolveInteriorState().