OKlibrary  0.2.1.6
OKlib::SATCompetition::ParserResultElement< RandomKSat_n, CharT, ParseIterator > Class Template Reference

#include <ParsingSingleResult.hpp>

Inheritance diagram for OKlib::SATCompetition::ParserResultElement< RandomKSat_n, CharT, ParseIterator >:
OKlib::Parser::ParserBase< CharT, ParseIterator >

List of all members.

Classes

struct  action1
struct  action2

Public Member Functions

 ParserResultElement (RandomKSat_n &s)

Detailed Description

template<typename CharT, typename ParseIterator>
class OKlib::SATCompetition::ParserResultElement< RandomKSat_n, CharT, ParseIterator >

Definition at line 110 of file ParsingSingleResult.hpp.


Constructor & Destructor Documentation

template<typename CharT , typename ParseIterator >
OKlib::SATCompetition::ParserResultElement< RandomKSat_n, CharT, ParseIterator >::ParserResultElement ( RandomKSat_n s) [inline]

Definition at line 133 of file ParsingSingleResult.hpp.

References basename().


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