OKlibrary  0.2.1.6
OKlib::Satisfiability::Assignments::PartialAssignments::BPass0< Lit > Class Template Reference

An immutable boolean partial assignment in the simplest form. More...

#include <Boolean.hpp>

List of all members.

Public Types

typedef Lit literal_type
typedef
lit2pair_functor::litaspair_type 
litaspair_type
typedef lit2pair_functor::var_type var_type
typedef lit2pair_functor::cond_type cond_type
typedef map_type::size_type size_type
typedef
OKlib::Satisfiability::Values::Assignment_status 
status_type

Public Member Functions

 BPass0 ()
template<class LitIterator >
 BPass0 (const LitIterator begin, const LitIterator end)
 BPass0 (const literal_type x)
size_type size () const
bool empty () const
status_type operator() (const literal_type x) const

Friends

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

Detailed Description

template<typename Lit>
class OKlib::Satisfiability::Assignments::PartialAssignments::BPass0< Lit >

An immutable boolean partial assignment in the simplest form.

Definition at line 40 of file Boolean.hpp.


Member Typedef Documentation

Definition at line 48 of file Boolean.hpp.

Definition at line 42 of file Boolean.hpp.

template<typename Lit >
typedef map_type::size_type OKlib::Satisfiability::Assignments::PartialAssignments::BPass0< Lit >::size_type

Definition at line 54 of file Boolean.hpp.

Definition at line 47 of file Boolean.hpp.


Constructor & Destructor Documentation

template<typename Lit >
OKlib::Satisfiability::Assignments::PartialAssignments::BPass0< Lit >::BPass0 ( ) [inline]

Definition at line 57 of file Boolean.hpp.

template<typename Lit >
template<class LitIterator >
OKlib::Satisfiability::Assignments::PartialAssignments::BPass0< Lit >::BPass0 ( const LitIterator  begin,
const LitIterator  end 
) [inline]

Definition at line 59 of file Boolean.hpp.

template<typename Lit >
OKlib::Satisfiability::Assignments::PartialAssignments::BPass0< Lit >::BPass0 ( const literal_type  x) [inline]

Definition at line 60 of file Boolean.hpp.

References OKlib::Literals::cond(), and OKlib::Literals::var().


Member Function Documentation

template<typename Lit >
bool OKlib::Satisfiability::Assignments::PartialAssignments::BPass0< Lit >::empty ( ) const [inline]

Definition at line 66 of file Boolean.hpp.

template<typename Lit >
status_type OKlib::Satisfiability::Assignments::PartialAssignments::BPass0< Lit >::operator() ( const literal_type  x) const [inline]
template<typename Lit >
size_type OKlib::Satisfiability::Assignments::PartialAssignments::BPass0< Lit >::size ( ) const [inline]

Definition at line 65 of file Boolean.hpp.


Friends And Related Function Documentation

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

Definition at line 68 of file Boolean.hpp.


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