#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().
1.8.4