Public 型 | |
typedef Prover::state_t | state_t |
Public メソッド | |
CallProver (bool *r, Prover *p, state_t *s, const HashKey &k, const PathEncoding &pa, ProofOracleAttack< P > o) | |
void | operator() (Position) |
Public 変数 | |
bool * | result |
Prover * | prover |
state_t * | state |
const HashKey & | key |
const PathEncoding & | path |
ProofOracleAttack< P > | oracle |
blockingSimulation.tcc の 20 行で定義されています。
typedef Prover::state_t osl::checkmate::CallProver< Prover, P >::state_t |
blockingSimulation.tcc の 22 行で定義されています。
osl::checkmate::CallProver< Prover, P >::CallProver | ( | bool * | r, | |
Prover * | p, | |||
state_t * | s, | |||
const HashKey & | k, | |||
const PathEncoding & | pa, | |||
ProofOracleAttack< P > | o | |||
) | [inline] |
blockingSimulation.tcc の 29 行で定義されています。
void osl::checkmate::CallProver< Prover, P >::operator() | ( | Position | ) | [inline] |
bool* osl::checkmate::CallProver< Prover, P >::result |
Prover* osl::checkmate::CallProver< Prover, P >::prover |
blockingSimulation.tcc の 24 行で定義されています。
state_t* osl::checkmate::CallProver< Prover, P >::state |
const HashKey& osl::checkmate::CallProver< Prover, P >::key |
const PathEncoding& osl::checkmate::CallProver< Prover, P >::path |
ProofOracleAttack<P> osl::checkmate::CallProver< Prover, P >::oracle |