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