SheafSystem  0.0.0.0
sheaf::explicit_index_space_state Class Referenceabstract

An immutable abstract state for a space of alternate integer identifiers (aliases) for a subset of the hub set of integer identifiers. More...

#include <explicit_index_space_state.h>

Inheritance diagram for sheaf::explicit_index_space_state:
sheaf::any fiber_bundle::section_space_schema_jims_index_space_state sheaf::gathered_insertion_index_space_state sheaf::offset_index_space_state sheaf::primary_index_space_state sheaf::primitives_index_space_state sheaf::singleton_index_space_state sheaf::sum_index_space_state sheaf::list_index_space_state sheaf::scattered_insertion_index_space_state sheaf::reserved_primary_index_space_state sheaf::primary_sum_index_space_state sheaf::array_index_space_state sheaf::hash_index_space_state sheaf::interval_index_space_state

Public Member Functions

virtual const std::string & class_name () const
 The name of this class. More...
 
virtual explicit_index_space_stateclone () const =0
 Virtual constructor; create a new instance of the same type at this. More...
 
- Public Member Functions inherited from sheaf::any
bool is_same_type (const any *other) const
 True if other is the same type as this. More...
 
virtual ~any ()
 Destructor. More...
 
bool invariant_check () const
 True if invariant checking is enabled. More...
 
void enable_invariant_check () const
 Enable invariant checking. More...
 
void disable_invariant_check () const
 Disable invariant check. Intended for preventing recursive calls to invariant and for suppressing invariant checking during multi-phase initialization. More...
 
int disable_invariance_check_request_depth () const
 Number of times disable_invariant_check has been called without matching call to enable_invariant_check. More...
 

Static Public Member Functions

static factory< explicit_index_space_state > & id_space_factory ()
 A factory for making descendants of this class. More...
 

Friends

class explicit_index_space_collection
 
class explicit_index_space_interval
 
class index_space_family
 

EXPLICIT_INDEX_SPACE_STATE FACET

typedef pod_index_type pod_type
 The "plain old data" index type for this. More...
 
index_space_collection_host
 The host collection. More...
 
pod_type _index
 The index of this id space. More...
 
virtual ~explicit_index_space_state ()
 Destructor. More...
 
virtual bool operator== (const explicit_index_space_state &xother) const
 True if this is equivalent to xother. More...
 
const index_space_collectionhost () const
 The host collection (const version). More...
 
index_space_collectionhost ()
 The host collection (mutable version). More...
 
pod_type index () const
 The index of this id space. More...
 
virtual size_type deep_size (bool xinclude_shallow) const
 The deep size of this. More...
 
 explicit_index_space_state ()
 Default constructor. More...
 
 explicit_index_space_state (const explicit_index_space_state &xother)
 Copy constructor; disabled. More...
 
virtual explicit_index_space_stateoperator= (const explicit_index_space_state &xother)
 Assignment operator. More...
 
void new_state (index_space_family &xid_spaces, const std::string &xname, bool xis_persistent)
 Create a new id space state in the id space family xid_spaces at the next available id space index with name xname, and persistence xis_persistent. More...
 
void new_state (index_space_family &xid_spaces, pod_type xid, const std::string &xname, bool xis_persistent)
 Create a new id space state in the id space family xid_spaces at the id space index xid with name xname, and persistence xis_persistent. More...
 

INDEX SPACE FACET

size_type _ct
 The number of members. More...
 
pod_type _begin
 Beginning id of this space. More...
 
pod_type _end
 Ending id of this space. More...
 
bool _is_persistent
 True if this id space should be written to disk. More...
 
const index_space_familyid_spaces () const
 The id space family for this (const version). More...
 
index_space_familyid_spaces ()
 The id space family for this (mutable version). More...
 
const hub_index_space_handlehub_id_space () const
 The hub id space. More...
 
size_type ct () const
 The number of members. More...
 
bool is_empty () const
 True if there are no ids in the space. More...
 
pod_type begin () const
 Beginning id of this space. More...
 
pod_type end () const
 Ending id of this space. More...
 
bool is_gathered () const
 True if begin() == 0 and end() == ct(). More...
 
virtual bool contains (pod_type xid) const =0
 True if this space contains id xid. More...
 
bool contains (const scoped_index &xid) const
 True if this space contains an id equivalent to xid. synonym for contains_hub(xid.hub_pod()). More...
 
bool contains_hub (pod_type xid) const
 True if this space contains an id equivalent to xid in the unglued hub id space. synonym for contains_unglued_hub(xid) More...
 
virtual bool contains_unglued_hub (pod_type xid) const =0
 True if this space contains an id equivalent to xid in the unglued hub id space. More...
 
virtual bool contains_glued_hub (pod_type xid) const
 True if this space contains an id equivalent to xid in the hub id space. More...
 
bool contains (pod_type xid, const scoped_index &xhub_id) const
 True if this space contains an id xid equivalent to xhub_id in the hub id space. synonym for contains(xid, xhub_id.hub_pod()). More...
 
virtual bool contains (pod_type xid, pod_type xhub_id) const
 True if this space contains an id xid equivalent to xhub_id in the hub id space. More...
 
virtual pod_type pod (pod_type xid) const =0
 The pod index in this space equivalent to xid in the unglued hub id space. More...
 
pod_type pod (const scoped_index &xid) const
 The pod index in this space equivalent to xid. synonym for pod(xid.hub_pod()). More...
 
pod_type hub_pod (pod_type xid) const
 The pod index in the unglued hub id space equivalent to xid in this id space. synonym for unglued_hub_pod(xid). More...
 
virtual pod_type unglued_hub_pod (pod_type xid) const =0
 The pod index in the unglued hub id space equivalent to xid in this id space. More...
 
virtual pod_type glued_hub_pod (pod_type xid) const
 The pod index in the glued hub id space equivalent to xid in this id space. More...
 
bool is_persistent () const
 True if this id space should be written to disk. More...
 
void invalidate_extrema ()
 Invalidate the extrema. More...
 

PRODUCT STRUCTURE FACET

abstract_product_structure_product
 The product structure for this id space. More...
 
virtual void new_product_structure (const abstract_product_structure &xproduct)
 Creates a new product structure for this id space by cloning the product structure, xproduct. More...
 
virtual void delete_product_structure ()
 Deletes the product structure for this id space. More...
 
const abstract_product_structureproduct_structure () const
 The product structure for this id space (const version). More...
 
abstract_product_structureproduct_structure ()
 The product structure for this id space (mutable version). More...
 
bool has_product_structure () const
 True if this id space has a product structure. More...
 

HANDLE POOL FACET

virtual index_space_handleget_id_space () const =0
 Allocates an id space handle from the handle pool. More...
 
virtual void release_id_space (index_space_handle &xid_space) const =0
 Returns the id space handle xid_space to the handle pool. More...
 
virtual bool allocated_id_space (const index_space_handle &xid_space) const =0
 True if and only if id space handle xid_space was allocated by the handle pool. More...
 
void attach (explicit_index_space_handle &xid_space) const
 Attach the id space handle xid_space to this state. More...
 

ITERATOR POOL FACET

virtual index_space_iteratorget_iterator () const =0
 Allocates an id space iterator from the iterator pool. More...
 
virtual void release_iterator (index_space_iterator &xitr) const =0
 Returns the id space iterator xitr to the iterator pool. More...
 
virtual bool allocated_iterator (const index_space_iterator &xitr) const =0
 True if and only if id space iterator xitr was allocated by the iterator pool. More...
 
void attach (explicit_index_space_iterator &xitr) const
 Attach the id space iterator xitr to this state. More...
 

ANY FACET

virtual bool is_ancestor_of (const any *other) const
 Conformance test; true if other conforms to this. More...
 
virtual bool invariant () const
 Class invariant. More...
 

Additional Inherited Members

- Protected Member Functions inherited from sheaf::any
 any ()
 default constructor More...
 

Detailed Description

An immutable abstract state for a space of alternate integer identifiers (aliases) for a subset of the hub set of integer identifiers.

Definition at line 57 of file explicit_index_space_state.h.

Member Typedef Documentation

◆ pod_type

The "plain old data" index type for this.

Definition at line 74 of file explicit_index_space_state.h.

Constructor & Destructor Documentation

◆ ~explicit_index_space_state()

sheaf::explicit_index_space_state::~explicit_index_space_state ( )
virtual

Destructor.

Definition at line 41 of file explicit_index_space_state.cc.

References _product, and operator==().

◆ explicit_index_space_state() [1/2]

sheaf::explicit_index_space_state::explicit_index_space_state ( )
protected

Default constructor.

Postcondition

Definition at line 149 of file explicit_index_space_state.cc.

References invariant(), and operator=().

Referenced by index().

◆ explicit_index_space_state() [2/2]

sheaf::explicit_index_space_state::explicit_index_space_state ( const explicit_index_space_state xother)
inlineprotected

Copy constructor; disabled.

Definition at line 116 of file explicit_index_space_state.h.

Member Function Documentation

◆ allocated_id_space()

◆ allocated_iterator()

◆ attach() [1/2]

void sheaf::explicit_index_space_state::attach ( explicit_index_space_handle xid_space) const
protected

Attach the id space handle xid_space to this state.

Postcondition
  • xid_space.is_attached()

Definition at line 940 of file explicit_index_space_state.cc.

References sheaf::explicit_index_space_handle::attach_to(), get_iterator(), and sheaf::explicit_index_space_handle::is_attached().

Referenced by allocated_id_space(), allocated_iterator(), sheaf::primitives_index_space_state::get_id_space(), sheaf::singleton_index_space_state::get_id_space(), sheaf::offset_index_space_state::get_id_space(), sheaf::reserved_primary_index_space_state::get_id_space(), sheaf::primary_index_space_state::get_id_space(), fiber_bundle::section_space_schema_jims_index_space_state::get_id_space(), sheaf::hash_index_space_state::get_id_space(), sheaf::array_index_space_state::get_id_space(), sheaf::list_index_space_state::get_id_space(), sheaf::interval_index_space_state::get_id_space(), sheaf::primary_sum_index_space_state::get_id_space(), sheaf::primitives_index_space_state::get_iterator(), sheaf::singleton_index_space_state::get_iterator(), sheaf::offset_index_space_state::get_iterator(), sheaf::reserved_primary_index_space_state::get_iterator(), sheaf::primary_index_space_state::get_iterator(), fiber_bundle::section_space_schema_jims_index_space_state::get_iterator(), sheaf::hash_index_space_state::get_iterator(), sheaf::array_index_space_state::get_iterator(), sheaf::list_index_space_state::get_iterator(), sheaf::interval_index_space_state::get_iterator(), and sheaf::primary_sum_index_space_state::get_iterator().

◆ attach() [2/2]

void sheaf::explicit_index_space_state::attach ( explicit_index_space_iterator xitr) const
protected

Attach the id space iterator xitr to this state.

Postcondition
  • xitr.is_attached()

Definition at line 1039 of file explicit_index_space_state.cc.

References sheaf::explicit_index_space_iterator::attach_to(), class_name(), and sheaf::explicit_index_space_iterator::is_attached().

◆ begin()

◆ class_name()

◆ clone()

◆ contains() [1/4]

◆ contains() [2/4]

bool sheaf::explicit_index_space_state::contains ( const scoped_index xid) const

True if this space contains an id equivalent to xid. synonym for contains_hub(xid.hub_pod()).

Postcondition
  • is_basic_query

Definition at line 493 of file explicit_index_space_state.cc.

References contains_hub(), and sheaf::scoped_index::hub_pod().

◆ contains() [3/4]

bool sheaf::explicit_index_space_state::contains ( pod_type  xid,
const scoped_index xhub_id 
) const

True if this space contains an id xid equivalent to xhub_id in the hub id space. synonym for contains(xid, xhub_id.hub_pod()).

Postcondition
  • is_basic_query

Definition at line 572 of file explicit_index_space_state.cc.

References contains(), and sheaf::scoped_index::hub_pod().

◆ contains() [4/4]

bool sheaf::explicit_index_space_state::contains ( pod_type  xid,
pod_type  xhub_id 
) const
virtual

True if this space contains an id xid equivalent to xhub_id in the hub id space.

Postcondition
  • is_basic_query

Reimplemented in sheaf::hash_index_space_state.

Definition at line 591 of file explicit_index_space_state.cc.

References contains(), hub_pod(), and pod().

◆ contains_glued_hub()

bool sheaf::explicit_index_space_state::contains_glued_hub ( pod_type  xid) const
virtual

True if this space contains an id equivalent to xid in the hub id space.

Postcondition
  • is_basic_query

Reimplemented in sheaf::primary_sum_index_space_state.

Definition at line 552 of file explicit_index_space_state.cc.

References contains(), contains_unglued_hub(), hub_id_space(), and unglued_hub_pod().

Referenced by sheaf::explicit_index_space_handle::contains_glued_hub(), contains_unglued_hub(), and glued_hub_pod().

◆ contains_hub()

bool sheaf::explicit_index_space_state::contains_hub ( pod_type  xid) const

True if this space contains an id equivalent to xid in the unglued hub id space. synonym for contains_unglued_hub(xid)

Postcondition
  • is_basic_query

Definition at line 512 of file explicit_index_space_state.cc.

References contains_unglued_hub().

Referenced by sheaf::sum_index_space_state::binary(), contains(), sheaf::sum_index_space_state::contains_rep(), sheaf::primary_sum_index_space_state::contains_rep(), sheaf::sum_index_space_state::contains_unique_rep(), sheaf::sum_index_space_state::equivalence_class(), sheaf::sum_index_space_state::equivalence_ct(), sheaf::sum_index_space_state::host_rep(), sheaf::primary_sum_index_space_state::host_rep(), hub_pod(), sheaf::scattered_insertion_index_space_state::insert(), sheaf::interval_index_space_state::interval_begin(), sheaf::interval_index_space_state::interval_end(), sheaf::scattered_insertion_index_space_state::map_rep_insert_entry(), sheaf::hash_index_space_state::map_rep_insert_entry(), sheaf::array_index_space_state::map_rep_insert_entry(), sheaf::interval_index_space_state::map_rep_insert_entry(), sheaf::hash_index_space_state::map_rep_push(), sheaf::gathered_insertion_index_space_state::map_rep_push(), sheaf::array_index_space_state::map_rep_push(), sheaf::list_index_space_state::map_rep_push(), sheaf::interval_index_space_state::map_rep_push(), sheaf::hash_index_space_state::map_rep_push_back(), sheaf::gathered_insertion_index_space_state::map_rep_push_back(), sheaf::array_index_space_state::map_rep_push_back(), sheaf::list_index_space_state::map_rep_push_back(), sheaf::interval_index_space_state::map_rep_push_back(), sheaf::hash_index_space_state::map_rep_remove_entry(), sheaf::gathered_insertion_index_space_state::map_rep_remove_entry(), sheaf::list_index_space_state::map_rep_remove_entry(), sheaf::interval_index_space_state::map_rep_remove_entry(), sheaf::primary_sum_index_space_state::new_id(), sheaf::primitives_index_space_state::pod(), sheaf::singleton_index_space_state::pod(), sheaf::offset_index_space_state::pod(), sheaf::primary_index_space_state::pod(), sheaf::primary_sum_index_space_state::pod(), sheaf::gathered_insertion_index_space_state::push(), sheaf::gathered_insertion_index_space_state::remove(), sheaf::gathered_insertion_index_space_state::remove_hub(), sheaf::interval_index_space_state::remove_hub_interval(), sheaf::sum_index_space_state::rep(), sheaf::primary_sum_index_space_state::rep(), and sheaf::sum_index_space_state::simple().

◆ contains_unglued_hub()

bool sheaf::explicit_index_space_state::contains_unglued_hub ( pod_type  xid) const
pure virtual

◆ ct()

◆ deep_size()

◆ delete_product_structure()

void sheaf::explicit_index_space_state::delete_product_structure ( )
virtual

Deletes the product structure for this id space.

Postcondition
  • !has_product_structure()

Reimplemented in fiber_bundle::section_space_schema_jims_index_space_state.

Definition at line 780 of file explicit_index_space_state.cc.

References _product, has_product_structure(), and product_structure().

Referenced by sheaf::explicit_index_space_handle::delete_product_structure(), and new_product_structure().

◆ end()

◆ get_id_space()

◆ get_iterator()

◆ glued_hub_pod()

sheaf::explicit_index_space_state::pod_type sheaf::explicit_index_space_state::glued_hub_pod ( pod_type  xid) const
virtual

The pod index in the glued hub id space equivalent to xid in this id space.

Postcondition
  • !is_valid(result) || contains_glued_hub(result)

Reimplemented in sheaf::primary_sum_index_space_state.

Definition at line 690 of file explicit_index_space_state.cc.

References contains_glued_hub(), sheaf::explicit_index_space_handle::glued_hub_pod(), hub_id_space(), is_persistent(), sheaf::is_valid(), and unglued_hub_pod().

Referenced by sheaf::explicit_index_space_handle::glued_hub_pod(), and unglued_hub_pod().

◆ has_product_structure()

◆ host() [1/2]

const sheaf::index_space_collection & sheaf::explicit_index_space_state::host ( ) const

The host collection (const version).

Postcondition
  • is_basic_query

Definition at line 91 of file explicit_index_space_state.cc.

References _host.

Referenced by sheaf::explicit_index_space_iterator::host(), sheaf::explicit_index_space_handle::host(), and operator==().

◆ host() [2/2]

sheaf::index_space_collection & sheaf::explicit_index_space_state::host ( )

The host collection (mutable version).

Postcondition
  • is_basic_query

Definition at line 110 of file explicit_index_space_state.cc.

References _host, and index().

◆ hub_id_space()

◆ hub_pod()

◆ id_space_factory()

◆ id_spaces() [1/2]

◆ id_spaces() [2/2]

sheaf::index_space_family & sheaf::explicit_index_space_state::id_spaces ( )

The id space family for this (mutable version).

Postcondition
  • is_basic_query

Definition at line 339 of file explicit_index_space_state.cc.

References _host, hub_id_space(), and sheaf::index_space_collection::id_spaces().

◆ index()

◆ invalidate_extrema()

◆ invariant()

bool sheaf::explicit_index_space_state::invariant ( ) const
virtual

◆ is_ancestor_of()

◆ is_empty()

bool sheaf::explicit_index_space_state::is_empty ( ) const

True if there are no ids in the space.

Postcondition
  • is_basic_query

Definition at line 396 of file explicit_index_space_state.cc.

References _ct, and begin().

Referenced by sheaf::array_index_space_state::array_index_space_state(), sheaf::gathered_insertion_index_space_state::clear(), sheaf::sum_index_space_state::clear(), sheaf::primary_sum_index_space_state::clear(), ct(), sheaf::gathered_insertion_index_space_state::gathered_insertion_index_space_state(), sheaf::hash_index_space_state::hash_index_space_state(), sheaf::interval_index_space_state::interval_index_space_state(), invariant(), sheaf::sum_index_space_state::last_term(), sheaf::list_index_space_state::list_index_space_state(), sheaf::gathered_insertion_index_space_state::next_id(), sheaf::offset_index_space_state::offset_index_space_state(), sheaf::primary_index_space_state::primary_index_space_state(), sheaf::primary_sum_index_space_state::primary_sum_index_space_state(), sheaf::gathered_insertion_index_space_state::remove(), sheaf::gathered_insertion_index_space_state::remove_hub(), sheaf::reserved_primary_index_space_state::reserved_primary_index_space_state(), sheaf::scattered_insertion_index_space_state::scattered_insertion_index_space_state(), fiber_bundle::section_space_schema_jims_index_space_state::section_space_schema_jims_index_space_state(), sheaf::singleton_index_space_state::singleton_index_space_state(), sheaf::sum_index_space_state::sum_index_space_state(), sheaf::array_index_space_state::update_extrema(), sheaf::gathered_insertion_index_space_state::update_extrema(), and sheaf::array_index_space_state::update_extrema_after_remove().

◆ is_gathered()

◆ is_persistent()

bool sheaf::explicit_index_space_state::is_persistent ( ) const

True if this id space should be written to disk.

Postcondition
  • is_basic_query

Definition at line 710 of file explicit_index_space_state.cc.

References _is_persistent, and invalidate_extrema().

Referenced by glued_hub_pod(), sheaf::explicit_index_space_handle::is_persistent(), new_state(), sheaf::operator<<(), and sheaf::gathered_insertion_index_space_state::put_is_persistent().

◆ new_product_structure()

void sheaf::explicit_index_space_state::new_product_structure ( const abstract_product_structure xproduct)
virtual

Creates a new product structure for this id space by cloning the product structure, xproduct.

Postcondition

Reimplemented in fiber_bundle::section_space_schema_jims_index_space_state.

Definition at line 761 of file explicit_index_space_state.cc.

References _product, sheaf::abstract_product_structure::clone(), delete_product_structure(), and has_product_structure().

Referenced by invalidate_extrema(), and sheaf::explicit_index_space_handle::new_product_structure().

◆ new_state() [1/2]

void sheaf::explicit_index_space_state::new_state ( index_space_family xid_spaces,
const std::string &  xname,
bool  xis_persistent 
)
protected

Create a new id space state in the id space family xid_spaces at the next available id space index with name xname, and persistence xis_persistent.

Precondition
  • !xname.empty()
  • !xid_spaces.contains(xname)
Postcondition
  • xid_spaces.name(index()) == xname
  • xid_spaces.contains(index())
  • xid_spaces.contains(xname)

Definition at line 201 of file explicit_index_space_state.cc.

References sheaf::index_space_family::contains(), id_spaces(), index(), invariant(), is_persistent(), sheaf::index_space_family::name(), and sheaf::index_space_family::reserve_next_explicit_id().

Referenced by sheaf::reserved_primary_index_space_state::new_space(), sheaf::offset_index_space_state::new_space(), sheaf::primary_index_space_state::new_space(), sheaf::hash_index_space_state::new_space(), sheaf::array_index_space_state::new_space(), sheaf::index_space_family::new_state(), and operator=().

◆ new_state() [2/2]

void sheaf::explicit_index_space_state::new_state ( index_space_family xid_spaces,
pod_type  xid,
const std::string &  xname,
bool  xis_persistent 
)
protected

Create a new id space state in the id space family xid_spaces at the id space index xid with name xname, and persistence xis_persistent.

Precondition
  • !xid_spaces.contains(xid)
  • xid_spaces.is_explicit_interval(xid)
  • !xname.empty()
  • !xid_spaces.contains(xname)
Postcondition
  • xid_spaces.name(index()) == xname
  • xid_spaces.contains(index())
  • xid_spaces.contains(xname)

Definition at line 238 of file explicit_index_space_state.cc.

References _host, _index, _is_persistent, sheaf::index_space_family::collection(), sheaf::index_space_family::contains(), deep_size(), id_spaces(), index(), sheaf::explicit_index_space_interval::insert(), invariant(), sheaf::index_space_family::is_explicit_interval(), is_persistent(), sheaf::index_space_family::name(), and sheaf::index_space_family::put_name().

◆ operator=()

◆ operator==()

◆ pod() [1/2]

◆ pod() [2/2]

sheaf::explicit_index_space_state::pod_type sheaf::explicit_index_space_state::pod ( const scoped_index xid) const

The pod index in this space equivalent to xid. synonym for pod(xid.hub_pod()).

Postcondition
  • !is_valid(result) || contains(result)

Definition at line 631 of file explicit_index_space_state.cc.

References contains(), hub_pod(), sheaf::scoped_index::hub_pod(), sheaf::is_valid(), and pod().

◆ product_structure() [1/2]

const sheaf::abstract_product_structure & sheaf::explicit_index_space_state::product_structure ( ) const

The product structure for this id space (const version).

Precondition
Postcondition
  • is_basic_query

Definition at line 803 of file explicit_index_space_state.cc.

References _product, and has_product_structure().

Referenced by sheaf::deep_size(), delete_product_structure(), and sheaf::explicit_index_space_handle::product_structure().

◆ product_structure() [2/2]

sheaf::abstract_product_structure & sheaf::explicit_index_space_state::product_structure ( )

The product structure for this id space (mutable version).

Precondition
Postcondition
  • is_basic_query

Definition at line 824 of file explicit_index_space_state.cc.

References _product, and has_product_structure().

◆ release_id_space()

◆ release_iterator()

◆ unglued_hub_pod()

sheaf::explicit_index_space_state::pod_type sheaf::explicit_index_space_state::unglued_hub_pod ( pod_type  xid) const
pure virtual

The pod index in the unglued hub id space equivalent to xid in this id space.

Is Abstract.

Postcondition
  • !is_valid(result) || contains_unglued_hub(result)

Implemented in sheaf::primary_sum_index_space_state, sheaf::interval_index_space_state, sheaf::hash_index_space_state, fiber_bundle::section_space_schema_jims_index_space_state, and sheaf::primitives_index_space_state.

Definition at line 669 of file explicit_index_space_state.cc.

References contains_unglued_hub(), glued_hub_pod(), and sheaf::is_valid().

Referenced by contains_glued_hub(), glued_hub_pod(), hub_pod(), and sheaf::explicit_index_space_handle::unglued_hub_pod().

Member Data Documentation

◆ _begin

◆ _ct

size_type sheaf::explicit_index_space_state::_ct
protected

The number of members.

Definition at line 286 of file explicit_index_space_state.h.

Referenced by sheaf::gathered_insertion_index_space_state::clear(), sheaf::sum_index_space_state::clear(), sheaf::primary_sum_index_space_state::clear_ids(), ct(), sheaf::primary_sum_index_space_state::delete_id(), sheaf::primary_index_space_state::extend(), sheaf::primary_sum_index_space_state::extend_last_term(), sheaf::gathered_insertion_index_space_state::gather(), sheaf::scattered_insertion_index_space_state::insert(), sheaf::interval_index_space_state::insert_interval(), fiber_bundle::section_space_schema_jims_index_space_state::is_consistent(), is_empty(), sheaf::hash_index_space_state::map_rep_gather(), sheaf::array_index_space_state::map_rep_gather(), sheaf::primary_sum_index_space_state::new_id(), sheaf::primary_sum_index_space_state::new_primary_term(), sheaf::reserved_primary_index_space_state::new_space(), sheaf::offset_index_space_state::new_space(), sheaf::primary_index_space_state::new_space(), sheaf::offset_index_space_state::offset_index_space_state(), operator=(), operator==(), sheaf::primary_index_space_state::primary_index_space_state(), sheaf::primitives_index_space_state::primitives_index_space_state(), sheaf::gathered_insertion_index_space_state::push(), sheaf::gathered_insertion_index_space_state::push_back(), sheaf::list_index_space_state::push_front(), sheaf::gathered_insertion_index_space_state::remove(), sheaf::gathered_insertion_index_space_state::remove_hub(), sheaf::interval_index_space_state::remove_hub_interval(), sheaf::interval_index_space_state::remove_interval(), sheaf::primary_sum_index_space_state::remove_term(), sheaf::singleton_index_space_state::singleton_index_space_state(), fiber_bundle::section_space_schema_jims_index_space_state::update(), sheaf::array_index_space_state::update_extrema(), sheaf::gathered_insertion_index_space_state::update_extrema(), sheaf::list_index_space_state::update_extrema(), sheaf::primary_sum_index_space_state::update_extrema(), sheaf::interval_index_space_state::update_extrema(), and sheaf::array_index_space_state::update_extrema_after_remove().

◆ _end

pod_type sheaf::explicit_index_space_state::_end
protected

Ending id of this space.

Definition at line 296 of file explicit_index_space_state.h.

Referenced by sheaf::primary_sum_index_space_state::clear_ids(), sheaf::primitives_index_space_state::contains(), sheaf::offset_index_space_state::contains(), sheaf::primary_index_space_state::contains(), sheaf::list_index_space_state::contains(), sheaf::offset_index_space_state::contains_unglued_hub(), sheaf::primary_index_space_state::contains_unglued_hub(), end(), sheaf::primary_index_space_state::extend(), sheaf::gathered_insertion_index_space_state::gather(), sheaf::scattered_insertion_index_space_state::insert(), sheaf::interval_index_space_state::insert_interval(), invalidate_extrema(), sheaf::reserved_primary_index_space_state::is_hub_id_available(), sheaf::reserved_primary_index_space_state::is_next_id_available(), sheaf::array_index_space_state::map_rep_gather(), sheaf::reserved_primary_index_space_state::new_space(), sheaf::offset_index_space_state::new_space(), sheaf::primary_index_space_state::new_space(), sheaf::offset_index_space_state::offset_index_space_state(), operator=(), operator==(), sheaf::primary_index_space_state::primary_index_space_state(), sheaf::primitives_index_space_state::primitives_index_space_state(), sheaf::gathered_insertion_index_space_state::push(), sheaf::gathered_insertion_index_space_state::push_back(), sheaf::list_index_space_state::push_front(), sheaf::gathered_insertion_index_space_state::remove(), sheaf::gathered_insertion_index_space_state::remove_hub(), sheaf::singleton_index_space_state::singleton_index_space_state(), fiber_bundle::section_space_schema_jims_index_space_state::update(), sheaf::hash_index_space_state::update_extrema(), sheaf::array_index_space_state::update_extrema(), sheaf::gathered_insertion_index_space_state::update_extrema(), sheaf::list_index_space_state::update_extrema(), sheaf::primary_sum_index_space_state::update_extrema(), sheaf::interval_index_space_state::update_extrema(), and sheaf::array_index_space_state::update_extrema_after_remove().

◆ _host

index_space_collection* sheaf::explicit_index_space_state::_host
protected

The host collection.

Definition at line 145 of file explicit_index_space_state.h.

Referenced by host(), id_spaces(), new_state(), operator=(), and operator==().

◆ _index

pod_type sheaf::explicit_index_space_state::_index
protected

The index of this id space.

Definition at line 150 of file explicit_index_space_state.h.

Referenced by index(), new_state(), operator=(), and operator==().

◆ _is_persistent

bool sheaf::explicit_index_space_state::_is_persistent
protected

True if this id space should be written to disk.

Definition at line 301 of file explicit_index_space_state.h.

Referenced by is_persistent(), new_state(), operator=(), operator==(), and sheaf::gathered_insertion_index_space_state::put_is_persistent().

◆ _product


The documentation for this class was generated from the following files: