Go to Overview over all GrAL packages.

---

                     

---

domain_of_bijective_mapping Class Template Reference
[Representations for one-to-one mappings]

Represents the domain of definition of a mapping. More...

#include <bijective-mapping.h>

Collaboration diagram for domain_of_bijective_mapping:

[legend]List of all members.

Public Types
typedef bijective_mapping< T1, T2 >	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_iterator
typedef T1	value_type
Public Methods
	domain_of_bijective_mapping (const mapping_type &tm)
unsigned	size () const
bool	is_member (const value_type &x) const
	true if (domain of underlying mapping ). More...
const_iterator	begin () const
const_iterator	end () const
T1 const &	front () const

---

Detailed Description

template<class T1, class T2>
class domain_of_bijective_mapping< T1, T2 >

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:

• is the underlying mapping
• is the domain of

See also:

Representations for one-to-one mappings, bijective-mapping.h

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

---

Member Typedef Documentation

template<class T1, class T2> typedef bijective_mapping<T1,T2> domain_of_bijective_mapping::mapping_type

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

template<class T1, class T2> typedef mapping_type::map_table_type domain_of_bijective_mapping::map_table_type

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

template<class T1, class T2> typedef map_table_type::value_type domain_of_bijective_mapping::base_value_type

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

template<class T1, class T2> typedef map_table_type::const_iterator domain_of_bijective_mapping::base_iter_type

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

template<class T1, class T2> typedef mapped_value_const_iterator<base_iter_type, get_first<base_value_type> > domain_of_bijective_mapping::const_iterator

Definition at line 308 of file bijective-mapping.h. Referenced by end, and front.

template<class T1, class T2> typedef T1 domain_of_bijective_mapping::value_type

Definition at line 310 of file bijective-mapping.h. Referenced by begin.

---

Constructor & Destructor Documentation

template<class T1, class T2> domain_of_bijective_mapping< T1, T2 >::domain_of_bijective_mapping (  const mapping_type &    tm )  [inline]

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

---

Member Function Documentation

template<class T1, class T2> unsigned domain_of_bijective_mapping< T1, T2 >::size (    )  const [inline]

Definition at line 317 of file bijective-mapping.h. Referenced by bijective_mapping::size.

template<class T1, class T2> bool domain_of_bijective_mapping< T1, T2 >::is_member (  const value_type &    x )  const [inline]

true if (domain of underlying mapping ). Definition at line 320 of file bijective-mapping.h.

template<class T1, class T2> const_iterator domain_of_bijective_mapping< T1, T2 >::begin (    )  const [inline]

Definition at line 322 of file bijective-mapping.h. References bijective_mapping::defined, and value_type.

template<class T1, class T2> const_iterator domain_of_bijective_mapping< T1, T2 >::end (    )  const [inline]

Definition at line 323 of file bijective-mapping.h. References const_iterator, and bijective_mapping::the_map.

template<class T1, class T2> T1 const& domain_of_bijective_mapping< T1, T2 >::front (    )  const [inline]

Definition at line 325 of file bijective-mapping.h. References const_iterator, and bijective_mapping::the_map.

---

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

• Container/bijective-mapping.h

---

Copyright (c) Guntram Berti 1997-2002. See the GrAL Homepage for up-to-date information.

---