OKlibrary  0.2.1.6
OKlib::Satisfiability::ProblemInstances::Clauses::RClausesAsSets< Lit > Class Template Reference

Clauses with remove-functionality, implemented by sets. More...

#include <ClausesWithRemoval.hpp>

List of all members.

Public Types

typedef Lit value_type
typedef set_t::const_iterator const_iterator
typedef const_iterator iterator
typedef set_t::size_type size_type
typedef std::pair
< OKlib::Satisfiability::Values::Sat_status,
value_type
unit_return_t

Public Member Functions

template<class Iterator >
 RClausesAsSets (const Iterator begin, const Iterator end)
 RClausesAsSets (const RClausesAsSets &D)
const RClausesAsSetsoperator= (const RClausesAsSets &rhs)
const_iterator begin () const
const_iterator end () const
size_type size () const
bool remove (const value_type x)
template<class TotalAssignment >
std::pair
< OKlib::Satisfiability::Values::Sat_status,
value_type
unit (const TotalAssignment &f) const
template<class TotalAssignment >
OKlib::Satisfiability::Values::Sat_status update (const TotalAssignment &f)

Friends

bool operator== (const RClausesAsSets &lhs, const RClausesAsSets &rhs)

Detailed Description

template<class Lit>
class OKlib::Satisfiability::ProblemInstances::Clauses::RClausesAsSets< Lit >

Clauses with remove-functionality, implemented by sets.

Model of concept ClauseWithRemoval.

Todo:
Write unit-tests.

Definition at line 185 of file ClausesWithRemoval.hpp.


Member Typedef Documentation

template<class Lit >
typedef set_t::const_iterator OKlib::Satisfiability::ProblemInstances::Clauses::RClausesAsSets< Lit >::const_iterator

Definition at line 216 of file ClausesWithRemoval.hpp.

template<class Lit >
typedef set_t::size_type OKlib::Satisfiability::ProblemInstances::Clauses::RClausesAsSets< Lit >::size_type

Definition at line 218 of file ClausesWithRemoval.hpp.

Definition at line 189 of file ClausesWithRemoval.hpp.


Constructor & Destructor Documentation

template<class Lit >
template<class Iterator >
OKlib::Satisfiability::ProblemInstances::Clauses::RClausesAsSets< Lit >::RClausesAsSets ( const Iterator  begin,
const Iterator  end 
) [inline]

Definition at line 192 of file ClausesWithRemoval.hpp.

template<class Lit >
OKlib::Satisfiability::ProblemInstances::Clauses::RClausesAsSets< Lit >::RClausesAsSets ( const RClausesAsSets< Lit > &  D) [inline]

Definition at line 199 of file ClausesWithRemoval.hpp.


Member Function Documentation

Definition at line 220 of file ClausesWithRemoval.hpp.

Definition at line 221 of file ClausesWithRemoval.hpp.

template<class Lit >
const RClausesAsSets& OKlib::Satisfiability::ProblemInstances::Clauses::RClausesAsSets< Lit >::operator= ( const RClausesAsSets< Lit > &  rhs) [inline]

Definition at line 203 of file ClausesWithRemoval.hpp.

template<class Lit >
bool OKlib::Satisfiability::ProblemInstances::Clauses::RClausesAsSets< Lit >::remove ( const value_type  x) [inline]

Definition at line 224 of file ClausesWithRemoval.hpp.

template<class Lit >
size_type OKlib::Satisfiability::ProblemInstances::Clauses::RClausesAsSets< Lit >::size ( ) const [inline]

Definition at line 222 of file ClausesWithRemoval.hpp.


Friends And Related Function Documentation

template<class Lit >
bool operator== ( const RClausesAsSets< Lit > &  lhs,
const RClausesAsSets< Lit > &  rhs 
) [friend]

Definition at line 209 of file ClausesWithRemoval.hpp.


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