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

The documentation for this struct was generated from the following file:

6 Jan 2011 Doxygen 1.6.3