#include <blockingSimulation.h>
Static Public メソッド | |
template<class Table> | |
static bool | proof (NumEffectState &state, const HashKey &new_key, const PathEncoding &new_path, const CheckHashRecord *record, Table &table, const CheckMove &move, size_t &node_count) |
ߤζ̤ record move ؤ Ρɤ oracle õƥߥ졼 | |
template<class Table> | |
static void | proofSibling (NumEffectState &state, const HashKey &key, const PathEncoding &path, CheckHashRecord *record, Table &table, const CheckMove &oracle, size_t &node_count) |
oracle ǵͤˡoracle.move.to() Ʊ郎 ͤफɤߥ졼롥 | |
Static Private メソッド | |
template<class Table> | |
static bool | proof (NumEffectState &state, const HashKey &, const PathEncoding &, Table &table, const CheckMove &target, const CheckHashRecord *guide, size_t &node_count) |
target ؤ塤guide ƱͤˤĤफɤΤ |
P | ¦ |
blockingSimulation.h の 19 行で定義されています。
bool osl::checkmate::BlockingSimulation< P >::proof | ( | NumEffectState & | state, | |
const HashKey & | new_key, | |||
const PathEncoding & | new_path, | |||
const CheckHashRecord * | record, | |||
Table & | table, | |||
const CheckMove & | move, | |||
size_t & | node_count | |||
) | [inline, static] |
ߤζ̤ record move ؤ Ρɤ oracle õƥߥ졼
blockingSimulation.tcc の 68 行で定義されています。
参照先 osl::stat::Ratio::add(), osl::checkmate::CheckMoveListBase::begin(), osl::checkmate::CheckMoveListBase::end(), osl::checkmate::CheckMove::flags, osl::checkmate::MoveFlags::isSet(), osl::checkmate::CheckMoveCore::move, osl::checkmate::CheckHashRecord::moves, osl::checkmate::CheckMoveCore::record, osl::checkmate::MoveFlags::Solved, と osl::Move::to().
参照元 osl::checkmate::BlockingSimulation< P >::proofSibling().
void osl::checkmate::BlockingSimulation< P >::proofSibling | ( | NumEffectState & | state, | |
const HashKey & | key, | |||
const PathEncoding & | path, | |||
CheckHashRecord * | record, | |||
Table & | table, | |||
const CheckMove & | oracle, | |||
size_t & | node_count | |||
) | [inline, static] |
oracle ǵͤˡoracle.move.to() Ʊ郎 ͤफɤߥ졼롥
blockingSimulation.tcc の 100 行で定義されています。
参照先 osl::stat::Ratio::add(), osl::checkmate::CheckHashRecord::addToSolvedInDefense(), osl::checkmate::CheckTableUtil::allocate(), osl::checkmate::CheckMoveListBase::begin(), osl::checkmate::CheckMoveListBase::end(), osl::checkmate::CheckHashRecord::filter, osl::checkmate::MoveFilter::isTarget(), osl::checkmate::CheckMoveCore::move, osl::checkmate::CheckHashRecord::moves, osl::checkmate::BlockingSimulation< P >::proof(), osl::checkmate::CheckMoveCore::record, と osl::Move::to().
bool osl::checkmate::BlockingSimulation< P >::proof | ( | NumEffectState & | state, | |
const HashKey & | new_key, | |||
const PathEncoding & | new_path, | |||
Table & | table, | |||
const CheckMove & | target, | |||
const CheckHashRecord * | guide, | |||
size_t & | node_count | |||
) | [inline, static, private] |