OKlib::DPv::Clause Struct Reference

#include <BasicDataStructure.hpp>

List of all members.

Public Types

typedef std::set< Literalbase_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 c


bool operator== (const Clause lhs, const Clause rhs)
bool operator< (const Clause lhs, const Clause rhs)

Detailed Description

Definition at line 89 of file BasicDataStructure.hpp.

Member Typedef Documentation

Definition at line 90 of file BasicDataStructure.hpp.

typedef base_type::const_iterator OKlib::DPv::Clause::const_iterator

Definition at line 92 of file BasicDataStructure.hpp.

typedef base_type::value_type OKlib::DPv::Clause::value_type

Definition at line 91 of file BasicDataStructure.hpp.

Member Function Documentation

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

Definition at line 97 of file BasicDataStructure.hpp.

References c.

Friends And Related Function Documentation

bool operator< ( const Clause  lhs,
const Clause  rhs 
) [friend]

Definition at line 109 of file BasicDataStructure.hpp.

bool operator== ( const Clause  lhs,
const Clause  rhs 
) [friend]

Definition at line 106 of file BasicDataStructure.hpp.

Member Data Documentation

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