Classes | Defines
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

Defines

#define RETURN

Define 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().

 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Defines