3 #ifndef OSL_PROOFTREEDEPTHDFPN_H 4 #define OSL_PROOFTREEDEPTHDFPN_H 14 class CheckHashRecord;
24 std::unique_ptr<Table>
table;
31 std::vector<Move>& pv)
const;
int orNode(const HashKey &key, Move &best_move, int height=0) const
int depth(const HashKey &key, const NumEffectState &state, bool is_or_node) const
int andNode(const HashKey &key, Move &best_move, int height=0) const
std::unique_ptr< Table > table
void retrievePV(const NumEffectState &state, bool is_or_node, std::vector< Move > &pv) const
ProofTreeDepthDfpn(const DfpnTable &table)