OKlibrary  0.2.1.6
OKlib::SATCompetition::ResultNode Struct Reference

#include <ResultProcessing.hpp>

List of all members.

Public Member Functions

 ResultNode (const ResultBasis *rb)

Public Attributes

const ResultBasisrb
MapSuperSeries::const_iterator m_sup_ser_it
MapSeries::const_iterator m_ser_it
MapBenchmark::const_iterator m_bench_it
MapSolver::const_iterator m_solv_it
MapSATStatus::const_iterator m_sat_stat_it
MapTimeOut::const_iterator m_tmo_it

Detailed Description

Definition at line 54 of file ResultProcessing.hpp.


Constructor & Destructor Documentation

OKlib::SATCompetition::ResultNode::ResultNode ( const ResultBasis rb) [inline, explicit]

Definition at line 64 of file ResultProcessing.hpp.


Member Data Documentation

MapBenchmark::const_iterator OKlib::SATCompetition::ResultNode::m_bench_it

Definition at line 59 of file ResultProcessing.hpp.

Definition at line 61 of file ResultProcessing.hpp.

Definition at line 58 of file ResultProcessing.hpp.

Definition at line 60 of file ResultProcessing.hpp.

MapSuperSeries::const_iterator OKlib::SATCompetition::ResultNode::m_sup_ser_it

Definition at line 57 of file ResultProcessing.hpp.

MapTimeOut::const_iterator OKlib::SATCompetition::ResultNode::m_tmo_it

Definition at line 62 of file ResultProcessing.hpp.


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