Public Member Functions | |
Element () | |
Element (const Dfpn::ProofOracle &o, PieceStand p, size_t i, bool c) | |
Public Attributes | |
Dfpn::ProofOracle | oracle |
PieceStand | proof_pieces |
unsigned int | id |
bool | in_check |
Definition at line 34 of file dualDfpn.cc.
Definition at line 40 of file dualDfpn.cc.
osl::checkmate::DualDfpn::OraclePool::Element::Element | ( | const Dfpn::ProofOracle & | o, |
PieceStand | p, | ||
size_t | i, | ||
bool | c | ||
) | [inline] |
Definition at line 43 of file dualDfpn.cc.
unsigned int osl::checkmate::DualDfpn::OraclePool::Element::id |
Definition at line 38 of file dualDfpn.cc.
Definition at line 39 of file dualDfpn.cc.
Definition at line 36 of file dualDfpn.cc.
Definition at line 37 of file dualDfpn.cc.