OKlibrary  0.2.1.6
OKlib::SATCompetition::ResultRandomSat Class Reference

#include <SingleResult.hpp>

Inheritance diagram for OKlib::SATCompetition::ResultRandomSat:
OKlib::SATCompetition::ResultRandomSatBasis OKlib::SATCompetition::ResultBasis

List of all members.

Public Member Functions

 ResultRandomSat ()
 ResultRandomSat (const ResultRandomSat &r)
ResultRandomSatoperator= (const ResultRandomSat &rhs)
 ~ResultRandomSat ()

Friends

class ParserResult

Detailed Description

Definition at line 408 of file SingleResult.hpp.


Constructor & Destructor Documentation


Member Function Documentation

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

Definition at line 453 of file SingleResult.hpp.


Friends And Related Function Documentation

friend class ParserResult [friend]

Definition at line 410 of file SingleResult.hpp.


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