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 ()


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: