
Public Member Functions | |
| DfpnPathRecord () | |
Public Attributes | |
| SimpleTwinList | twin_list |
| int | distance |
| distance from root | |
| bool | visiting |
| size_t | node_count |
Static Public Attributes | |
| static const int | MaxDistance = 1024*128 |
| osl::checkmate::DfpnPathRecord::DfpnPathRecord | ( | ) | [inline] |
distance from root
Definition at line 164 of file dfpn.cc.
Referenced by osl::checkmate::DfpnPathList::allocate(), osl::checkmate::Dfpn::analyze(), osl::checkmate::Dfpn::defense(), and osl::checkmate::Dfpn::distance().
const int osl::checkmate::DfpnPathRecord::MaxDistance = 1024*128 [static] |
Definition at line 161 of file dfpn.cc.
Referenced by osl::checkmate::DfpnPathList::allocate(), and osl::checkmate::DfpnPathList::find().
Definition at line 166 of file dfpn.cc.
Referenced by osl::checkmate::Dfpn::defense(), and osl::checkmate::DfpnPathList::precious().
Definition at line 162 of file dfpn.cc.
Referenced by osl::checkmate::Dfpn::analyze(), osl::checkmate::Dfpn::Tree::dump(), osl::checkmate::Dfpn::hasCheckmateMove(), osl::checkmate::Dfpn::hasEscapeMove(), osl::checkmate::DfpnPathList::precious(), osl::checkmate::Dfpn::Node::setLoopDetection(), and osl::checkmate::Dfpn::tryProofMain().
Definition at line 165 of file dfpn.cc.
Referenced by osl::checkmate::DfpnVisitLock< Enabled >::DfpnVisitLock(), osl::checkmate::DfpnPathList::precious(), osl::checkmate::Dfpn::setIllegal(), and osl::checkmate::DfpnVisitLock< Enabled >::~DfpnVisitLock().
1.7.6.1