21 #ifndef INDEX_EQUIVALENCE_CLASS_H 22 #define INDEX_EQUIVALENCE_CLASS_H 24 #ifndef SHEAF_DLL_SPEC_H 25 #include "SheafSystem/sheaf_dll_spec.h" 29 #include "SheafSystem/any.h" 33 #include "SheafSystem/block.h" 37 #include "SheafSystem/pod_types.h" 40 #ifndef SCOPED_INDEX_H 41 #include "SheafSystem/scoped_index.h" 45 #include "SheafSystem/std_list.h" 49 #include "SheafSystem/std_utility.h" 55 class index_space_family;
98 bool xonly_persistent,
119 const list_type& equivalence_list(
const scoped_index& xrep_id)
const;
139 bool contains_rep_id(
const scoped_index& xrep_id)
const;
144 static bool id_space_less_than(
const member_type& xitem1,
const member_type& xitem2);
174 #endif // ifndef INDEX_EQUIVALENCE_CLASS_H pod_index_type pod_type
The "plain old data" index type for this.
index_equivalence_class(const index_equivalence_class &xother)
Copy 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...
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.
std::list< member_type > list_type
The equivalence id list type for this.
index_equivalence_class()
Default constructor; disabled.
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.
An iterator over members of an id equivalence class.
Factory and container for a family of id spaces.