OKlibrary  0.2.1.6
OKlib::SATCompetition::ElementaryAnalysis< Database >::SolvedBenchmark Struct Reference

#include <AnalysisTools.hpp>

List of all members.

Public Member Functions

 SolvedBenchmark (const Benchmark &bench)
 SolvedBenchmark (const Benchmark &bench, const ResultNode *node)
 operator Benchmark () const
 operator ResultNode * () const

Public Attributes

const Benchmark bench
const ResultNode *const node

Detailed Description

template<class Database>
struct OKlib::SATCompetition::ElementaryAnalysis< Database >::SolvedBenchmark

Definition at line 76 of file AnalysisTools.hpp.


Constructor & Destructor Documentation

template<class Database>
OKlib::SATCompetition::ElementaryAnalysis< Database >::SolvedBenchmark::SolvedBenchmark ( const Benchmark bench) [inline]

Definition at line 79 of file AnalysisTools.hpp.

template<class Database>
OKlib::SATCompetition::ElementaryAnalysis< Database >::SolvedBenchmark::SolvedBenchmark ( const Benchmark bench,
const ResultNode node 
) [inline]

Definition at line 80 of file AnalysisTools.hpp.


Member Function Documentation

template<class Database>
OKlib::SATCompetition::ElementaryAnalysis< Database >::SolvedBenchmark::operator Benchmark ( ) const [inline]
template<class Database>
OKlib::SATCompetition::ElementaryAnalysis< Database >::SolvedBenchmark::operator ResultNode * ( ) const [inline]

Member Data Documentation


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