OKlib::SATCompetition::RandomKSat Class Reference

#include <SingleResult.hpp>

Inherits SuperSeries.

List of all members.

Public Member Functions

 RandomKSat ()
 RandomKSat (const string_type &name, const natural_number_type k)
natural_number_type clause_length () const
const RandomKSatself () const

Detailed Description

Definition at line 104 of file SingleResult.hpp.

Constructor & Destructor Documentation

Definition at line 107 of file SingleResult.hpp.

OKlib::SATCompetition::RandomKSat::RandomKSat ( const string_type &  name,
const natural_number_type  k 
) [inline]

Definition at line 108 of file SingleResult.hpp.

Member Function Documentation

natural_number_type OKlib::SATCompetition::RandomKSat::clause_length ( ) const [inline]

Definition at line 109 of file SingleResult.hpp.

Definition at line 110 of file SingleResult.hpp.

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