21 #ifndef INDEX_EQUIVALENCE_ITERATOR_H 22 #define INDEX_EQUIVALENCE_ITERATOR_H 24 #ifndef SHEAF_DLL_SPEC_H 25 #include "SheafSystem/sheaf_dll_spec.h" 29 #include "SheafSystem/any.h" 32 #ifndef INDEX_EQUIVALENCE_CLASS_H 33 #include "SheafSystem/index_equivalence_class.h" 36 #ifndef SCOPED_INDEX_H 37 #include "SheafSystem/scoped_index.h" 43 class index_space_family;
73 bool xonly_persistent,
84 bool xonly_persistent,
94 bool xonly_persistent,
120 bool only_persistent()
const;
125 bool is_sorted()
const;
140 const member_type& item()
const;
145 bool is_done()
const;
234 virtual bool is_ancestor_of(
const any *other)
const;
250 virtual bool invariant()
const;
266 #endif // ifndef INDEX_EQUIVALENCE_ITERATOR_H pod_index_type _rep_id
The representative of this equivalence class.
index_equivalence_class::member_type member_type
The member type for the equivalence id list. The first value in the pair is the index of the id space...
bool _is_sorted
True, if the ids are sorted in increasing space id order.
index_equivalence_iterator()
Default constructor; disabled.
std::pair< pod_type, pod_type > member_type
The member type for the equivalence id list. The first value in the pair is the index of the id space...
Abstract base class with useful features for all objects.
index_equivalence_class::list_type::const_iterator iterator_type
The type of iterator for the equivalence id list.
An index within the external ("client") scope of a given id space.
unsigned long size_type
An unsigned integral type used to represent sizes and capacities.
iterator_type _itr
The current equivalence list iterator.
iterator_type _end
The end of the current list begin iterated over.
Data structure containing the id equivalence class for ab id space family. This class is used as a te...
int_type pod_index_type
The plain old data index type.
Namespace for the sheaves component of the sheaf system.
bool _only_persistent
True, if only persistent id spaces should be iterated over.
bool _is_done
True if iteration is finished.
An iterator over members of an id equivalence class.
index_equivalence_class _equivalence_class
The equivalence class to iterate over.
Factory and container for a family of id spaces.
member_type _item
The current equivalence class member.