OKlibrary  0.2.1.6
PartialAssignments::PassViaMap< Variables, Domain > Class Template Reference

PassViaMap<Var, Dom> yields partial assignments, implemented via std::maps. More...

#include <PartialAssignments.hpp>

List of all members.

Public Types

typedef
ConceptDefinitions::BasicPartialAssignment_tag 
Concept
typedef Variables Var
typedef Domain Dom

Public Member Functions

val_iterator operator[] (Var v) const
val_iterator & operator[] (Var v)
void clear ()

Detailed Description

template<class Variables, class Domain>
class PartialAssignments::PassViaMap< Variables, Domain >

PassViaMap<Var, Dom> yields partial assignments, implemented via std::maps.

Definition at line 30 of file PartialAssignments.hpp.


Member Typedef Documentation

template<class Variables , class Domain >
typedef ConceptDefinitions::BasicPartialAssignment_tag PartialAssignments::PassViaMap< Variables, Domain >::Concept

Definition at line 37 of file PartialAssignments.hpp.

template<class Variables , class Domain >
typedef Domain PartialAssignments::PassViaMap< Variables, Domain >::Dom

Definition at line 40 of file PartialAssignments.hpp.

template<class Variables , class Domain >
typedef Variables PartialAssignments::PassViaMap< Variables, Domain >::Var

Definition at line 39 of file PartialAssignments.hpp.


Member Function Documentation

template<class Variables , class Domain >
void PartialAssignments::PassViaMap< Variables, Domain >::clear ( ) [inline]

Definition at line 64 of file PartialAssignments.hpp.

template<class Variables , class Domain >
val_iterator PartialAssignments::PassViaMap< Variables, Domain >::operator[] ( Var  v) const [inline]

Definition at line 53 of file PartialAssignments.hpp.

References end.

template<class Variables , class Domain >
val_iterator& PartialAssignments::PassViaMap< Variables, Domain >::operator[] ( Var  v) [inline]

Definition at line 59 of file PartialAssignments.hpp.


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