OKlib::DPv::VariableSet Struct Reference

#include <BasicDataStructure.hpp>

List of all members.

Public Types

typedef VarSet::const_iterator const_iterator
typedef VarSet::iterator iterator
typedef Variable base_type

Public Member Functions

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

Public Attributes

VarSet vars

Detailed Description

Definition at line 180 of file BasicDataStructure.hpp.

Member Typedef Documentation

typedef VarSet::const_iterator OKlib::DPv::VariableSet::const_iterator

Definition at line 181 of file BasicDataStructure.hpp.

typedef VarSet::iterator OKlib::DPv::VariableSet::iterator

Definition at line 182 of file BasicDataStructure.hpp.

Constructor & Destructor Documentation

Definition at line 184 of file BasicDataStructure.hpp.

References OKlib::DPv::LiteralSet::lits, and vars.

Member Function Documentation

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

Definition at line 191 of file BasicDataStructure.hpp.

References vars.

Referenced by main().

Member Data Documentation

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