All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
Classes | Macros
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().