OKlibrary  0.2.1.6
OKlib::SATCompetition::ResultRandomSatBasis Class Reference

#include <SingleResult.hpp>

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

List of all members.

Public Member Functions

const RandomKSatsuper_series_random () const
const RandomKSat_nseries_random () const

Detailed Description

Definition at line 397 of file SingleResult.hpp.


Member Function Documentation


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