Go to Overview over all GrAL packages.

---

                     

---

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

Represents a one-to-one mapping T1 -> T2. More...

#include <bijective-mapping.h>

List of all members.

Public Types
typedef inverse_mapping< T1, T2 >	inverse_type
typedef domain_of_bijective_mapping< T1, T2 >	domain_type
typedef range_of_bijective_mapping< T1, T2 >	range_type
typedef T1	argument_type
typedef T2	result_type
typedef bijective_mapping< T1, T2 >	self
typedef map_table_type::size_type	size_type
Public Methods
	bijective_mapping ()
	Empty mapping, . More...
	bijective_mapping (unsigned sz)
	Empty mapping, , internal storage allocated. More...
	bijective_mapping (inverse_mapping< T2, T1 > const &inv)
	. More...
const T2 &	operator() (const T1 &t1) const
	returns , Pre: . More...
const T2 &	operator[] (const T1 &t1) const
	returns $f f(t_1) $f, Pre: . More...
T2 &	operator[] (const T1 &t1)
	returns , else an uninitialized value. More...
bool	defined (const T1 &t1) const
	returns true iff . More...
inverse_type	inverse () const
	returns the inverse mapping . More...
domain_type	domain () const
	returns the domain of definition . More...
range_type	range () const
	returns the range (image) . More...
size_type	size () const
	returns . More...
Friends
class	bijective_mapping
class	inverse_mapping
class	domain_of_bijective_mapping
class	range_of_bijective_mapping

---

Detailed Description

template<class T1, class T2>
class bijective_mapping< T1, T2 >

Represents a one-to-one mapping T1 -> T2.

See also:

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

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

---

Member Typedef Documentation

template<class T1, class T2> typedef inverse_mapping<T1,T2> bijective_mapping::inverse_type

Definition at line 151 of file bijective-mapping.h. Referenced by inverse.

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

Definition at line 152 of file bijective-mapping.h. Referenced by domain.

template<class T1, class T2> typedef range_of_bijective_mapping<T1,T2> bijective_mapping::range_type

Definition at line 153 of file bijective-mapping.h. Referenced by range.

template<class T1, class T2> typedef T1 bijective_mapping::argument_type

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

template<class T1, class T2> typedef T2 bijective_mapping::result_type

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

template<class T1, class T2> typedef bijective_mapping<T1,T2> bijective_mapping::self

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

template<class T1, class T2> typedef map_table_type::size_type bijective_mapping::size_type

Definition at line 221 of file bijective-mapping.h. Referenced by size.

---

Constructor & Destructor Documentation

template<class T1, class T2> bijective_mapping< T1, T2 >::bijective_mapping (    )  [inline]

Empty mapping, . Definition at line 184 of file bijective-mapping.h.

template<class T1, class T2> bijective_mapping< T1, T2 >::bijective_mapping (  unsigned    sz )  [inline]

Empty mapping, , internal storage allocated. Definition at line 186 of file bijective-mapping.h.

template<class T1, class T2> bijective_mapping< T1, T2 >::bijective_mapping (  inverse_mapping< T2, T1 > const &    inv )

. Definition at line 36 of file bijective-mapping.C.

---

Member Function Documentation

template<class T1, class T2> const T2& bijective_mapping< T1, T2 >::operator() (  const T1 &    t1 )  const [inline]

returns , Pre: . Definition at line 193 of file bijective-mapping.h.

template<class T1, class T2> const T2& bijective_mapping< T1, T2 >::operator[] (  const T1 &    t1 )  const [inline]

returns $f f(t_1) $f, Pre: . Definition at line 199 of file bijective-mapping.h.

template<class T1, class T2> T2& bijective_mapping< T1, T2 >::operator[] (  const T1 &    t1 )  [inline]

returns , else an uninitialized value. Definition at line 205 of file bijective-mapping.h.

template<class T1, class T2> bool bijective_mapping< T1, T2 >::defined (  const T1 &    t1 )  const [inline]

returns true iff . Definition at line 208 of file bijective-mapping.h. Referenced by domain_of_bijective_mapping::begin, and main.

template<class T1, class T2> inverse_mapping< T1, T2 > bijective_mapping< T1, T2 >::inverse (    )  const [inline]

returns the inverse mapping . Definition at line 379 of file bijective-mapping.h. References inverse_type. Referenced by main.

template<class T1, class T2> domain_of_bijective_mapping< T1, T2 > bijective_mapping< T1, T2 >::domain (    )  const [inline]

returns the domain of definition . Definition at line 384 of file bijective-mapping.h. References domain_type. Referenced by main, inverse_mapping::range, size, and write_bm.

template<class T1, class T2> range_of_bijective_mapping< T1, T2 > bijective_mapping< T1, T2 >::range (    )  const [inline]

returns the range (image) . Definition at line 389 of file bijective-mapping.h. References range_type. Referenced by inverse_mapping::domain, and main.

template<class T1, class T2> size_type bijective_mapping< T1, T2 >::size (    )  const [inline]

returns . Definition at line 223 of file bijective-mapping.h. References domain, domain_of_bijective_mapping::size, and size_type.

---

Friends And Related Function Documentation

template<class T1, class T2> friend class bijective_mapping [friend]

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

template<class T1, class T2> friend class inverse_mapping [friend]

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

template<class T1, class T2> friend class domain_of_bijective_mapping [friend]

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

template<class T1, class T2> friend class range_of_bijective_mapping [friend]

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

---

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

• Container/bijective-mapping.h
• Container/bijective-mapping.C

---

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

---