Public Types | Public Member Functions

mln::value::internal::iterable_set< T, E > Struct Template Reference

#include <iterable_set.hh>

Inheritance diagram for mln::value::internal::iterable_set< T, E >:
Inheritance graph

List of all members.

Public Types

typedef bkd_viter_< E > bkd_viter
 Backward Value_Iterator associated type.
typedef Value_Set< void > category
typedef E exact_t
typedef fwd_viter_< E > fwd_viter
 Forward Value_Iterator associated type.
typedef T value
 Value associated type.

Public Member Functions

bool has (const T &v) const
 Test if v belongs to this iterable_set: always true!
unsigned index_of (const T &v) const
 Give the index of value v in this iterable_set.
unsigned nvalues () const
 Give the number of values.
operator[] (unsigned i) const
 Give the i-th value.

Detailed Description

template<typename T, typename E>
struct mln::value::internal::iterable_set< T, E >

Class that defines the set of values of type T. This is the exhaustive iterable_set of values obtainable from type T.

Definition at line 58 of file iterable_set.hh.


Member Typedef Documentation

template<typename T , typename E >
typedef bkd_viter_<E> mln::value::internal::iterable_set< T, E >::bkd_viter

Backward Value_Iterator associated type.

Definition at line 67 of file iterable_set.hh.

template<typename E>
typedef Value_Set<void> mln::Value_Set< E >::category [inherited]

Reimplemented from mln::Object< E >.

Definition at line 59 of file value_set.hh.

template<typename E>
typedef E mln::Object< E >::exact_t [inherited]

Definition at line 173 of file object.hh.

template<typename T , typename E >
typedef fwd_viter_<E> mln::value::internal::iterable_set< T, E >::fwd_viter

Forward Value_Iterator associated type.

Definition at line 64 of file iterable_set.hh.

template<typename T , typename E >
typedef T mln::value::internal::iterable_set< T, E >::value

Value associated type.

Definition at line 61 of file iterable_set.hh.


Member Function Documentation

template<typename T , typename E >
bool mln::value::internal::iterable_set< T, E >::has ( const T &  v  )  const [inline]

Test if v belongs to this iterable_set: always true!

Definition at line 90 of file iterable_set.hh.

template<typename T , typename E >
unsigned mln::value::internal::iterable_set< T, E >::index_of ( const T &  v  )  const [inline]

Give the index of value v in this iterable_set.

Definition at line 107 of file iterable_set.hh.

template<typename T , typename E >
unsigned mln::value::internal::iterable_set< T, E >::nvalues (  )  const [inline]

Give the number of values.

Definition at line 115 of file iterable_set.hh.

Referenced by mln::value::internal::iterable_set< T, E >::operator[]().

template<typename T , typename E >
T mln::value::internal::iterable_set< T, E >::operator[] ( unsigned  i  )  const [inline]

Give the i-th value.

Definition at line 98 of file iterable_set.hh.

References mln::value::internal::iterable_set< T, E >::nvalues().