ntesukiSimulationSearcherProof.tcc

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

ntesukiSimulationSearcherProof.tccのインクルード依存関係図

このグラフは、どのファイルから直接、間接的にインクルードされているかを示しています。

ソースコードを見る。

構成

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

マクロ定義

#define RETURN


マクロ定義

#define RETURN

値:

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

ntesukiSimulationSearcherProof.tcc23 行で定義されています。


Thu Oct 8 05:01:12 2009に生成されました。  doxygen 1.5.6