21 #ifndef INTERVAL_INDEX_SPACE_ITERATOR_H 22 #define INTERVAL_INDEX_SPACE_ITERATOR_H 24 #ifndef SHEAF_DLL_SPEC_H 25 #include "SheafSystem/sheaf_dll_spec.h" 28 #ifndef EXPLICIT_INDEX_SPACE_ITERATOR_H 29 #include "SheafSystem/explicit_index_space_iterator.h" 33 #include "SheafSystem/std_map.h" 80 const std::string& xname);
100 pod_type interval_begin()
const;
105 pod_type interval_end()
const;
117 void update_interval_ids(pod_type xinterval_begin);
122 void invalidate_interval_ids();
132 to_hub_type::const_iterator
_itr;
207 virtual void reset();
256 virtual bool is_ancestor_of(
const any *other)
const;
261 virtual bool invariant()
const;
278 #endif // ifndef INTERVAL_INDEX_SPACE_ITERATOR_H An STL map implementation of class scattered_insertion_index_space_state optimized to efficiently rep...
virtual void attach_to(pod_type xindex)
Attach to the state with index xindex in the id space family id_spaces().
An abstract iterator over the ids of an id space.
pod_type _interval_end
The end of the current interval.
Abstract base class with useful features for all objects.
An immutable abstract state for a space of alternate integer identifiers (aliases) for a subset of th...
pod_type _interval_begin
The begin of the current interval.
An iterator over an id space in which the equivalence between the ids in the space and the hub id spa...
to_hub_type::const_iterator _itr
The stl iterator over ids.
virtual bool conforms_to_state(const index_space_collection &xhost, pod_type xlocal_id) const
True if this conforms to the handle type required by the state with local scope id xlocal_id in the h...
bool operator==(const singly_linked_list< T, Alloc > &lhs, const singly_linked_list< T, Alloc > &rhs)
Checks if the contents of lhs and rhs are equal, that is, whether lhs.size() == rhs.size() and each element in lhs compares equal with the element in rhs at the same position.
An implementation of class index_space_iterator for an explicit_index_space_state.
Namespace for the sheaves component of the sheaf system.
const to_hub_type * _to_hub
The interval to hub ids.
Factory and container for a family of id spaces.
std::map< pod_type, pod_type > to_hub_type
The type of the id maps.