Package: Sequence        GrAL: Packages | Concepts | Homepage

GrAL::domain_of_bijective_mapping< T1, T2, Policy > Class Template Reference
[Representations for one-to-one mappings]

Represents the domain of definition of a mapping.

This class allows STL-style iteration over the items of type T1. More...

#include </home/guntram/tmp/GrAL/sequence/include/Container/bijective-mapping.h>

Collaboration diagram for GrAL::domain_of_bijective_mapping< T1, T2, Policy >:

Collaboration graph
[legend]

List of all members.

Public Types

typedef bijective_mapping< T1,
T2, Policy > 
mapping_type
typedef
mapping_type::map_table_type 
map_table_type
typedef map_table_type::value_type base_value_type
typedef
map_table_type::const_iterator 
base_iter_type
typedef
mapped_value_const_iterator
< base_iter_type, get_first
< base_value_type > const > 
const_iterator
typedef T1 value_type

Public Member Functions

 domain_of_bijective_mapping (const mapping_type &tm)
unsigned size () const
bool is_member (const value_type &x) const
 true if $ x \in \dom(f) $ (domain of underlying mapping $ f $)
const_iterator begin () const
const_iterator end () const
T1 const & front () const


Detailed Description

template<class T1, class T2, class Policy>
class GrAL::domain_of_bijective_mapping< T1, T2, Policy >

Represents the domain of definition of a mapping.

This class allows STL-style iteration over the items of type T1.

This class has reference semantics with respect to bijective_mapping.

Notation:

See also:
Representations for one-to-one mappings, bijective-mapping.h

Definition at line 375 of file bijective-mapping.h.


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

©  Guntram Berti 1997-2009. See the GrAL Homepage for up-to-date information.

Generated on Tue Mar 31 18:53:25 2009 for Sequence by doxygen 1.5.8