Public Member Functions | |
DfpnPathRecord () | |
Public Attributes | |
bool | visiting |
int | distance |
distance from root | |
SimpleTwinList | twin_list |
Static Public Attributes | |
static const int | MaxDistance = 1024*128 |
distance from root
Definition at line 142 of file dfpn.cc.
Referenced by osl::checkmate::DfpnPathList::allocate(), osl::checkmate::Dfpn::analyze(), osl::checkmate::Dfpn::defense(), osl::checkmate::Dfpn::distance(), and osl::checkmate::Dfpn::Tree::dump().
const int osl::checkmate::DfpnPathRecord::MaxDistance = 1024*128 [static] |
Definition at line 139 of file dfpn.cc.
Referenced by osl::checkmate::DfpnPathList::allocate(), and osl::checkmate::DfpnPathList::find().
Definition at line 143 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::Dfpn::Node::setLoopDetection(), and osl::checkmate::Dfpn::tryProofMain().
Definition at line 140 of file dfpn.cc.
Referenced by osl::checkmate::DfpnVisitLock< Enabled >::DfpnVisitLock(), osl::checkmate::Dfpn::setIllegal(), and osl::checkmate::DfpnVisitLock< Enabled >::~DfpnVisitLock().