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

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

osl::checkmate::DualDfpn::OraclePool::Element::Element ( )
inline

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

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.


The documentation for this struct was generated from the following file: