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

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

#include <ClausesWithRemoval.hpp>

List of all members.

Public Types

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

Public Member Functions

template<class Iterator >
 RClausesAsVectors (const Iterator begin, const Iterator end)
 RClausesAsVectors (const RClausesAsVectors &D)
const RClausesAsVectorsoperator= (const RClausesAsVectors &rhs)
iterator begin () const
iterator end () const
size_type size () const
bool remove (value_type)
template<class TotalAssignment >
unit_return_t unit (const TotalAssignment &f) const
template<class TotalAssignment >
OKlib::Satisfiability::Values::Sat_status update (const TotalAssignment &f)

Friends

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

Detailed Description

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

Clauses with remove-functionality, implemented by vectors.

Model of concept ClauseWithRemoval.

Todo:
Write unit-tests.

Definition at line 71 of file ClausesWithRemoval.hpp.


Member Typedef Documentation

template<class Lit >
typedef vector_t::const_iterator OKlib::Satisfiability::ProblemInstances::Clauses::RClausesAsVectors< Lit >::const_iterator

Definition at line 106 of file ClausesWithRemoval.hpp.

template<class Lit >
typedef vector_t::size_type OKlib::Satisfiability::ProblemInstances::Clauses::RClausesAsVectors< Lit >::size_type

Definition at line 108 of file ClausesWithRemoval.hpp.

Definition at line 75 of file ClausesWithRemoval.hpp.


Constructor & Destructor Documentation

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

Definition at line 77 of file ClausesWithRemoval.hpp.

Definition at line 84 of file ClausesWithRemoval.hpp.


Member Function Documentation

Definition at line 110 of file ClausesWithRemoval.hpp.

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

Definition at line 89 of file ClausesWithRemoval.hpp.

Definition at line 114 of file ClausesWithRemoval.hpp.

Definition at line 112 of file ClausesWithRemoval.hpp.


Friends And Related Function Documentation

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

Definition at line 99 of file ClausesWithRemoval.hpp.


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