Public 型 | |
typedef Disprover::state_t | state_t |
Public メソッド | |
CallDisprover (bool *r, Disprover *p, state_t *s, const HashKey &k, const PathEncoding &pa, DisproofOracleDefense< P > o, Move last) | |
void | operator() (Position) |
Public 変数 | |
bool * | result |
Disprover * | prover |
state_t * | state |
const HashKey & | new_key |
const PathEncoding & | new_path |
DisproofOracleDefense< P > | oracle |
Move | last_move |
defenseSimulation.tcc の 20 行で定義されています。
typedef Disprover::state_t osl::checkmate::CallDisprover< Disprover, P >::state_t |
defenseSimulation.tcc の 22 行で定義されています。
osl::checkmate::CallDisprover< Disprover, P >::CallDisprover | ( | bool * | r, | |
Disprover * | p, | |||
state_t * | s, | |||
const HashKey & | k, | |||
const PathEncoding & | pa, | |||
DisproofOracleDefense< P > | o, | |||
Move | last | |||
) | [inline] |
defenseSimulation.tcc の 30 行で定義されています。
void osl::checkmate::CallDisprover< Disprover, P >::operator() | ( | Position | ) | [inline] |
defenseSimulation.tcc の 37 行で定義されています。
参照先 osl::checkmate::CallDisprover< Disprover, P >::last_move, osl::checkmate::CallDisprover< Disprover, P >::new_key, osl::checkmate::CallDisprover< Disprover, P >::new_path, osl::checkmate::CallDisprover< Disprover, P >::oracle, osl::checkmate::CallDisprover< Disprover, P >::result, と osl::checkmate::CallDisprover< Disprover, P >::state.
bool* osl::checkmate::CallDisprover< Disprover, P >::result |
defenseSimulation.tcc の 23 行で定義されています。
参照元 osl::checkmate::CallDisprover< Disprover, P >::operator()().
Disprover* osl::checkmate::CallDisprover< Disprover, P >::prover |
defenseSimulation.tcc の 24 行で定義されています。
state_t* osl::checkmate::CallDisprover< Disprover, P >::state |
defenseSimulation.tcc の 25 行で定義されています。
参照元 osl::checkmate::CallDisprover< Disprover, P >::operator()().
const HashKey& osl::checkmate::CallDisprover< Disprover, P >::new_key |
defenseSimulation.tcc の 26 行で定義されています。
参照元 osl::checkmate::CallDisprover< Disprover, P >::operator()().
const PathEncoding& osl::checkmate::CallDisprover< Disprover, P >::new_path |
defenseSimulation.tcc の 27 行で定義されています。
参照元 osl::checkmate::CallDisprover< Disprover, P >::operator()().
DisproofOracleDefense<P> osl::checkmate::CallDisprover< Disprover, P >::oracle |
defenseSimulation.tcc の 28 行で定義されています。
参照元 osl::checkmate::CallDisprover< Disprover, P >::operator()().
Move osl::checkmate::CallDisprover< Disprover, P >::last_move |
defenseSimulation.tcc の 29 行で定義されています。
参照元 osl::checkmate::CallDisprover< Disprover, P >::operator()().