#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"
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 |
#define RETURN |
Definition at line 23 of file ntesukiSimulationSearcherProof.tcc.
Referenced by osl::ntesuki::NtesukiSimulationSearcher::attackForProof(), and osl::ntesuki::NtesukiSimulationSearcher::defenseForProof().