Public Member Functions | |
DefenseHelper (Searcher *searcher, const NtesukiRecord *record_orig, unsigned int pass_left) | |
void | operator() (Square p) |
Public Attributes | |
bool | result |
Private Attributes | |
Searcher * | searcher |
const NtesukiRecord * | record_orig |
unsigned int | pass_left |
Definition at line 48 of file oracleProverLight.tcc.
osl::ntesuki::OracleProverLight::DefenseHelper< Searcher, P >::DefenseHelper | ( | Searcher * | searcher, |
const NtesukiRecord * | record_orig, | ||
unsigned int | pass_left | ||
) | [inline] |
Definition at line 58 of file oracleProverLight.tcc.
void osl::ntesuki::OracleProverLight::DefenseHelper< Searcher, P >::operator() | ( | Square | p | ) | [inline] |
Definition at line 64 of file oracleProverLight.tcc.
References result.
unsigned int osl::ntesuki::OracleProverLight::DefenseHelper< Searcher, P >::pass_left [private] |
Definition at line 53 of file oracleProverLight.tcc.
const NtesukiRecord* osl::ntesuki::OracleProverLight::DefenseHelper< Searcher, P >::record_orig [private] |
Definition at line 52 of file oracleProverLight.tcc.
bool osl::ntesuki::OracleProverLight::DefenseHelper< Searcher, P >::result |
Definition at line 56 of file oracleProverLight.tcc.
Referenced by osl::ntesuki::OracleProverLight::defense().
Searcher* osl::ntesuki::OracleProverLight::DefenseHelper< Searcher, P >::searcher [private] |
Definition at line 51 of file oracleProverLight.tcc.