ntesukiSimulationSearcherProof.tcc File Reference

#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"

Include dependency graph for ntesukiSimulationSearcherProof.tcc:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	osl::ntesuki::NtesukiSimulationSearcher::AttackHelperProof< Searcher, P >
class	osl::ntesuki::NtesukiSimulationSearcher::DefenseHelperProof< Searcher, P >
class	CountChildLock

Macros
#define	RETURN

Macro Definition Documentation

#define RETURN

Value:

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

Definition at line 23 of file ntesukiSimulationSearcherProof.tcc.

Referenced by osl::ntesuki::NtesukiSimulationSearcher::attackForProof(), and osl::ntesuki::NtesukiSimulationSearcher::defenseForProof().