OKlibrary  0.2.1.6
OKlib::DPv::DimacsParser< ClauseSet > Class Template Reference

#include <Input_output.hpp>

Inheritance diagram for OKlib::DPv::DimacsParser< ClauseSet >:
OKlib::Parser::ParserBase<>

List of all members.

Classes

struct  action1
struct  action2
struct  action3
struct  action4
struct  action5

Public Member Functions

 DimacsParser (ClauseSet &F)

Detailed Description

template<class ClauseSet>
class OKlib::DPv::DimacsParser< ClauseSet >

Definition at line 161 of file Input_output.hpp.


Constructor & Destructor Documentation

template<class ClauseSet >
OKlib::DPv::DimacsParser< ClauseSet >::DimacsParser ( ClauseSet &  F) [inline]

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