#include <object_id.hh>

Public Types | |
| typedef Integer< void > | category |
| typedef V | enc |
| typedef unsigned | equiv |
| typedef E | exact_t |
| typedef V | value_t |
| The underlying type id. | |
Public Member Functions | |
| void | invalidate () |
| bool | is_valid () const |
| operator unsigned () const | |
| template<typename V2> | |
| object_id< Tag, V > & | operator= (const V2 &e) |
| unsigned | to_equiv () const |
| V & | value () |
| const V & | value () const |
| template<typename Tag2, typename V2> | |
| object_id (const object_id< Tag2, V2 > &other) | |
| template<typename V2> | |
| object_id (const V2 &id) | |
| object_id () | |
| Constructors. | |
Protected Attributes | |
| V | id_ |
Definition at line 48 of file object_id.hh.
typedef Integer<void> mln::value::Integer< E >::category [inherited] |
| typedef V mln::util::object_id< Tag, V >::enc |
Definition at line 54 of file object_id.hh.
| typedef unsigned mln::util::object_id< Tag, V >::equiv |
Definition at line 53 of file object_id.hh.
typedef E mln::Object< E >::exact_t [inherited] |
| typedef V mln::util::object_id< Tag, V >::value_t |
| mln::util::object_id< Tag, V >::object_id | ( | ) | [inline] |
| mln::util::object_id< Tag, V >::object_id | ( | const V2 & | id | ) | [inline] |
Definition at line 107 of file object_id.hh.
| mln::util::object_id< Tag, V >::object_id | ( | const object_id< Tag2, V2 > & | other | ) | [inline] |
Definition at line 116 of file object_id.hh.
| void mln::util::object_id< Tag, V >::invalidate | ( | ) | [inline] |
Definition at line 169 of file object_id.hh.
References mln::util::object_id< Tag, V >::id_.
Referenced by mln::util::edge< G >::invalidate().
| bool mln::util::object_id< Tag, V >::is_valid | ( | ) | const [inline] |
Definition at line 161 of file object_id.hh.
References mln::util::object_id< Tag, V >::id_.
Referenced by mln::util::edge< G >::is_valid().
| mln::util::object_id< Tag, V >::operator unsigned | ( | ) | const [inline] |
| object_id< Tag, V > & mln::util::object_id< Tag, V >::operator= | ( | const V2 & | e | ) | [inline] |
| unsigned mln::util::object_id< Tag, V >::to_equiv | ( | ) | const [inline] |
| V & mln::util::object_id< Tag, V >::value | ( | ) | [inline] |
| const V & mln::util::object_id< Tag, V >::value | ( | ) | const [inline] |
Definition at line 145 of file object_id.hh.
References mln::util::object_id< Tag, V >::id_.
Referenced by mln::util::operator==().
V mln::util::object_id< Tag, V >::id_ [protected] |
Definition at line 81 of file object_id.hh.
Referenced by mln::util::object_id< Tag, V >::invalidate(), mln::util::object_id< Tag, V >::is_valid(), mln::util::object_id< Tag, V >::operator unsigned(), mln::util::object_id< Tag, V >::operator=(), mln::util::object_id< Tag, V >::to_equiv(), and mln::util::object_id< Tag, V >::value().
1.5.6