disproof(NumEffectState &state, const HashKey &new_key, const PathEncoding &new_path, Table &table, const CheckMove &target, CheckHashRecord *guide, size_t &node_count) | osl::checkmate::DefenseSimulation< P > | [inline, private, static] |
disproofDropSibling(NumEffectState &state, const HashKey &key, const PathEncoding &path, CheckHashRecord *record, Table &table, const CheckMove &oracle, size_t &node_count) | osl::checkmate::DefenseSimulation< P > | [inline, static] |
disproofNoPromote(NumEffectState &state, const HashKey &new_key, const PathEncoding &new_path, CheckHashRecord *record, Table &table, CheckMove &target, const CheckMove &guide, size_t &node_count) | osl::checkmate::DefenseSimulation< P > | [inline, static] |