| attack(const NtesukiRecord *oracle, const unsigned int pass_left) | osl::ntesuki::OracleProverLight | [inline, private] |
| defense(const NtesukiRecord *oracle, const unsigned int pass_left) | osl::ntesuki::OracleProverLight | [inline, private] |
| fixed_search_depth | osl::ntesuki::OracleProverLight | [private] |
| gen_t typedef | osl::ntesuki::OracleProverLight | |
| isscheme | osl::ntesuki::OracleProverLight | [private] |
| mg | osl::ntesuki::OracleProverLight | [private] |
| OracleProverLight(state_t &s, gen_t *g, PathEncoding p, table_t &t, NtesukiRecord::ISScheme isscheme=NtesukiRecord::no_is) | osl::ntesuki::OracleProverLight | [inline, explicit] |
| path | osl::ntesuki::OracleProverLight | [private] |
| startFromAttack(NtesukiRecord *record, const NtesukiRecord *record_orig, const unsigned int pass_left) | osl::ntesuki::OracleProverLight | [inline] |
| startFromDefense(NtesukiRecord *record, const NtesukiRecord *record_orig, const unsigned int pass_left) | osl::ntesuki::OracleProverLight | [inline] |
| state | osl::ntesuki::OracleProverLight | [private] |
| state_t typedef | osl::ntesuki::OracleProverLight | |
| table | osl::ntesuki::OracleProverLight | [private] |
| table_t typedef | osl::ntesuki::OracleProverLight | |