OKlibrary  0.2.1.6
OKlib::SATCompetition::Result Class Reference

#include <SingleResult.hpp>

Inheritance diagram for OKlib::SATCompetition::Result:
OKlib::SATCompetition::ResultBasis

List of all members.

Public Member Functions

 Result ()
 Result (const TupleResult &r)
 Result (const Result &r)
Resultoperator= (const Result &rhs)
 ~Result ()

Friends

class ParserResult

Detailed Description

Definition at line 306 of file SingleResult.hpp.


Constructor & Destructor Documentation

Definition at line 348 of file SingleResult.hpp.

Definition at line 350 of file SingleResult.hpp.

Definition at line 352 of file SingleResult.hpp.

Definition at line 366 of file SingleResult.hpp.


Member Function Documentation

Result& OKlib::SATCompetition::Result::operator= ( const Result rhs) [inline]

Definition at line 354 of file SingleResult.hpp.


Friends And Related Function Documentation

friend class ParserResult [friend]

Definition at line 308 of file SingleResult.hpp.


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