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.
|
inline |
Definition at line 58 of file oracleProverLight.tcc.
|
inline |
Definition at line 64 of file oracleProverLight.tcc.
References result.
|
private |
Definition at line 53 of file oracleProverLight.tcc.
|
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.
|
private |
Definition at line 51 of file oracleProverLight.tcc.