OKlibrary  0.2.1.6
OKlib::DPv::LiteralSet Struct Reference

#include <BasicDataStructure.hpp>

List of all members.

Public Types

typedef LitSet::const_iterator const_iterator

Public Member Functions

 LiteralSet (const Clause_set &cls)
template<typename T >
void show (T &os)

Public Attributes

LitSet lits

Detailed Description

Definition at line 162 of file BasicDataStructure.hpp.


Member Typedef Documentation

typedef LitSet::const_iterator OKlib::DPv::LiteralSet::const_iterator

Definition at line 164 of file BasicDataStructure.hpp.


Constructor & Destructor Documentation

Definition at line 165 of file BasicDataStructure.hpp.

References OKlib::DPv::Clause_set::cs, and lits.


Member Function Documentation

template<typename T >
void OKlib::DPv::LiteralSet::show ( T os) [inline]

Definition at line 172 of file BasicDataStructure.hpp.

References lits.


Member Data Documentation


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