All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Defines
Public Member Functions | Public Attributes
osl::checkmate::DualDfpn::OraclePool::Element Struct Reference
Collaboration diagram for osl::checkmate::DualDfpn::OraclePool::Element:
Collaboration graph
[legend]

List of all members.

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

Detailed Description

Definition at line 34 of file dualDfpn.cc.


Constructor & Destructor Documentation

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.


Member Data Documentation

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.


The documentation for this struct was generated from the following file:
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Defines