21 #ifndef SUM_INDEX_SPACE_HANDLE_H 22 #define SUM_INDEX_SPACE_HANDLE_H 24 #ifndef SHEAF_DLL_SPEC_H 25 #include "SheafSystem/sheaf_dll_spec.h" 28 #ifndef EXPLICIT_INDEX_SPACE_HANDLE_H 29 #include "SheafSystem/explicit_index_space_handle.h" 33 #include "SheafSystem/std_list.h" 39 class sum_index_space_state;
75 const std::string& xname);
122 void equivalence_class(
pod_type xhub_id, equivalence_class_type& result)
const;
133 bool contains_rep(
pod_type xhub_id)
const;
139 bool contains_unique_rep(
pod_type xhub_id)
const;
165 bool contains_term_id(
pod_type xi)
const;
307 virtual bool is_ancestor_of(
const any *other)
const;
312 virtual bool invariant()
const;
328 #endif // ifndef SUM_INDEX_SPACE_HANDLE_H An abstract handle to a space of alternate integer identifiers (aliases) for a subset of a hub set of...
std::list< pod_type > equivalence_class_type
The type used to represent an equivalence class.
explicit_index_space_state & state()
The explicit state (mutable version).
Abstract base class with useful features for all objects.
An implementation of class index_space_handle for an explicit_index_space_state.
pod_index_type pod_type
The "plain old data" index type for this.
An index within the external ("client") scope of a given id space.
An abstract id space of alternate integer identifiers which is the sum (disjoint union) of two or mor...
unsigned long size_type
An unsigned integral type used to represent sizes and capacities.
A collection of id space states. This is a virtual class with provides an interface for accessing the...
An implemenation of class explicit_index_space_handle that has a sum id space state.
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...
Namespace for the sheaves component of the sheaf system.
Factory and container for a family of id spaces.