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.
|
inline |
Definition at line 40 of file dualDfpn.cc.
|
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.
bool osl::checkmate::DualDfpn::OraclePool::Element::in_check |
Definition at line 39 of file dualDfpn.cc.
Dfpn::ProofOracle osl::checkmate::DualDfpn::OraclePool::Element::oracle |
Definition at line 36 of file dualDfpn.cc.
PieceStand osl::checkmate::DualDfpn::OraclePool::Element::proof_pieces |
Definition at line 37 of file dualDfpn.cc.