OKlibrary  0.2.1.6
OKlib::PartialAssignments::MultiPASS< Values, NumVar, Var > Class Template Reference

Very first prototype for a set-valued partial assignment. More...

#include <MultivaluedPartialAssignments.hpp>

List of all members.

Public Types

typedef Values value_type
typedef std::set< value_typedomain_type
typedef Var variables_type
typedef
OKlib::Variables::traits::index_type
< Var >::type 
index_type
typedef std::pair
< variables_type, domain_type
literal_type
typedef stack_type::size_type token_type

Public Member Functions

 BOOST_STATIC_ASSERT ((std::tr1::is_base_of< OKlib::Concepts::VariablesAsIndex_tag, typename OKlib::Concepts::traits::concept_tag< Var >::type >::value))
const domain_typeoperator[] (const variables_type v) const
void set (const variables_type v, domain_type &S)
token_type get_token () const
void undo (const token_type last_token)

Static Public Attributes

static const unsigned int n = NumVar

Detailed Description

template<class Values, unsigned int NumVar, class Var>
class OKlib::PartialAssignments::MultiPASS< Values, NumVar, Var >

Very first prototype for a set-valued partial assignment.

MultiPASS<Values, NumVar, Var> :

  • Values is the value-type
  • NumVar is the number of variables
  • Var is a model of VariablesAsIndex.

Definition at line 42 of file MultivaluedPartialAssignments.hpp.


Member Typedef Documentation

template<class Values, unsigned int NumVar, class Var>
typedef std::set<value_type> OKlib::PartialAssignments::MultiPASS< Values, NumVar, Var >::domain_type

Definition at line 46 of file MultivaluedPartialAssignments.hpp.

template<class Values, unsigned int NumVar, class Var>
typedef OKlib::Variables::traits::index_type<Var>::type OKlib::PartialAssignments::MultiPASS< Values, NumVar, Var >::index_type

Definition at line 49 of file MultivaluedPartialAssignments.hpp.

template<class Values, unsigned int NumVar, class Var>
typedef std::pair<variables_type, domain_type> OKlib::PartialAssignments::MultiPASS< Values, NumVar, Var >::literal_type

Definition at line 58 of file MultivaluedPartialAssignments.hpp.

template<class Values, unsigned int NumVar, class Var>
typedef stack_type::size_type OKlib::PartialAssignments::MultiPASS< Values, NumVar, Var >::token_type

Definition at line 80 of file MultivaluedPartialAssignments.hpp.

template<class Values, unsigned int NumVar, class Var>
typedef Values OKlib::PartialAssignments::MultiPASS< Values, NumVar, Var >::value_type

Definition at line 45 of file MultivaluedPartialAssignments.hpp.

template<class Values, unsigned int NumVar, class Var>
typedef Var OKlib::PartialAssignments::MultiPASS< Values, NumVar, Var >::variables_type

Definition at line 48 of file MultivaluedPartialAssignments.hpp.


Member Function Documentation

template<class Values, unsigned int NumVar, class Var>
OKlib::PartialAssignments::MultiPASS< Values, NumVar, Var >::BOOST_STATIC_ASSERT ( (std::tr1::is_base_of< OKlib::Concepts::VariablesAsIndex_tag, typename OKlib::Concepts::traits::concept_tag< Var >::type >::value)  )
template<class Values, unsigned int NumVar, class Var>
token_type OKlib::PartialAssignments::MultiPASS< Values, NumVar, Var >::get_token ( ) const [inline]
template<class Values, unsigned int NumVar, class Var>
const domain_type& OKlib::PartialAssignments::MultiPASS< Values, NumVar, Var >::operator[] ( const variables_type  v) const [inline]

Definition at line 60 of file MultivaluedPartialAssignments.hpp.

template<class Values, unsigned int NumVar, class Var>
void OKlib::PartialAssignments::MultiPASS< Values, NumVar, Var >::set ( const variables_type  v,
domain_type S 
) [inline]
template<class Values, unsigned int NumVar, class Var>
void OKlib::PartialAssignments::MultiPASS< Values, NumVar, Var >::undo ( const token_type  last_token) [inline]

Member Data Documentation


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