Version 5.0 The LEDA User Manual

(b) For objects x and y of an independent item type T, the equality predicate x==y
is defined individually for each such item type. In the majority of cases it
means equality between the values of x and y, but this is not guaranteed for
every type.
Provided that the identity predicate
bool identical(const T&, const T&);
is defined on type T, it means equality between the values of these objects.
(c) For objects x and y of a structured type the equality predicate x==y means
equality between the values of these objects.
4. (Illegal access via an item) It is illegal to access a container which has been destroyed
via an item, or to access a container via the item nil.
5. (Initialization of attributes of an independent item type) The attributes of an independent
item type are always defined. In particular, a definition with default
initialization initializes all attributes. Such a type may specify the initial values,
but it need not.
6. (Specification of the structure to be traversed in forall-macros)
The argument in a forall-macro which specifies the structure to be traversed should
not be a function call which returns this structure, but rather an object by itself
which represents this structure.
7. (Modification of objects of an item-based container type while iterating over them)
An iteration over an object x of an item-based container type must not add new
elements to x. It may delete the element which the iterator item points to, but no
other element. The values of the elements may be modified without any restrictions.
8. (Requirements for type parameters)
Every type parameter T must implement the following functions:
a default constructor
a copy constructor
an assigment operator
an input operator
an output operator
9. (Requirements for linearly ordered types)
T::T()
T::T(const T&)
T& T::operator = (const T&)
istream& operator >> (istream&, T&)
ostream& operator