#include "osl/ntesuki/ntesukiSimulationSearcher.h"
#include "osl/ntesuki/oracleProverLight.h"
#include "osl/ntesuki/ntesukiExceptions.h"
#include "osl/ntesuki/ntesukiRecord.h"
#include "osl/container/moveVector.h"
#include "osl/move_classifier/safeMove.h"
#include "osl/apply_move/applyMoveWithPath.h"
#include "osl/checkmate/immediateCheckmate.h"
#include "osl/effect_util/effectUtil.h"
#define RETURN |
値:
ntesuki_assert(result.isCheckmateSuccess() ==\ record->getValueWithPath<A>(pass_left, path).isCheckmateSuccess());\ if (record->getValueWithPath<A>(pass_left, path).proof() == 0)\ ntesuki_assert(record->getValueWithPath<A>(pass_left, path).disproof() > ProofDisproof::DISPROOF_LIMIT);\ if (record->getValueWithPath<A>(pass_left, path).disproof() == 0)\ ntesuki_assert(record->getValueWithPath<A>(pass_left, path).proof() > ProofDisproof::PROOF_LIMIT);\ return
ntesukiSimulationSearcherProof.tcc の 23 行で定義されています。