
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.
1.7.6.1