OKlibrary  0.2.1.6
OKlib::DPv::Dimacs Struct Reference

#include <Input_output.hpp>

List of all members.

Public Types

typedef
OKlib::DPv::Clause_set::const_iterator 
const_iterator

Public Attributes

OKlib::DPv::Clause_set formula

Friends

template<typename charT , typename traits >
Dimacsoperator>> (std::basic_istream< charT, traits > &is, Dimacs &obj)
Dimacsoperator>> (std::fstream &is, Dimacs &obj)

Detailed Description

Definition at line 74 of file Input_output.hpp.


Member Typedef Documentation


Friends And Related Function Documentation

template<typename charT , typename traits >
Dimacs& operator>> ( std::basic_istream< charT, traits > &  is,
Dimacs obj 
) [friend]

Definition at line 88 of file Input_output.hpp.

Dimacs& operator>> ( std::fstream &  is,
Dimacs obj 
) [friend]

Definition at line 92 of file Input_output.hpp.


Member Data Documentation


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