CheckTableAnalyzer(const TwinTable &, bool outline=true) | osl::checkmate::analyzer::CheckTableAnalyzer | [explicit] |
disproofTreeSize(const CheckHashRecord *record, const HashKey &key, const PathEncoding &path, bool orNode, bool isPartialStack=false) const | osl::checkmate::analyzer::CheckTableAnalyzer | |
disproofTreeSize(const CheckHashRecord *record, const HashKey &key, const PathEncoding &path, bool orNode, size_t &leaf_size, bool isPartialStack=false) const | osl::checkmate::analyzer::CheckTableAnalyzer | |
proofOrDisproofTreeSize(const CheckHashRecord *record, const HashKey &key, const PathEncoding &path, bool orNode, bool isPartialStack=false) const | osl::checkmate::analyzer::CheckTableAnalyzer | |
proofOrDisproofTreeSize(const CheckHashRecord *record, const HashKey &key, const PathEncoding &path, bool orNode, size_t &leaf_size, bool isPartialStack=false) const | osl::checkmate::analyzer::CheckTableAnalyzer | |
proofTreeSize(const CheckHashRecord *record, const HashKey &key, const PathEncoding &path, bool orNode) const | osl::checkmate::analyzer::CheckTableAnalyzer | |
proofTreeSize(const CheckHashRecord *record, const HashKey &key, const PathEncoding &path, bool orNode, size_t &leaf_size) const | osl::checkmate::analyzer::CheckTableAnalyzer | |
showProofTree(const CheckHashRecord *record, const HashKey &key, const PathEncoding &path, bool orNode, std::ostream &os, bool isPartialStack=false) const | osl::checkmate::analyzer::CheckTableAnalyzer | |
showTree(const CheckHashRecord *record, std::ostream &os, int maxDepth, bool expandFinalState=true, bool showTerminalMoves=false, size_t threshold=0) const | osl::checkmate::analyzer::CheckTableAnalyzer | |
table | osl::checkmate::analyzer::CheckTableAnalyzer | [private] |
treeSize(const CheckHashRecord *record) const | osl::checkmate::analyzer::CheckTableAnalyzer | |
useOutlineFormat | osl::checkmate::analyzer::CheckTableAnalyzer | [private] |
~CheckTableAnalyzer() | osl::checkmate::analyzer::CheckTableAnalyzer | |