OKlib::DPv::Clause_set Struct Reference

#include <BasicDataStructure.hpp>

List of all members.

Public Types

typedef std::set< Clausebase_type
typedef base_type::value_type value_type
typedef base_type::const_iterator const_iterator

Public Member Functions

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

Public Attributes

base_type cs


template<typename T >
Toperator<< (T &os, const Clause_set &cls)

Detailed Description

Definition at line 134 of file BasicDataStructure.hpp.

Member Typedef Documentation

Definition at line 135 of file BasicDataStructure.hpp.

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

Definition at line 137 of file BasicDataStructure.hpp.

typedef base_type::value_type OKlib::DPv::Clause_set::value_type

Definition at line 136 of file BasicDataStructure.hpp.

Member Function Documentation

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

Definition at line 145 of file BasicDataStructure.hpp.

References cs.

Referenced by main().

Friends And Related Function Documentation

template<typename T >
T& operator<< ( T os,
const Clause_set cls 
) [friend]

Definition at line 46 of file Statistics.hpp.

Member Data Documentation

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