OKlibrary  0.2.1.6
PartialAssignments::PassAsMaps< Literals > Class Template Reference

PassAsMaps<Literals> yields partial assignments, implemented via std::maps. More...

#include <PartialAssignments.hpp>

List of all members.

Public Types

typedef Literals Lit
typedef Lit::Var Var
typedef Lit::Val Val
typedef map_var_val::iterator iterator
typedef map_var_val::const_iterator const_iterator
typedef map_var_val::size_type size_type

Public Member Functions

 PassAsMaps ()
 PassAsMaps (Lit x)
template<typename Iterator >
 PassAsMaps (Iterator begin, Iterator end)
iterator begin ()
const_iterator begin () const
iterator end ()
const_iterator end () const
bool empty () const
size_type size () const
iterator find (Var v)
const_iterator find (Var v) const
Valoperator[] (Var v)
Auxiliary::Pass_evaluation operator[] (Lit x) const
bool operator== (const PassAsMaps &phi)
bool operator!= (const PassAsMaps &phi)

Detailed Description

template<class Literals>
class PartialAssignments::PassAsMaps< Literals >

PassAsMaps<Literals> yields partial assignments, implemented via std::maps.

Deprecated:
Replaced by PartialAssignments::PassViaMap.

Definition at line 75 of file PartialAssignments.hpp.


Member Typedef Documentation

template<class Literals >
typedef map_var_val::const_iterator PartialAssignments::PassAsMaps< Literals >::const_iterator

Definition at line 87 of file PartialAssignments.hpp.

template<class Literals >
typedef map_var_val::iterator PartialAssignments::PassAsMaps< Literals >::iterator

Definition at line 86 of file PartialAssignments.hpp.

template<class Literals >
typedef Literals PartialAssignments::PassAsMaps< Literals >::Lit

Definition at line 77 of file PartialAssignments.hpp.

template<class Literals >
typedef map_var_val::size_type PartialAssignments::PassAsMaps< Literals >::size_type

Definition at line 88 of file PartialAssignments.hpp.

template<class Literals >
typedef Lit::Val PartialAssignments::PassAsMaps< Literals >::Val

Definition at line 79 of file PartialAssignments.hpp.

template<class Literals >
typedef Lit::Var PartialAssignments::PassAsMaps< Literals >::Var

Definition at line 78 of file PartialAssignments.hpp.


Constructor & Destructor Documentation

template<class Literals >
PartialAssignments::PassAsMaps< Literals >::PassAsMaps ( ) [inline]

Definition at line 90 of file PartialAssignments.hpp.

template<class Literals >
PartialAssignments::PassAsMaps< Literals >::PassAsMaps ( Lit  x) [inline]

Definition at line 91 of file PartialAssignments.hpp.

template<class Literals >
template<typename Iterator >
PartialAssignments::PassAsMaps< Literals >::PassAsMaps ( Iterator  begin,
Iterator  end 
) [inline]

Definition at line 95 of file PartialAssignments.hpp.


Member Function Documentation

template<class Literals >
iterator PartialAssignments::PassAsMaps< Literals >::begin ( ) [inline]

Definition at line 97 of file PartialAssignments.hpp.

template<class Literals >
const_iterator PartialAssignments::PassAsMaps< Literals >::begin ( ) const [inline]

Definition at line 98 of file PartialAssignments.hpp.

template<class Literals >
bool PartialAssignments::PassAsMaps< Literals >::empty ( ) const [inline]

Definition at line 102 of file PartialAssignments.hpp.

template<class Literals >
iterator PartialAssignments::PassAsMaps< Literals >::end ( ) [inline]

Definition at line 99 of file PartialAssignments.hpp.

template<class Literals >
const_iterator PartialAssignments::PassAsMaps< Literals >::end ( ) const [inline]

Definition at line 100 of file PartialAssignments.hpp.

template<class Literals >
iterator PartialAssignments::PassAsMaps< Literals >::find ( Var  v) [inline]
template<class Literals >
const_iterator PartialAssignments::PassAsMaps< Literals >::find ( Var  v) const [inline]

Definition at line 108 of file PartialAssignments.hpp.

template<class Literals >
bool PartialAssignments::PassAsMaps< Literals >::operator!= ( const PassAsMaps< Literals > &  phi) [inline]

Definition at line 129 of file PartialAssignments.hpp.

template<class Literals >
bool PartialAssignments::PassAsMaps< Literals >::operator== ( const PassAsMaps< Literals > &  phi) [inline]

Definition at line 126 of file PartialAssignments.hpp.

template<class Literals >
Val& PartialAssignments::PassAsMaps< Literals >::operator[] ( Var  v) [inline]
template<class Literals >
size_type PartialAssignments::PassAsMaps< Literals >::size ( ) const [inline]

Definition at line 103 of file PartialAssignments.hpp.


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