SheafSystem  0.0.0.0
sheaf::scoped_index Class Reference

An index within the external ("client") scope of a given id space. More...

#include <scoped_index.h>

SCOPED_INDEX FACET

typedef pod_index_type pod_type
 The "plain old data" storage type for this. More...
 
 scoped_index ()
 Default constructor; creates an invalid instance. More...
 
 scoped_index (const index_space_handle &xid_space)
 Creates an invalid instance in the scope of xid_space. More...
 
 scoped_index (const index_space_handle &xid_space, pod_type xpod)
 Creates an instance with pod() == xpod in the scope of xid_space. More...
 
 scoped_index (const index_space_handle &xid_space, const scoped_index &xother)
 Creates an instance equivalent to xother in the scope of xid_space. More...
 
 scoped_index (const scoped_index &xother)
 Copy constructor. More...
 
 scoped_index (const poset_state_handle &xhost, const std::string &xname)
 Creates an invalid instance in the id space with name xname in poset xhost. More...
 
 scoped_index (pod_type xpod, const poset_state_handle &xhost, const std::string &xname)
 Creates an instance with pod xpod in the id space with name xname in poset xhost. More...
 
 scoped_index (const scoped_index &xother, const poset_state_handle &xhost, const std::string &xname)
 Creates an instance equivalent to xother in the id space with name xname in poset xhost. More...
 
 ~scoped_index ()
 Destructor. Not virtual; this can not be a base class. More...
 
scoped_indexoperator= (const scoped_index &xother)
 Assignment operator. More...
 
void put (const index_space_handle &xid_space, pod_type xpod)
 Set the scope to id space, xid_space and pod() to xpod. More...
 
scoped_index hub_id () const
 This mapped to the hub id space. More...
 
void hub_scope ()
 Maps this to the hub id space. More...
 
bool invariant () const
 Class invariant. More...
 

SCOPE FACET

void put_scope (const index_space_handle &xid_space)
 Sets the scope to xid_space. More...
 
bool same_scope (const scoped_index &xother) const
 True if and only if this is in the same id space as xother. More...
 
bool same_scope (const index_space_handle &xid_space) const
 True if and only if this is in the same id space as xid_space. More...
 
bool same_id_space_family (const scoped_index &xother) const
 True if and only if this is in the same id space family as xother. More...
 
bool same_id_space_family (const index_space_handle &xid_space) const
 True if and only if this is in the same id space family as xid_space. More...
 
const index_space_familyid_spaces () const
 The id space family for this scope. More...
 
pod_type scope_id () const
 The index of the scope id space. More...
 
index_space_handleget_scope () const
 Allocate an id space handle to the scope from the handle pool.. More...
 
void release_scope (index_space_handle &xid_space) const
 Return the id space handle, xid_space to the handle pool. More...
 
bool is_hub_scope () const
 True if and only if the id space of this is the hub id space. More...
 
bool in_scope () const
 True if and only if scope() contains an entry for pod(). More...
 
bool is_scoped () const
 True if and only if scope() is attached. More...
 
scoped_indexoperator<< (const scoped_index &xother)
 Maps xother to the id space of this; sets this to the image of xother in the id space of this; returns this. More...
 
scoped_indexoperator>> (scoped_index &xother) const
 Maps this to the id space of xother; sets xother to the image of this in the id space of xother; returns xother. More...
 

POD FACET

const pod_typepod () const
 The "plain old data" storage of this; the value in the external id space. More...
 
void put_pod (pod_type xpod)
 Sets pod() to xpod. More...
 
pod_type hub_pod () const
 The pod value of this mapped to the unglued hub id space. More...
 
pod_type unglued_hub_pod () const
 The pod value of this mapped to the unglued hub id space. More...
 
pod_type glued_hub_pod () const
 The pod value of this mapped to the glued hub id space. More...
 
scoped_index_hub_pod operator~ () const
 The hub pod value of this; intended only for use with "operators" ==~ and !=~. More...
 
bool operator== (scoped_index_hub_pod xother) const
 True if and only if the hub_pod of this is equal to xother. More...
 
bool operator!= (scoped_index_hub_pod xother) const
 True if and only if the hub_pod of this is equal to xother. More...
 
bool operator< (scoped_index_hub_pod xother) const
 True if and only if the hub_pod of this is less than to xother. More...
 
bool operator<= (scoped_index_hub_pod xother) const
 True if and only if the hub_pod of this is less than or equal to xother. More...
 
bool operator> (scoped_index_hub_pod xother) const
 True if and only if the hub_pod of this is greater than to xother. More...
 
bool operator>= (scoped_index_hub_pod xother) const
 True if and only if the hub_pod of this is greater than or equal to xother. More...
 
static pod_type invalid_pod ()
 The pod value of the invalid index. More...
 

IDENTIFIER FACET

bool is_valid () const
 True if this is a valid id. More...
 
void invalidate ()
 Make this id invalid. More...
 
static const scoped_indexINVALID ()
 The invalid id. More...
 

ORDER FACET

bool is_identical_to (const scoped_index &xother) const
 True if this is identical to xother, that is, they both have the same id_space and pod. More...
 
bool is_equivalent_to (const scoped_index &xother) const
 True if this is equivalent to xother, that is, if this refers to the same member as xother. More...
 
bool operator== (const scoped_index &xother) const
 True if this is identical to xother, that is, if this refers to the same member in the same id space as xother. More...
 
bool operator!= (const scoped_index &xother) const
 True if this not identical to as xother. More...
 
bool operator< (const scoped_index &xother) const
 True if this is less than xother. More...
 
bool operator<= (const scoped_index &xother) const
 True if this is less than or equal to xother. More...
 
bool operator> (const scoped_index &xother) const
 True if this is greater than xother. More...
 
bool operator>= (const scoped_index &xother) const
 True if this is greater than or equal to xother. More...
 
bool in_range (const scoped_index &xbegin, const scoped_index &xend) const
 True if this is greater than or equal to xbegin and less than xend in the id space of xbegin and xend. More...
 

ARITHMETIC FACET

scoped_index operator+ (const scoped_index &xother) const
 This + xother. More...
 
scoped_indexoperator+= (const scoped_index &xother)
 This := this + xother. More...
 
scoped_indexoperator++ ()
 Prefix increment. More...
 
const scoped_index operator++ (int)
 Postfix increment. More...
 
scoped_index operator- () const
 Negation (unary minus). More...
 
scoped_index operator- (const scoped_index &xother) const
 This - xother. More...
 
scoped_indexoperator-= (const scoped_index &xother)
 This := this - xother. More...
 
scoped_indexoperator-- ()
 Prefix decrement. More...
 
const scoped_index operator-- (int)
 Postfix decrement. More...
 
scoped_index operator* (const scoped_index &xother) const
 This * xother. More...
 
scoped_indexoperator*= (const scoped_index &xother)
 This := this * xother. More...
 
scoped_index operator/ (const scoped_index &xother) const
 This / xother. More...
 
scoped_indexoperator/= (const scoped_index &xother)
 This := this / xother. More...
 
scoped_index operator% (const scoped_index &xother) const
 This modulo xother. More...
 
scoped_indexoperator%= (const scoped_index &xother)
 This := this modulo xother. More...
 
bool is_positive () const
 True if this is greater than or equal to ZERO. More...
 
bool is_positive_definite () const
 True if this is greater than ZERO. More...
 

PRIMITIVE_TYPE FACET

 scoped_index (primitive_type x, const index_space_handle &xid_space)
 Creates an instance with pod() == x in the scope of xid_space. More...
 
scoped_indexoperator= (primitive_type x)
 Assignment from primitive_type. More...
 
bool operator== (primitive_type x) const
 True if this has the same value as primitive_type x. More...
 
bool operator!= (primitive_type x) const
 True if this does not have the same value as primitive_type x. More...
 
bool operator< (primitive_type x) const
 True if this is less than primitive_type x. More...
 
bool operator<= (primitive_type x) const
 True if this is less than or equal to primitive_type x. More...
 
bool operator> (primitive_type x) const
 True if this is greater than primitive_type x. More...
 
bool operator>= (primitive_type x) const
 True if this is greater than or equal to primitive_type x. More...
 

STANDARD_MEMBER_INDEX FACET

 scoped_index (standard_member_index x, const index_space_handle &xid_space)
 Creates an instance with pod() == x in the scope of xid_space. More...
 
scoped_indexoperator= (standard_member_index x)
 Assignment from standard_member_index. More...
 
bool operator== (standard_member_index x) const
 True if this has the same value as standard_member_index x. More...
 
bool operator!= (standard_member_index x) const
 True if this does not have the same value as standard_member_index x. More...
 
bool operator< (standard_member_index x) const
 True if this is less than standard_member_index x. More...
 
bool operator<= (standard_member_index x) const
 True if this is less than or equal to standard_member_index x. More...
 
bool operator> (standard_member_index x) const
 True if this is greater than standard_member_index x. More...
 
bool operator>= (standard_member_index x) const
 True if this is greater than or equal to standard_member_index x. More...
 

PRIMITIVES_SCHEMA_MEMBER_INDEX FACET

 scoped_index (primitives_schema_member_index x, const index_space_handle &xid_space)
 Creates an instance with pod() == x in the scope of xid_space. More...
 
scoped_indexoperator= (primitives_schema_member_index x)
 Assignment from primitives_schema_member_index. More...
 
bool operator== (primitives_schema_member_index x) const
 True if this has the same value as primitives_schema_member_index x. More...
 
bool operator!= (primitives_schema_member_index x) const
 True if this does not have the same value as primitives_schema_member_index x. More...
 
bool operator< (primitives_schema_member_index x) const
 True if this is less than primitives_schema_member_index x. More...
 
bool operator<= (primitives_schema_member_index x) const
 True if this is less than or equal to primitives_schema_member_index x. More...
 
bool operator> (primitives_schema_member_index x) const
 True if this is greater than primitives_schema_member_index x. More...
 
bool operator>= (primitives_schema_member_index x) const
 True if this is greater than or equal to primitives_schema_member_index x. More...
 

NAMESPACE_SCHEMA_MEMBER_INDEX FACET

 scoped_index (namespace_schema_member_index x, const index_space_handle &xid_space)
 Creates an instance with pod() == x in the scope of xid_space. More...
 
scoped_indexoperator= (namespace_schema_member_index x)
 Assignment from namespace_schema_member_index. More...
 
bool operator== (namespace_schema_member_index x) const
 True if this has the same value as namespace_schema_member_index x. More...
 
bool operator!= (namespace_schema_member_index x) const
 True if this does not have the same value as namespace_schema_member_index x. More...
 
bool operator< (namespace_schema_member_index x) const
 True if this is less than namespace_schema_member_index x. More...
 
bool operator<= (namespace_schema_member_index x) const
 True if this is less than or equal to namespace_schema_member_index x. More...
 
bool operator> (namespace_schema_member_index x) const
 True if this is greater than namespace_schema_member_index x. More...
 
bool operator>= (namespace_schema_member_index x) const
 True if this is greater than or equal to namespace_schema_member_index x. More...
 

NAMESPACE_MEMBER_INDEX FACET

 scoped_index (namespace_member_index x, const index_space_handle &xid_space)
 Creates an instance with pod() == x in the scope of xid_space. More...
 
scoped_indexoperator= (namespace_member_index x)
 Assignment from namespace_member_index. More...
 
bool operator== (namespace_member_index x) const
 True if this has the same value as namespace_member_index x. More...
 
bool operator!= (namespace_member_index x) const
 True if this does not have the same value as namespace_member_index x. More...
 
bool operator< (namespace_member_index x) const
 True if this is less than namespace_member_index x. More...
 
bool operator<= (namespace_member_index x) const
 True if this is less than or equal to namespace_member_index x. More...
 
bool operator> (namespace_member_index x) const
 True if this is greater than namespace_member_index x. More...
 
bool operator>= (namespace_member_index x) const
 True if this is greater than or equal to namespace_member_index x. More...
 

STANDARD_SUBPOSET_INDEX FACET

 scoped_index (standard_subposet_index x, const index_space_handle &xid_space)
 Creates an instance with pod() == x in the scope of xid_space. More...
 
scoped_indexoperator= (standard_subposet_index x)
 Assignment from standard_subposet_index. More...
 
bool operator== (standard_subposet_index x) const
 True if this has the same value as standard_subposet_index x. More...
 
bool operator!= (standard_subposet_index x) const
 True if this does not have the same value as standard_subposet_index x. More...
 
bool operator< (standard_subposet_index x) const
 True if this is less than standard_subposet_index x. More...
 
bool operator<= (standard_subposet_index x) const
 True if this is less than or equal to standard_subposet_index x. More...
 
bool operator> (standard_subposet_index x) const
 True if this is greater than standard_subposet_index x. More...
 
bool operator>= (standard_subposet_index x) const
 True if this is greater than or equal to standard_subposet_index x. More...
 

STANDARD_VERSION_INDEX FACET

 scoped_index (standard_version_index x, const index_space_handle &xid_space)
 Creates an instance with pod() == x in the scope of xid_space. More...
 
scoped_indexoperator= (standard_version_index x)
 Assignment from standard_version_index. More...
 
bool operator== (standard_version_index x) const
 True if this has the same value as standard_version_index x. More...
 
bool operator!= (standard_version_index x) const
 True if this does not have the same value as standard_version_index x. More...
 
bool operator< (standard_version_index x) const
 True if this is less than standard_version_index x. More...
 
bool operator<= (standard_version_index x) const
 True if this is less than or equal to standard_version_index x. More...
 
bool operator> (standard_version_index x) const
 True if this is greater than standard_version_index x. More...
 
bool operator>= (standard_version_index x) const
 True if this is greater than or equal to standard_version_index x. More...
 

STANDARD_DOF_TUPLE_INDEX FACET

 scoped_index (standard_dof_tuple_index x, const index_space_handle &xid_space)
 Creates an instance with pod() == x in the scope of xid_space. More...
 
scoped_indexoperator= (standard_dof_tuple_index x)
 Assignment from standard_dof_tuple_index. More...
 
bool operator== (standard_dof_tuple_index x) const
 True if this has the same value as standard_dof_tuple_index x. More...
 
bool operator!= (standard_dof_tuple_index x) const
 True if this does not have the same value as standard_dof_tuple_index x. More...
 
bool operator< (standard_dof_tuple_index x) const
 True if this is less than standard_dof_tuple_index x. More...
 
bool operator<= (standard_dof_tuple_index x) const
 True if this is less than or equal to standard_dof_tuple_index x. More...
 
bool operator> (standard_dof_tuple_index x) const
 True if this is greater than standard_dof_tuple_index x. More...
 
bool operator>= (standard_dof_tuple_index x) const
 True if this is greater than or equal to standard_dof_tuple_index x. More...
 

UNSIGNED CHAR FACET

 scoped_index (unsigned char xother, const index_space_handle &xid_space)
 Creates an instance with pod() == x in the scope of xid_space. More...
 
scoped_indexoperator= (unsigned char xother)
 Assignment from unsigned char. More...
 
bool operator== (unsigned char xother) const
 True if this has the same value as unsigned char xother. More...
 
bool operator!= (unsigned char xother) const
 True if this does not have the same value as unsigned char xother. More...
 
bool operator< (unsigned char xother) const
 True if this is less than unsigned char xother. More...
 
bool operator<= (unsigned char xother) const
 True if this is less than or equal to unsigned char xother. More...
 
bool operator> (unsigned char xother) const
 True if this is greater than unsigned char xother. More...
 
bool operator>= (unsigned char xother) const
 True if this is greater than or equal to unsigned char xother. More...
 
scoped_indexoperator+= (unsigned char xother)
 This := this + unsigned char xother. More...
 
scoped_index operator+ (unsigned char xother) const
 This + unsigned char xother. More...
 
scoped_indexoperator-= (unsigned char xother)
 This := this - unsigned char xother. More...
 
scoped_index operator- (unsigned char xother) const
 This - unsigned char xother. More...
 
scoped_indexoperator*= (unsigned char xother)
 This := this * unsigned char xother. More...
 
scoped_index operator* (unsigned char xother) const
 This * unsigned char xother. More...
 
scoped_indexoperator/= (unsigned char xother)
 This := this / unsigned char xother. More...
 
scoped_index operator/ (unsigned char xother) const
 This / unsigned char xother. More...
 
scoped_indexoperator%= (unsigned char xother)
 This := this modulo unsigned char xother. More...
 
scoped_index operator% (unsigned char xother) const
 This modulo unsigned char xother. More...
 

UNSIGNED SHORT INT FACET

 scoped_index (unsigned short int xother, const index_space_handle &xid_space)
 Creates an instance with pod() == x in the scope of xid_space. More...
 
scoped_indexoperator= (unsigned short int xother)
 Assignment from unsigned short int. More...
 
bool operator== (unsigned short int xother) const
 True if this has the same value as unsigned short int xother. More...
 
bool operator!= (unsigned short int xother) const
 True if this does not have the same value as unsigned short int xother. More...
 
bool operator< (unsigned short int xother) const
 True if this is less than unsigned short int xother. More...
 
bool operator<= (unsigned short int xother) const
 True if this is less than or equal to unsigned short int xother. More...
 
bool operator> (unsigned short int xother) const
 True if this is greater than unsigned short int xother. More...
 
bool operator>= (unsigned short int xother) const
 True if this is greater than or equal to unsigned short int xother. More...
 
scoped_indexoperator+= (unsigned short int xother)
 This := this + unsigned short int xother. More...
 
scoped_index operator+ (unsigned short int xother) const
 This + unsigned short int xother. More...
 
scoped_indexoperator-= (unsigned short int xother)
 This := this - unsigned short int xother. More...
 
scoped_index operator- (unsigned short int xother) const
 This - unsigned short int xother. More...
 
scoped_indexoperator*= (unsigned short int xother)
 This := this * unsigned short int xother. More...
 
scoped_index operator* (unsigned short int xother) const
 This * unsigned short int xother. More...
 
scoped_indexoperator/= (unsigned short int xother)
 This := this / unsigned short int xother. More...
 
scoped_index operator/ (unsigned short int xother) const
 This / unsigned short int xother. More...
 
scoped_indexoperator%= (unsigned short int xother)
 This := this modulo unsigned short int xother. More...
 
scoped_index operator% (unsigned short int xother) const
 This modulo unsigned short int xother. More...
 

UNSIGNED INT FACET

 scoped_index (unsigned int xother, const index_space_handle &xid_space)
 Creates an instance with pod() == x in the scope of xid_space. More...
 
scoped_indexoperator= (unsigned int xother)
 Assignment from unsigned int. More...
 
bool operator== (unsigned int xother) const
 True if this has the same value as unsigned int xother. More...
 
bool operator!= (unsigned int xother) const
 True if this does not have the same value as unsigned int xother. More...
 
bool operator< (unsigned int xother) const
 True if this is less than unsigned int xother. More...
 
bool operator<= (unsigned int xother) const
 True if this is less than or equal to unsigned int xother. More...
 
bool operator> (unsigned int xother) const
 True if this is greater than unsigned int xother. More...
 
bool operator>= (unsigned int xother) const
 True if this is greater than or equal to unsigned int xother. More...
 
scoped_indexoperator+= (unsigned int xother)
 This := this + unsigned int xother. More...
 
scoped_index operator+ (unsigned int xother) const
 This + unsigned int xother. More...
 
scoped_indexoperator-= (unsigned int xother)
 This := this - unsigned int xother. More...
 
scoped_index operator- (unsigned int xother) const
 This - unsigned int xother. More...
 
scoped_indexoperator*= (unsigned int xother)
 This := this * unsigned int xother. More...
 
scoped_index operator* (unsigned int xother) const
 This * unsigned int xother. More...
 
scoped_indexoperator/= (unsigned int xother)
 This := this / unsigned int xother. More...
 
scoped_index operator/ (unsigned int xother) const
 This / unsigned int xother. More...
 
scoped_indexoperator%= (unsigned int xother)
 This := this modulo unsigned int xother. More...
 
scoped_index operator% (unsigned int xother) const
 This modulo unsigned int xother. More...
 

UNSIGNED LONG INT FACET

 scoped_index (unsigned long int xother, const index_space_handle &xid_space)
 Creates an instance with pod() == x in the scope of xid_space. More...
 
scoped_indexoperator= (unsigned long int xother)
 Assignment from unsigned long int. More...
 
bool operator== (unsigned long int xother) const
 True if this has the same value as unsigned long int xother. More...
 
bool operator!= (unsigned long int xother) const
 True if this does not have the same value as unsigned long int xother. More...
 
bool operator< (unsigned long int xother) const
 True if this is less than unsigned long int xother. More...
 
bool operator<= (unsigned long int xother) const
 True if this is less than or equal to unsigned long int xother. More...
 
bool operator> (unsigned long int xother) const
 True if this is greater than unsigned long int xother. More...
 
bool operator>= (unsigned long int xother) const
 True if this is greater than or equal to unsigned long int xother. More...
 
scoped_indexoperator+= (unsigned long int xother)
 This := this + unsigned long int xother. More...
 
scoped_index operator+ (unsigned long int xother) const
 This + unsigned long int xother. More...
 
scoped_indexoperator-= (unsigned long int xother)
 This := this - unsigned long int xother. More...
 
scoped_index operator- (unsigned long int xother) const
 This - unsigned long int xother. More...
 
scoped_indexoperator*= (unsigned long int xother)
 This := this * unsigned long int xother. More...
 
scoped_index operator* (unsigned long int xother) const
 This * unsigned long int xother. More...
 
scoped_indexoperator/= (unsigned long int xother)
 This := this / unsigned long int xother. More...
 
scoped_index operator/ (unsigned long int xother) const
 This / unsigned long int xother. More...
 
scoped_indexoperator%= (unsigned long int xother)
 This := this modulo unsigned long int xother. More...
 
scoped_index operator% (unsigned long int xother) const
 This modulo unsigned long int xother. More...
 

SIGNED CHAR FACET

 scoped_index (signed char xother, const index_space_handle &xid_space)
 Creates an instance with pod() == x in the scope of xid_space. More...
 
scoped_indexoperator= (signed char xother)
 Assignment from signed char. More...
 
bool operator== (signed char xother) const
 True if this has the same value as signed char xother. More...
 
bool operator!= (signed char xother) const
 True if this does not have the same value as signed char xother. More...
 
bool operator< (signed char xother) const
 True if this is less than signed char xother. More...
 
bool operator<= (signed char xother) const
 True if this is less than or equal to signed char xother. More...
 
bool operator> (signed char xother) const
 True if this is greater than signed char xother. More...
 
bool operator>= (signed char xother) const
 True if this is greater than or equal to signed char xother. More...
 
scoped_indexoperator+= (signed char xother)
 This := this + signed char xother. More...
 
scoped_index operator+ (signed char xother) const
 This + signed char xother. More...
 
scoped_indexoperator-= (signed char xother)
 This := this - signed char xother. More...
 
scoped_index operator- (signed char xother) const
 This - signed char xother. More...
 
scoped_indexoperator*= (signed char xother)
 This := this * signed char xother. More...
 
scoped_index operator* (signed char xother) const
 This * signed char xother. More...
 
scoped_indexoperator/= (signed char xother)
 This := this / signed char xother. More...
 
scoped_index operator/ (signed char xother) const
 This / signed char xother. More...
 
scoped_indexoperator%= (signed char xother)
 This := this modulo signed char xother. More...
 
scoped_index operator% (signed char xother) const
 This modulo signed char xother. More...
 

SHORT INT FACET

 scoped_index (short int xother, const index_space_handle &xid_space)
 Creates an instance with pod() == x in the scope of xid_space. More...
 
scoped_indexoperator= (short int xother)
 Assignment from short int. More...
 
bool operator== (short int xother) const
 True if this has the same value as short int xother. More...
 
bool operator!= (short int xother) const
 True if this does not have the same value as short int xother. More...
 
bool operator< (short int xother) const
 True if this is less than short int xother. More...
 
bool operator<= (short int xother) const
 True if this is less than or equal to short int xother. More...
 
bool operator> (short int xother) const
 True if this is greater than short int xother. More...
 
bool operator>= (short int xother) const
 True if this is greater than or equal to short int xother. More...
 
scoped_indexoperator+= (short int xother)
 This := this + short int xother. More...
 
scoped_index operator+ (short int xother) const
 This + short int xother. More...
 
scoped_indexoperator-= (short int xother)
 This := this - short int xother. More...
 
scoped_index operator- (short int xother) const
 This - short int xother. More...
 
scoped_indexoperator*= (short int xother)
 This := this * short int xother. More...
 
scoped_index operator* (short int xother) const
 This * short int xother. More...
 
scoped_indexoperator/= (short int xother)
 This := this / short int xother. More...
 
scoped_index operator/ (short int xother) const
 This / short int xother. More...
 
scoped_indexoperator%= (short int xother)
 This := this modulo short int xother. More...
 
scoped_index operator% (short int xother) const
 This modulo short int xother. More...
 

INT FACET

 scoped_index (int xother, const index_space_handle &xid_space)
 Creates an instance with pod() == x in the scope of xid_space. More...
 
scoped_indexoperator= (int xother)
 Assignment from int. More...
 
bool operator== (int xother) const
 True if this has the same value as int xother. More...
 
bool operator!= (int xother) const
 True if this does not have the same value as int xother. More...
 
bool operator< (int xother) const
 True if this is less than int xother. More...
 
bool operator<= (int xother) const
 True if this is less than or equal to int xother. More...
 
bool operator> (int xother) const
 True if this is greater than int xother. More...
 
bool operator>= (int xother) const
 True if this is greater than or equal to int xother. More...
 
scoped_indexoperator+= (int xother)
 This := this + int xother. More...
 
scoped_index operator+ (int xother) const
 This + int xother. More...
 
scoped_indexoperator-= (int xother)
 This := this - int xother. More...
 
scoped_index operator- (int xother) const
 This - int xother. More...
 
scoped_indexoperator*= (int xother)
 This := this * int xother. More...
 
scoped_index operator* (int xother) const
 This * int xother. More...
 
scoped_indexoperator/= (int xother)
 This := this / int xother. More...
 
scoped_index operator/ (int xother) const
 This / int xother. More...
 
scoped_indexoperator%= (int xother)
 This := this modulo int xother. More...
 
scoped_index operator% (int xother) const
 This modulo int xother. More...
 

LONG INT FACET

 scoped_index (long int xother, const index_space_handle &xid_space)
 Creates an instance with pod() == x in the scope of xid_space. More...
 
scoped_indexoperator= (long int xother)
 Assignment from long int. More...
 
bool operator== (long int xother) const
 True if this has the same value as long int xother. More...
 
bool operator!= (long int xother) const
 True if this does not have the same value as long int xother. More...
 
bool operator< (long int xother) const
 True if this is less than long int xother. More...
 
bool operator<= (long int xother) const
 True if this is less than or equal to long int xother. More...
 
bool operator> (long int xother) const
 True if this is greater than long int xother. More...
 
bool operator>= (long int xother) const
 True if this is greater than or equal to long int xother. More...
 
scoped_indexoperator+= (long int xother)
 This := this + long int xother. More...
 
scoped_index operator+ (long int xother) const
 This + long int xother. More...
 
scoped_indexoperator-= (long int xother)
 This := this - long int xother. More...
 
scoped_index operator- (long int xother) const
 This - long int xother. More...
 
scoped_indexoperator*= (long int xother)
 This := this * long int xother. More...
 
scoped_index operator* (long int xother) const
 This * long int xother. More...
 
scoped_indexoperator/= (long int xother)
 This := this / long int xother. More...
 
scoped_index operator/ (long int xother) const
 This / long int xother. More...
 
scoped_indexoperator%= (long int xother)
 This := this modulo long int xother. More...
 
scoped_index operator% (long int xother) const
 This modulo long int xother. More...
 

Detailed Description

An index within the external ("client") scope of a given id space.

Definition at line 116 of file scoped_index.h.

Member Typedef Documentation

◆ pod_type

The "plain old data" storage type for this.

Definition at line 128 of file scoped_index.h.

Constructor & Destructor Documentation

◆ scoped_index() [1/24]

sheaf::scoped_index::scoped_index ( )
inline

Default constructor; creates an invalid instance.

Postcondition
  • !is_scoped()
  • !is_valid()

Definition at line 133 of file scoped_index.h.

References sheaf::is_valid().

Referenced by scoped_index().

◆ scoped_index() [2/24]

sheaf::scoped_index::scoped_index ( const index_space_handle xid_space)
inline

Creates an invalid instance in the scope of xid_space.

Precondition
  • xid_space.is_attached()
Postcondition
  • same_scope(xid_space)
  • !is_valid()

Definition at line 156 of file scoped_index.h.

References sheaf::index_space_handle::is_attached(), and sheaf::is_valid().

◆ scoped_index() [3/24]

sheaf::scoped_index::scoped_index ( const index_space_handle xid_space,
pod_type  xpod 
)
inline

Creates an instance with pod() == xpod in the scope of xid_space.

Precondition
  • xid_space.is_attached()
Postcondition
  • same_scope(xid_space)

Definition at line 182 of file scoped_index.h.

References sheaf::index_space_handle::is_attached().

◆ scoped_index() [4/24]

sheaf::scoped_index::scoped_index ( const index_space_handle xid_space,
const scoped_index xother 
)
inline

Creates an instance equivalent to xother in the scope of xid_space.

Precondition
  • xid_space.is_attached()
  • xother.same_id_space_family(xid_space)
Postcondition
  • same_scope(xid_space)
  • !is_valid() || (*this) ==~ xother

Definition at line 208 of file scoped_index.h.

References sheaf::index_space_handle::is_attached(), sheaf::is_valid(), and same_id_space_family().

◆ scoped_index() [5/24]

sheaf::scoped_index::scoped_index ( const scoped_index xother)
inline

Copy constructor.

Postcondition
  • (*this).is_identical_to(xother)

Definition at line 235 of file scoped_index.h.

◆ scoped_index() [6/24]

sheaf::scoped_index::scoped_index ( const poset_state_handle xhost,
const std::string &  xname 
)

Creates an invalid instance in the id space with name xname in poset xhost.

Precondition
  • xhost.state_is_read_accessible()
  • !xname.empty()
  • xhost.member_id_spaces(false).contains(xname)
Postcondition
  • !is_valid()

Definition at line 33 of file scoped_index.cc.

References sheaf::index_space_family::contains(), id_spaces(), invariant(), is_valid(), sheaf::poset_state_handle::member_id_spaces(), scope_id(), scoped_index(), and sheaf::read_write_monitor_handle::state_is_read_accessible().

◆ scoped_index() [7/24]

sheaf::scoped_index::scoped_index ( pod_type  xpod,
const poset_state_handle xhost,
const std::string &  xname 
)

Creates an instance with pod xpod in the id space with name xname in poset xhost.

Precondition
  • xhost.state_is_read_accessible()
  • !xname.empty()
  • xhost.member_id_spaces(false).contains(xname)
Postcondition

Definition at line 59 of file scoped_index.cc.

References sheaf::index_space_family::contains(), id_spaces(), invariant(), sheaf::poset_state_handle::member_id_spaces(), pod(), scope_id(), scoped_index(), and sheaf::read_write_monitor_handle::state_is_read_accessible().

◆ scoped_index() [8/24]

sheaf::scoped_index::scoped_index ( const scoped_index xother,
const poset_state_handle xhost,
const std::string &  xname 
)

Creates an instance equivalent to xother in the id space with name xname in poset xhost.

Precondition
  • xhost.state_is_read_accessible()
  • !xname.empty()
  • xhost.member_id_spaces(false).contains(xname)
Postcondition
  • (*this) ==~ xother

Definition at line 85 of file scoped_index.cc.

References sheaf::index_space_family::contains(), id_spaces(), invariant(), sheaf::poset_state_handle::member_id_spaces(), sheaf::index_space_family::pod(), scope_id(), and sheaf::read_write_monitor_handle::state_is_read_accessible().

◆ ~scoped_index()

sheaf::scoped_index::~scoped_index ( )
inline

Destructor. Not virtual; this can not be a base class.

Definition at line 277 of file scoped_index.h.

◆ scoped_index() [9/24]

sheaf::scoped_index::scoped_index ( primitive_type  x,
const index_space_handle xid_space 
)
inline

Creates an instance with pod() == x in the scope of xid_space.

Postcondition
  • (x == NOT_A_PRIMITIVE_TYPE) == (!is_valid())

Definition at line 1530 of file scoped_index.h.

References sheaf::is_valid().

◆ scoped_index() [10/24]

sheaf::scoped_index::scoped_index ( standard_member_index  x,
const index_space_handle xid_space 
)
inline

Creates an instance with pod() == x in the scope of xid_space.

Postcondition
  • (x == NOT_A_STANDARD_MEMBER_INDEX) == (!is_valid())

Definition at line 1623 of file scoped_index.h.

References sheaf::is_valid().

◆ scoped_index() [11/24]

sheaf::scoped_index::scoped_index ( primitives_schema_member_index  x,
const index_space_handle xid_space 
)
inline

Creates an instance with pod() == x in the scope of xid_space.

Postcondition
  • (x == NOT_A_PRIMITIVES_SCHEMA_MEMBER_INDEX) == (!is_valid())

Definition at line 1716 of file scoped_index.h.

References sheaf::is_valid().

◆ scoped_index() [12/24]

sheaf::scoped_index::scoped_index ( namespace_schema_member_index  x,
const index_space_handle xid_space 
)
inline

Creates an instance with pod() == x in the scope of xid_space.

Postcondition
  • (x == NOT_A_NAMESPACE_SCHEMA_MEMBER_INDEX) == (!is_valid())

Definition at line 1809 of file scoped_index.h.

References sheaf::is_valid().

◆ scoped_index() [13/24]

sheaf::scoped_index::scoped_index ( namespace_member_index  x,
const index_space_handle xid_space 
)
inline

Creates an instance with pod() == x in the scope of xid_space.

Postcondition
  • (x == NOT_A_NAMESPACE_MEMBER_INDEX) == (!is_valid())

Definition at line 1902 of file scoped_index.h.

References sheaf::is_valid().

◆ scoped_index() [14/24]

sheaf::scoped_index::scoped_index ( standard_subposet_index  x,
const index_space_handle xid_space 
)
inline

Creates an instance with pod() == x in the scope of xid_space.

Postcondition
  • (x == NOT_A_STANDARD_SUBPOSET_INDEX) == (!is_valid())

Definition at line 1995 of file scoped_index.h.

References sheaf::is_valid().

◆ scoped_index() [15/24]

sheaf::scoped_index::scoped_index ( standard_version_index  x,
const index_space_handle xid_space 
)
inline

Creates an instance with pod() == x in the scope of xid_space.

Postcondition
  • (x == NOT_A_STANDARD_VERSION_INDEX) == (!is_valid())

Definition at line 2088 of file scoped_index.h.

References sheaf::is_valid().

◆ scoped_index() [16/24]

sheaf::scoped_index::scoped_index ( standard_dof_tuple_index  x,
const index_space_handle xid_space 
)
inline

Creates an instance with pod() == x in the scope of xid_space.

Postcondition
  • (x == NOT_A_STANDARD_DOF_TUPLE_INDEX) == (!is_valid())

Definition at line 2181 of file scoped_index.h.

References sheaf::is_valid().

◆ scoped_index() [17/24]

sheaf::scoped_index::scoped_index ( unsigned char  xother,
const index_space_handle xid_space 
)
inline

Creates an instance with pod() == x in the scope of xid_space.

Definition at line 2274 of file scoped_index.h.

◆ scoped_index() [18/24]

sheaf::scoped_index::scoped_index ( unsigned short int  xother,
const index_space_handle xid_space 
)
inline

Creates an instance with pod() == x in the scope of xid_space.

Definition at line 2456 of file scoped_index.h.

◆ scoped_index() [19/24]

sheaf::scoped_index::scoped_index ( unsigned int  xother,
const index_space_handle xid_space 
)
inline

Creates an instance with pod() == x in the scope of xid_space.

Definition at line 2638 of file scoped_index.h.

◆ scoped_index() [20/24]

sheaf::scoped_index::scoped_index ( unsigned long int  xother,
const index_space_handle xid_space 
)
inline

Creates an instance with pod() == x in the scope of xid_space.

Definition at line 2820 of file scoped_index.h.

◆ scoped_index() [21/24]

sheaf::scoped_index::scoped_index ( signed char  xother,
const index_space_handle xid_space 
)
inline

Creates an instance with pod() == x in the scope of xid_space.

Definition at line 3002 of file scoped_index.h.

◆ scoped_index() [22/24]

sheaf::scoped_index::scoped_index ( short int  xother,
const index_space_handle xid_space 
)
inline

Creates an instance with pod() == x in the scope of xid_space.

Definition at line 3184 of file scoped_index.h.

◆ scoped_index() [23/24]

sheaf::scoped_index::scoped_index ( int  xother,
const index_space_handle xid_space 
)
inline

Creates an instance with pod() == x in the scope of xid_space.

Definition at line 3366 of file scoped_index.h.

◆ scoped_index() [24/24]

sheaf::scoped_index::scoped_index ( long int  xother,
const index_space_handle xid_space 
)
inline

Creates an instance with pod() == x in the scope of xid_space.

Definition at line 3548 of file scoped_index.h.

Member Function Documentation

◆ get_scope()

index_space_handle& sheaf::scoped_index::get_scope ( ) const
inline

Allocate an id space handle to the scope from the handle pool..

Precondition

Definition at line 534 of file scoped_index.h.

◆ glued_hub_pod()

pod_type sheaf::scoped_index::glued_hub_pod ( ) const
inline

The pod value of this mapped to the glued hub id space.

Precondition

Definition at line 738 of file scoped_index.h.

References sheaf::index_space_family::glued_hub_pod().

◆ hub_id()

scoped_index sheaf::scoped_index::hub_id ( ) const
inline

◆ hub_pod()

pod_type sheaf::scoped_index::hub_pod ( ) const
inline

The pod value of this mapped to the unglued hub id space.

Precondition

Definition at line 710 of file scoped_index.h.

References sheaf::index_space_family::unglued_hub_pod().

Referenced by sheaf::poset_state_handle::all_member_names(), sheaf::poset_state_handle::all_subposet_names(), sheaf::poset_state_handle::append_upper_cover_of_bottom(), fiber_bundle::at0::at0(), fiber_bundle::at1::at1(), fiber_bundle::at2::at2(), fiber_bundle::at2_e2::at2_e2(), fiber_bundle::at2_e3::at2_e3(), fiber_bundle::at3::at3(), fiber_bundle::at3_e3::at3_e3(), fiber_bundle::atp::atp(), sheaf::poset_state_handle::attach_to_state(), sheaf::poset_component::attach_to_state(), fiber_bundle::section_space_schema_member::attach_to_state(), sheaf::abstract_poset_member::attach_to_state(), fiber_bundle::base_space_member::base_space_member(), fiber_bundle::binary_section_space_schema_member::binary_section_space_schema_member(), sheaf::poset_state_handle::bound_contains_member(), fiber_bundle::sec_rep_space::branch_id_space_name(), fiber_bundle::chart_point_3d::chart_point_3d(), sheaf::namespace_poset::clear(), sheaf::poset_state_handle::clear_cover(), sheaf::dof_tuple_record_set::compute_ext_id(), sheaf::index_space_handle::contains(), sheaf::index_space_collection::contains(), sheaf::explicit_index_space_state::contains(), sheaf::index_space_family::contains(), fiber_bundle::homogeneous_block::contains_adjacency_id_space(), fiber_bundle::base_space_poset::contains_adjacency_id_space(), fiber_bundle::homogeneous_block::contains_connectivity_id_space(), fiber_bundle::base_space_poset::contains_connectivity_id_space(), sheaf::schema_poset_member::contains_dof(), fiber_bundle::section_space_schema_member::contains_dof(), sheaf::poset_state_handle::contains_link(), sheaf::crg_interval::contains_member(), sheaf::subposet::contains_member(), sheaf::poset_state_handle::contains_member(), sheaf::namespace_poset::contains_poset(), sheaf::namespace_poset::contains_poset_member(), fiber_bundle::section_space_schema_poset::contains_range_member(), sheaf::index_equivalence_class::contains_rep_id(), sheaf::schema_poset_member::contains_row_dof(), sheaf::poset_table_state::contains_row_dof_tuple(), sheaf::poset_state_handle::contains_row_dof_tuple(), sheaf::poset_powerset_state::contains_subposet(), sheaf::schema_poset_member::contains_table_dof(), fiber_bundle::base_space_poset::contains_vertex_client_id_space(), fiber_bundle::base_space_poset::contains_vertex_id_space(), fiber_bundle::base_space_poset::contains_zone_id_space(), sheaf::abstract_poset_member::copy_cover(), sheaf::poset_state_handle::copy_cover(), sheaf::poset_state_handle::cover_contains_iterator(), sheaf::abstract_poset_member::cover_contains_member(), sheaf::poset_state_handle::cover_contains_member(), sheaf::poset_state_handle::cover_ct(), sheaf::poset_state_handle::cover_id_space_id(), sheaf::poset_state_handle::cover_is_empty(), sheaf::abstract_poset_member::cover_is_equal(), sheaf::poset_state_handle::cover_is_equal(), sheaf::poset_state_handle::cover_is_singleton(), sheaf::abstract_poset_member::covers(), fields::local_field_refiner::create_vertex(), fiber_bundle::base_space_crg_interval::db(), fiber_bundle::base_space_member::db(), fiber_bundle::base_space_poset::db(), sheaf::deep_size(), sheaf::poset_state_handle::delete_all_member_names(), sheaf::poset_state_handle::delete_all_subposet_names(), fields::field_factory::delete_field_spaces(), sheaf::poset_state_handle::delete_link(), sheaf::poset_state_handle::delete_member(), sheaf::namespace_poset::delete_poset(), sheaf::poset_powerset_state::delete_poset_member(), sheaf::poset_powerset_state::delete_subposet(), sheaf::poset_state_handle::delete_subposet(), sheaf::implicit_crg_interval::dof_tuple_id(), sheaf::abstract_poset_member::down_ct(), fiber_bundle::e1::e1(), fiber_bundle::e2::e2(), fiber_bundle::e3::e3(), fiber_bundle::e4::e4(), fiber_bundle::ed::ed(), fields::field_eval_iterator::ensure_discretization_order(), fiber_bundle::section_iteration_state::ensure_discretization_order(), sheaf::poset_state_handle::ensure_lattice_invariant(), sheaf::index_equivalence_class::equivalence_ct(), sheaf::index_equivalence_class::equivalence_list(), sheaf::crg_interval::explicit_cover_name(), sheaf::member_record::external_size(), sheaf::member_record_set::externalize(), sheaf::member_record::externalize(), sheaf::depth_first_itr< T >::filter(), sheaf::depth_first_iterator::filter(), sheaf::filtered_depth_first_iterator::filtered_depth_first_iterator(), sheaf::filtered_depth_first_itr< T >::filtered_depth_first_itr(), sheaf::poset_state_handle::first_cover_member(), sheaf::abstract_poset_member::ge(), sheaf::abstract_poset_member::geqv(), fiber_bundle::homogeneous_block::get_adjacency_id_space(), fiber_bundle::base_space_poset::get_adjacency_id_space(), fiber_bundle::homogeneous_block::get_adjacency_id_space_iterator(), fiber_bundle::base_space_poset::get_adjacency_id_space_iterator(), fiber_bundle::section_space_schema_poset::get_base_space_id_from_index(), fiber_bundle::sec_rep_space::get_branch_id_space(), fiber_bundle::sec_rep_space::get_branch_id_space_iterator(), fiber_bundle::homogeneous_block::get_connectivity_id_space(), fiber_bundle::base_space_poset::get_connectivity_id_space(), fiber_bundle::homogeneous_block::get_connectivity_id_space_iterator(), fiber_bundle::base_space_poset::get_connectivity_id_space_iterator(), sheaf::poset_state_handle::get_cover_id_space(), sheaf::poset_state_handle::get_cover_id_space_iterator(), fiber_bundle::sparse_field_dof_map::get_discretization_dofs(), fiber_bundle::array_field_dof_map::get_discretization_dofs(), fiber_bundle::sparse_field_dof_map::get_dof(), sheaf::poset_state_handle::get_ext_id(), fiber_bundle::section_space_schema_poset::get_fiber_schema_id_from_index(), fiber_bundle::section_space_schema_poset::get_index_from_components(), fiber_bundle::base_space_poset::get_vertex_client_id_space(), fiber_bundle::base_space_poset::get_vertex_client_id_space_iterator(), fiber_bundle::base_space_poset::get_vertex_id_space(), fiber_bundle::base_space_poset::get_vertex_id_space_iterator(), fiber_bundle::base_space_poset::get_zone_id_space(), fiber_bundle::base_space_poset::get_zone_id_space_iterator(), fiber_bundle::gl2::gl2(), fiber_bundle::gl3::gl3(), fiber_bundle::gln::gln(), sheaf::poset_state_handle::greatest_jem(), sheaf::abstract_poset_member::gt(), sheaf::member_record::has_equivalence_iterator(), fiber_bundle::section_component_iterator::has_visited(), fiber_bundle::section_eval_iterator::has_visited(), sheaf::poset_dof_iterator::has_visited(), sheaf::filtered_depth_first_member_iterator::has_visited(), sheaf::depth_first_iterator::has_visited(), sheaf::depth_first_itr< T >::has_visited(), sheaf::implicit_crg_interval::implicit_cover_name(), sheaf::poset_state_handle::includes_subposet(), sheaf::index_equivalence_iterator::index_equivalence_iterator(), sheaf::poset_dof_map::init_row_dof_map(), sheaf::depth_first_itr< T >::initialize_filter(), sheaf::depth_first_iterator::initialize_filter(), sheaf::depth_first_itr< T >::initialize_traversal(), sheaf::depth_first_iterator::initialize_traversal(), sheaf::scattered_insertion_index_space_state::insert(), sheaf::scattered_insertion_index_space_handle::insert(), sheaf::abstract_poset_member::insert_cover_member(), sheaf::poset_state_handle::insert_cover_member(), sheaf::interval_index_space_handle::insert_interval(), sheaf::interval_index_space_state::insert_interval(), sheaf::subposet::insert_member(), sheaf::member_record_set::internalize(), sheaf::member_record::internalize(), fiber_bundle::section_space_schema_member::intersection_id_space_name(), sheaf::interval_index_space_handle::interval_begin(), sheaf::interval_index_space_state::interval_begin(), sheaf::interval_index_space_handle::interval_end(), sheaf::interval_index_space_state::interval_end(), sheaf::poset_state_handle::is_atom(), fiber_bundle::sec_tp_space::is_contravariant(), fiber_bundle::tp_space::is_contravariant(), fiber_bundle::sec_tp_space::is_covariant(), fiber_bundle::tp_space::is_covariant(), fiber_bundle::vd_space::is_covector(), fiber_bundle::sec_vd_space::is_covector(), sheaf::poset_powerset_state::is_dof_subposet(), is_equivalent_to(), fiber_bundle::section_space_schema_member::is_factorable(), fiber_bundle::section_space_schema_poset::is_homogeneous(), sheaf::implicit_crg_interval::is_interval_member(), sheaf::poset_state_handle::is_jem(), sheaf::implicit_crg_interval::is_jim(), sheaf::poset_state_handle::is_jim(), fiber_bundle::sec_rep_space::is_multisection(), fiber_bundle::sec_atp_space::is_p_form(), fiber_bundle::atp_space::is_p_form(), fiber_bundle::sec_atp_space::is_p_vector(), fiber_bundle::atp_space::is_p_vector(), sheaf::poset_component::is_same_state(), sheaf::poset_component::is_valid_index(), sheaf::subposet::is_valid_index(), sheaf::abstract_poset_member::is_valid_index(), sheaf::poset_state_handle::is_valid_int_id(), fiber_bundle::vd_space::is_vector(), fiber_bundle::sec_vd_space::is_vector(), fiber_bundle::jcb::jcb(), fiber_bundle::jcb_e13::jcb_e13(), fiber_bundle::jcb_e23::jcb_e23(), fiber_bundle::jcb_e33::jcb_e33(), fiber_bundle::jcb_ed::jcb_ed(), sheaf::abstract_poset_member::le(), sheaf::poset_state_handle::le(), sheaf::poset_state_handle::least_jem(), sheaf::abstract_poset_member::leqv(), sheaf::poset_state_handle::leqv(), sheaf::poset_state_handle::link_greatest_jem(), sheaf::poset_state_handle::link_least_jem(), sheaf::abstract_poset_member::lt(), sheaf::poset_powerset_state::member(), fiber_bundle::eval_family::member(), fiber_bundle::sec_rep_space::member_dof_map(), sheaf::poset_state_handle::member_dof_map(), fiber_bundle::base_space_poset::member_dof_tuple(), sheaf::poset_state_handle::member_dof_tuple_id(), sheaf::poset_state_handle::member_has_name(), sheaf::poset_state_handle::member_name(), sheaf::poset_state_handle::member_name_ct(), sheaf::namespace_poset::member_poset(), sheaf::poset_state_handle::merge_jems(), fiber_bundle::met::met(), fiber_bundle::met_e1::met_e1(), fiber_bundle::met_e2::met_e2(), fiber_bundle::met_e3::met_e3(), fiber_bundle::met_ed::met_ed(), sheaf::namespace_poset_member::namespace_poset_member(), sheaf::abstract_poset_member::new_jem_state(), sheaf::abstract_poset_member::new_jim_state(), sheaf::poset_state_handle::new_link(), sheaf::refinable_poset::new_member(), sheaf::poset_state_handle::new_member(), fiber_bundle::base_space_poset::new_member(), sheaf::refinable_poset::new_member_interval(), fiber_bundle::sec_rep_space::new_row_dof_map(), operator%=(), operator*=(), operator+=(), operator-=(), operator/=(), operator<<(), fiber_bundle::operator<<(), sheaf::operator<<(), fiber_bundle::section_space_schema_poset::ordinal(), sheaf::partial_poset_member::partial_poset_member(), sheaf::index_space_handle::pod(), sheaf::index_space_collection::pod(), sheaf::explicit_index_space_state::pod(), sheaf::index_space_family::pod(), fiber_bundle::point_block_1d::point_block_1d(), fiber_bundle::point_block_2d::point_block_2d(), fiber_bundle::point_block_3d::point_block_3d(), sheaf::poset_bounds_descriptor::poset_bounds_descriptor(), fiber_bundle::product_section_space_schema_member::product_section_space_schema_member(), fields::field_eval_iterator::property_has_been_visited(), fields::pullback_map_entry::pullback_map_entry(), sheaf::gathered_insertion_index_space_state::push_back(), sheaf::gathered_insertion_index_space_handle::push_back(), sheaf::interval_index_space_handle::push_interval(), sheaf::interval_index_space_state::push_interval(), fiber_bundle::chart_point_3d::put(), sheaf::poset_dof_iterator::put_anchor(), sheaf::filtered_depth_first_member_iterator::put_anchor(), sheaf::filtered_depth_first_iterator::put_anchor(), sheaf::filtered_depth_first_itr< T >::put_anchor(), fiber_bundle::chart_point::put_chart_id(), fiber_bundle::sparse_field_dof_map::put_discretization_dofs(), fiber_bundle::array_field_dof_map::put_discretization_dofs(), fiber_bundle::sparse_field_dof_map::put_dof(), sheaf::abstract_poset_member::put_dof(), sheaf::abstract_poset_member::put_dof_tuple_id(), sheaf::filtered_depth_first_member_iterator::put_filter(), sheaf::filtered_depth_first_iterator::put_filter(), sheaf::filtered_depth_first_itr< T >::put_filter(), fiber_bundle::section_component_iterator::put_has_visited(), fiber_bundle::section_eval_iterator::put_has_visited(), sheaf::poset_dof_iterator::put_has_visited(), sheaf::filtered_depth_first_member_iterator::put_has_visited(), sheaf::depth_first_iterator::put_has_visited(), sheaf::depth_first_itr< T >::put_has_visited(), fiber_bundle::sec_tp_space::put_is_contravariant(), fiber_bundle::tp_space::put_is_contravariant(), fiber_bundle::sec_tp_space::put_is_covariant(), fiber_bundle::tp_space::put_is_covariant(), fiber_bundle::vd_space::put_is_covector(), fiber_bundle::sec_vd_space::put_is_covector(), fiber_bundle::sec_atp_space::put_is_p_form(), fiber_bundle::atp_space::put_is_p_form(), fiber_bundle::sec_atp_space::put_is_p_vector(), fiber_bundle::atp_space::put_is_p_vector(), fiber_bundle::vd_space::put_is_vector(), fiber_bundle::sec_vd_space::put_is_vector(), sheaf::poset_bounds::put_lb_id(), sheaf::poset_bounds_descriptor::put_lb_id(), sheaf::poset_state_handle::put_member_dof_tuple_id(), sheaf::poset_state_handle::put_member_name(), fiber_bundle::unstructured_block_builder::put_name_mode(), fiber_bundle::base_space_poset::put_refinement_depth(), sheaf::index_equivalence_iterator::put_rep_id(), fiber_bundle::discretization_iterator::put_schema_anchor(), fiber_bundle::eval_iterator::put_schema_anchor(), sheaf::poset_state_handle::put_subposet_name(), sheaf::poset_bounds::put_ub_id(), sheaf::poset_bounds_descriptor::put_ub_id(), fiber_bundle::sec_tp_space::put_variance(), fiber_bundle::tp_space::put_variance(), sheaf::storage_agent::read_row_decomposition(), fiber_bundle::base_space_poset::refinement_depth(), sheaf::gathered_insertion_index_space_state::remove(), sheaf::gathered_insertion_index_space_handle::remove(), sheaf::abstract_poset_member::remove_cover_member(), sheaf::poset_state_handle::remove_cover_member(), sheaf::poset_state_handle::remove_cover_members(), sheaf::interval_index_space_handle::remove_interval(), sheaf::interval_index_space_state::remove_interval(), sheaf::subposet::remove_member(), sheaf::poset_state_handle::replace_cover_member(), fiber_bundle::section_eval_iterator::reset(), fiber_bundle::sec_rep_space_member::restrict_to(), sheaf::poset_state_handle::row_dof_map(), sheaf::poset_table_state::row_dof_tuple(), fiber_bundle::base_space_poset::row_dof_tuple(), sheaf::schema_poset_member::schema_poset_member(), fiber_bundle::sec_at0::sec_at0(), fiber_bundle::sec_at1::sec_at1(), fiber_bundle::sec_at2::sec_at2(), fiber_bundle::sec_at2_e2::sec_at2_e2(), fiber_bundle::sec_at2_e3::sec_at2_e3(), fiber_bundle::sec_at3::sec_at3(), fiber_bundle::sec_at3_e3::sec_at3_e3(), fiber_bundle::sec_atp::sec_atp(), fiber_bundle::sec_e1::sec_e1(), fiber_bundle::sec_e1_uniform::sec_e1_uniform(), fiber_bundle::sec_e2::sec_e2(), fiber_bundle::sec_e2_uniform::sec_e2_uniform(), fiber_bundle::sec_e3::sec_e3(), fiber_bundle::sec_e3_uniform::sec_e3_uniform(), fiber_bundle::sec_ed::sec_ed(), fiber_bundle::sec_jcb::sec_jcb(), fiber_bundle::sec_jcb_e13::sec_jcb_e13(), fiber_bundle::sec_jcb_e23::sec_jcb_e23(), fiber_bundle::sec_jcb_e33::sec_jcb_e33(), fiber_bundle::sec_jcb_ed::sec_jcb_ed(), fiber_bundle::sec_met::sec_met(), fiber_bundle::sec_met_e1::sec_met_e1(), fiber_bundle::sec_met_e2::sec_met_e2(), fiber_bundle::sec_met_e3::sec_met_e3(), fiber_bundle::sec_met_ed::sec_met_ed(), fiber_bundle::sec_rep_descriptor::sec_rep_descriptor(), fiber_bundle::sec_rep_space_member::sec_rep_space_member(), fiber_bundle::sec_st2::sec_st2(), fiber_bundle::sec_st2_e2::sec_st2_e2(), fiber_bundle::sec_st2_e3::sec_st2_e3(), fiber_bundle::sec_st3::sec_st3(), fiber_bundle::sec_st3_e3::sec_st3_e3(), fiber_bundle::sec_st4::sec_st4(), fiber_bundle::sec_st4_e2::sec_st4_e2(), fiber_bundle::sec_st4_e3::sec_st4_e3(), fiber_bundle::sec_stp::sec_stp(), fiber_bundle::sec_t2::sec_t2(), fiber_bundle::sec_t2_e2::sec_t2_e2(), fiber_bundle::sec_t2_e3::sec_t2_e3(), fiber_bundle::sec_t3::sec_t3(), fiber_bundle::sec_t3_e3::sec_t3_e3(), fiber_bundle::sec_t4::sec_t4(), fiber_bundle::sec_t4_e2::sec_t4_e2(), fiber_bundle::sec_t4_e3::sec_t4_e3(), fiber_bundle::sec_tp::sec_tp(), fiber_bundle::sec_tuple::sec_tuple(), fiber_bundle::sec_vd::sec_vd(), tool::visualization_iterator_4_2::set_vtk_data(), tool::visualization_iterator_1_1::set_vtk_data(), tool::visualization_iterator_4_3::set_vtk_data(), tool::visualization_iterator_1_3::set_vtk_data(), fiber_bundle::st2::st2(), fiber_bundle::st2_e2::st2_e2(), fiber_bundle::st2_e3::st2_e3(), fiber_bundle::st3::st3(), fiber_bundle::st3_e3::st3_e3(), fiber_bundle::st4::st4(), fiber_bundle::st4_e2::st4_e2(), fiber_bundle::st4_e3::st4_e3(), fiber_bundle::stp::stp(), fiber_bundle::structured_block_1d::structured_block_1d(), fiber_bundle::structured_block_2d::structured_block_2d(), fiber_bundle::structured_block_3d::structured_block_3d(), sheaf::poset_powerset_state::subposet_contains_member(), sheaf::poset_state_handle::subposet_has_name(), sheaf::poset_state_handle::subposet_name(), sheaf::poset_state_handle::subposet_name_ct(), fiber_bundle::t2::t2(), fiber_bundle::t2_e2::t2_e2(), fiber_bundle::t2_e3::t2_e3(), fiber_bundle::t3::t3(), fiber_bundle::t3_e3::t3_e3(), fiber_bundle::t4::t4(), fiber_bundle::t4_e2::t4_e2(), fiber_bundle::t4_e3::t4_e3(), sheaf::sum_index_space_state::term_of(), sheaf::total_poset_member::total_poset_member(), fiber_bundle::tp::tp(), fiber_bundle::section_space_schema_poset::tuple(), fiber_bundle::tuple::tuple(), fiber_bundle::base_space_poset::type_id(), fiber_bundle::base_space_poset::type_name(), fiber_bundle::chart_point_1d::u(), sheaf::abstract_poset_member::up_ct(), fiber_bundle::section_space_schema_member::update_table_dof_descriptors(), fiber_bundle::chart_point_2d::v(), fiber_bundle::sec_tp_space::variance(), fiber_bundle::tp_space::variance(), fiber_bundle::vd::vd(), sheaf::storage_agent::write_col_decomposition(), sheaf::storage_agent::write_dof_tuple(), sheaf::storage_agent::write_row_decomposition(), sheaf::storage_agent::write_toc(), fiber_bundle::zone_nodes_block::zone_nodes_block(), fiber_bundle::chart_point_1d::~chart_point_1d(), and fiber_bundle::chart_point_2d::~chart_point_2d().

◆ hub_scope()

void sheaf::scoped_index::hub_scope ( )
inline

Maps this to the hub id space.

Precondition
Postcondition

Definition at line 381 of file scoped_index.h.

Referenced by hub_id().

◆ id_spaces()

const index_space_family& sheaf::scoped_index::id_spaces ( ) const
inline

The id space family for this scope.

Precondition

Definition at line 498 of file scoped_index.h.

Referenced by scoped_index().

◆ in_range()

bool sheaf::scoped_index::in_range ( const scoped_index xbegin,
const scoped_index xend 
) const
inline

True if this is greater than or equal to xbegin and less than xend in the id space of xbegin and xend.

Precondition
  • xbegin.same_scope(xend)
  • same_id_space_family(xbegin)

Definition at line 1093 of file scoped_index.h.

References sheaf::index_space_family::pod(), pod(), and same_scope().

Referenced by sheaf::poset_state_handle::index_in_bounds().

◆ in_scope()

bool sheaf::scoped_index::in_scope ( ) const
inline

True if and only if scope() contains an entry for pod().

Definition at line 584 of file scoped_index.h.

Referenced by sheaf::poset_state_handle::extend_last_member_term(), sheaf::index_space_family::extend_last_term(), fiber_bundle::section_space_schema_poset::get_base_space_id_from_index(), fiber_bundle::array_field_dof_map::get_discretization_dofs(), fiber_bundle::sparse_field_dof_map::get_dof(), fiber_bundle::section_space_schema_poset::get_fiber_schema_id_from_index(), sheaf::scattered_insertion_index_space_state::insert(), sheaf::scattered_insertion_index_space_handle::insert(), sheaf::interval_index_space_handle::insert_interval(), sheaf::interval_index_space_state::insert_interval(), sheaf::member_record::internalize(), fiber_bundle::section_space_schema_member::intersection_id_space_name(), sheaf::interval_index_space_handle::interval_begin(), sheaf::interval_index_space_state::interval_begin(), sheaf::interval_index_space_handle::interval_end(), sheaf::interval_index_space_state::interval_end(), fiber_bundle::section_space_schema_member::is_factorable(), sheaf::poset_powerset_state::new_subposet(), fields::print_property_dofs_action::operator()(), sheaf::gathered_insertion_index_space_state::push_back(), sheaf::gathered_insertion_index_space_handle::push_back(), sheaf::interval_index_space_handle::push_interval(), sheaf::interval_index_space_state::push_interval(), fiber_bundle::array_field_dof_map::put_discretization_dofs(), fiber_bundle::sparse_field_dof_map::put_dof(), sheaf::gathered_insertion_index_space_state::remove(), sheaf::gathered_insertion_index_space_handle::remove(), sheaf::interval_index_space_handle::remove_interval(), sheaf::interval_index_space_state::remove_interval(), sheaf::sum_index_space_handle::term_of(), and sheaf::sum_index_space_state::term_of().

◆ INVALID()

static const scoped_index& sheaf::scoped_index::INVALID ( )
inlinestatic

◆ invalid_pod()

static pod_type sheaf::scoped_index::invalid_pod ( )
inlinestatic

The pod value of the invalid index.

Definition at line 702 of file scoped_index.h.

References sheaf::invalid_pod_index().

◆ invalidate()

◆ invariant()

bool sheaf::scoped_index::invariant ( ) const
inline

Class invariant.

Todo:
implement invariant for scoped_index.

Definition at line 417 of file scoped_index.h.

Referenced by scoped_index().

◆ is_equivalent_to()

bool sheaf::scoped_index::is_equivalent_to ( const scoped_index xother) const
inline

True if this is equivalent to xother, that is, if this refers to the same member as xother.

Precondition
  • xother.is_scoped()
Issue:
is_equivalent_to will return true if neither this nor xother are in_scope. Is that right? Is there a single non-member that they both refer to?
Postcondition
  • is_basic_query

Definition at line 932 of file scoped_index.h.

References hub_pod(), and is_scoped().

◆ is_hub_scope()

◆ is_identical_to()

bool sheaf::scoped_index::is_identical_to ( const scoped_index xother) const
inline

True if this is identical to xother, that is, they both have the same id_space and pod.

Definition at line 908 of file scoped_index.h.

◆ is_positive()

bool sheaf::scoped_index::is_positive ( ) const
inline

True if this is greater than or equal to ZERO.

Definition at line 1501 of file scoped_index.h.

Referenced by sheaf::index_traits< scoped_index >::is_positive(), sheaf::poset_dof_map::put_index(), and sheaf::poset_state_handle::subposet_index_ub().

◆ is_positive_definite()

bool sheaf::scoped_index::is_positive_definite ( ) const
inline

True if this is greater than ZERO.

Definition at line 1509 of file scoped_index.h.

Referenced by sheaf::index_traits< scoped_index >::is_positive_definite().

◆ is_scoped()

◆ is_valid()

bool sheaf::scoped_index::is_valid ( ) const
inline

True if this is a valid id.

Definition at line 832 of file scoped_index.h.

Referenced by sheaf::storage_agent::commit_dof_tuple_transaction(), fields::local_field_refiner::create_vertex(), fiber_bundle::section_space_schema_table_dof_crg_range::dof_tuple_id(), fiber_bundle::product_section_space_schema_crg_range::dof_tuple_id(), sheaf::abstract_poset_member::dof_tuple_id(), sheaf::member_record::externalize(), sheaf::subposet::get_index_from_name(), sheaf::abstract_poset_member::get_index_from_name(), sheaf::index_equivalence_iterator::index_equivalence_iterator(), sheaf::subposet_state::initialize(), sheaf::member_record::internalize(), INVALID(), sheaf::depth_first_iterator::is_maximal(), fiber_bundle::discretization_iterator::is_multivalued(), sheaf::namespace_relative_member_index::is_valid(), sheaf::namespace_relative_subposet_index::is_valid(), sheaf::namespace_relative_record_index::is_valid(), sheaf::index_traits< scoped_index >::is_valid(), sheaf::poset_state_handle::member_dof_tuple_id(), sheaf::poset_state_handle::member_id(), sheaf::poset_state_handle::new_member(), fiber_bundle::eval_iterator::next(), operator>>(), fiber_bundle::base_space_poset::prototype_dof_tuple_id(), sheaf::abstract_poset_member::put_dof_tuple_id(), sheaf::poset_dof_map::put_index(), sheaf::poset_state_handle::put_member_dof_tuple_id(), fiber_bundle::unstructured_block_builder::put_name_mode(), sheaf::index_equivalence_iterator::put_rep_id(), sheaf::schema_poset_member::row_dof_subposet_index(), scoped_index(), sheaf::schema_poset_member::table_dof_subposet_index(), and sheaf::storage_agent::write().

◆ operator!=() [1/18]

bool sheaf::scoped_index::operator!= ( scoped_index_hub_pod  xother) const
inline

True if and only if the hub_pod of this is equal to xother.

Definition at line 771 of file scoped_index.h.

◆ operator!=() [2/18]

bool sheaf::scoped_index::operator!= ( const scoped_index xother) const
inline

True if this not identical to as xother.

Definition at line 984 of file scoped_index.h.

◆ operator!=() [3/18]

bool sheaf::scoped_index::operator!= ( primitive_type  x) const
inline

True if this does not have the same value as primitive_type x.

Definition at line 1569 of file scoped_index.h.

◆ operator!=() [4/18]

bool sheaf::scoped_index::operator!= ( standard_member_index  x) const
inline

True if this does not have the same value as standard_member_index x.

Definition at line 1662 of file scoped_index.h.

◆ operator!=() [5/18]

bool sheaf::scoped_index::operator!= ( primitives_schema_member_index  x) const
inline

True if this does not have the same value as primitives_schema_member_index x.

Definition at line 1755 of file scoped_index.h.

◆ operator!=() [6/18]

bool sheaf::scoped_index::operator!= ( namespace_schema_member_index  x) const
inline

True if this does not have the same value as namespace_schema_member_index x.

Definition at line 1848 of file scoped_index.h.

◆ operator!=() [7/18]

bool sheaf::scoped_index::operator!= ( namespace_member_index  x) const
inline

True if this does not have the same value as namespace_member_index x.

Definition at line 1941 of file scoped_index.h.

◆ operator!=() [8/18]

bool sheaf::scoped_index::operator!= ( standard_subposet_index  x) const
inline

True if this does not have the same value as standard_subposet_index x.

Definition at line 2034 of file scoped_index.h.

◆ operator!=() [9/18]

bool sheaf::scoped_index::operator!= ( standard_version_index  x) const
inline

True if this does not have the same value as standard_version_index x.

Definition at line 2127 of file scoped_index.h.

◆ operator!=() [10/18]

bool sheaf::scoped_index::operator!= ( standard_dof_tuple_index  x) const
inline

True if this does not have the same value as standard_dof_tuple_index x.

Definition at line 2220 of file scoped_index.h.

◆ operator!=() [11/18]

bool sheaf::scoped_index::operator!= ( unsigned char  xother) const
inline

True if this does not have the same value as unsigned char xother.

Definition at line 2312 of file scoped_index.h.

◆ operator!=() [12/18]

bool sheaf::scoped_index::operator!= ( unsigned short int  xother) const
inline

True if this does not have the same value as unsigned short int xother.

Definition at line 2494 of file scoped_index.h.

◆ operator!=() [13/18]

bool sheaf::scoped_index::operator!= ( unsigned int  xother) const
inline

True if this does not have the same value as unsigned int xother.

Definition at line 2676 of file scoped_index.h.

◆ operator!=() [14/18]

bool sheaf::scoped_index::operator!= ( unsigned long int  xother) const
inline

True if this does not have the same value as unsigned long int xother.

Definition at line 2858 of file scoped_index.h.

◆ operator!=() [15/18]

bool sheaf::scoped_index::operator!= ( signed char  xother) const
inline

True if this does not have the same value as signed char xother.

Definition at line 3040 of file scoped_index.h.

◆ operator!=() [16/18]

bool sheaf::scoped_index::operator!= ( short int  xother) const
inline

True if this does not have the same value as short int xother.

Definition at line 3222 of file scoped_index.h.

◆ operator!=() [17/18]

bool sheaf::scoped_index::operator!= ( int  xother) const
inline

True if this does not have the same value as int xother.

Definition at line 3404 of file scoped_index.h.

◆ operator!=() [18/18]

bool sheaf::scoped_index::operator!= ( long int  xother) const
inline

True if this does not have the same value as long int xother.

Definition at line 3586 of file scoped_index.h.

◆ operator%() [1/9]

scoped_index sheaf::scoped_index::operator% ( const scoped_index xother) const
inline

This modulo xother.

Precondition
Postcondition

Definition at line 1448 of file scoped_index.h.

References pod().

◆ operator%() [2/9]

scoped_index sheaf::scoped_index::operator% ( unsigned char  xother) const
inline

This modulo unsigned char xother.

Definition at line 2433 of file scoped_index.h.

◆ operator%() [3/9]

scoped_index sheaf::scoped_index::operator% ( unsigned short int  xother) const
inline

This modulo unsigned short int xother.

Definition at line 2615 of file scoped_index.h.

◆ operator%() [4/9]

scoped_index sheaf::scoped_index::operator% ( unsigned int  xother) const
inline

This modulo unsigned int xother.

Definition at line 2797 of file scoped_index.h.

◆ operator%() [5/9]

scoped_index sheaf::scoped_index::operator% ( unsigned long int  xother) const
inline

This modulo unsigned long int xother.

Definition at line 2979 of file scoped_index.h.

◆ operator%() [6/9]

scoped_index sheaf::scoped_index::operator% ( signed char  xother) const
inline

This modulo signed char xother.

Definition at line 3161 of file scoped_index.h.

◆ operator%() [7/9]

scoped_index sheaf::scoped_index::operator% ( short int  xother) const
inline

This modulo short int xother.

Definition at line 3343 of file scoped_index.h.

◆ operator%() [8/9]

scoped_index sheaf::scoped_index::operator% ( int  xother) const
inline

This modulo int xother.

Definition at line 3525 of file scoped_index.h.

◆ operator%() [9/9]

scoped_index sheaf::scoped_index::operator% ( long int  xother) const
inline

This modulo long int xother.

Definition at line 3707 of file scoped_index.h.

◆ operator%=() [1/9]

scoped_index& sheaf::scoped_index::operator%= ( const scoped_index xother)
inline

This := this modulo xother.

Precondition
Postcondition
  • &result == this

Definition at line 1473 of file scoped_index.h.

References hub_pod(), and sheaf::index_space_family::pod().

◆ operator%=() [2/9]

scoped_index& sheaf::scoped_index::operator%= ( unsigned char  xother)
inline

This := this modulo unsigned char xother.

Definition at line 2424 of file scoped_index.h.

◆ operator%=() [3/9]

scoped_index& sheaf::scoped_index::operator%= ( unsigned short int  xother)
inline

This := this modulo unsigned short int xother.

Definition at line 2606 of file scoped_index.h.

◆ operator%=() [4/9]

scoped_index& sheaf::scoped_index::operator%= ( unsigned int  xother)
inline

This := this modulo unsigned int xother.

Definition at line 2788 of file scoped_index.h.

◆ operator%=() [5/9]

scoped_index& sheaf::scoped_index::operator%= ( unsigned long int  xother)
inline

This := this modulo unsigned long int xother.

Definition at line 2970 of file scoped_index.h.

◆ operator%=() [6/9]

scoped_index& sheaf::scoped_index::operator%= ( signed char  xother)
inline

This := this modulo signed char xother.

Definition at line 3152 of file scoped_index.h.

◆ operator%=() [7/9]

scoped_index& sheaf::scoped_index::operator%= ( short int  xother)
inline

This := this modulo short int xother.

Definition at line 3334 of file scoped_index.h.

◆ operator%=() [8/9]

scoped_index& sheaf::scoped_index::operator%= ( int  xother)
inline

This := this modulo int xother.

Definition at line 3516 of file scoped_index.h.

◆ operator%=() [9/9]

scoped_index& sheaf::scoped_index::operator%= ( long int  xother)
inline

This := this modulo long int xother.

Definition at line 3698 of file scoped_index.h.

◆ operator*() [1/9]

scoped_index sheaf::scoped_index::operator* ( const scoped_index xother) const
inline

This * xother.

Precondition
Postcondition

Definition at line 1347 of file scoped_index.h.

References pod().

◆ operator*() [2/9]

scoped_index sheaf::scoped_index::operator* ( unsigned char  xother) const
inline

This * unsigned char xother.

Definition at line 2397 of file scoped_index.h.

◆ operator*() [3/9]

scoped_index sheaf::scoped_index::operator* ( unsigned short int  xother) const
inline

This * unsigned short int xother.

Definition at line 2579 of file scoped_index.h.

◆ operator*() [4/9]

scoped_index sheaf::scoped_index::operator* ( unsigned int  xother) const
inline

This * unsigned int xother.

Definition at line 2761 of file scoped_index.h.

◆ operator*() [5/9]

scoped_index sheaf::scoped_index::operator* ( unsigned long int  xother) const
inline

This * unsigned long int xother.

Definition at line 2943 of file scoped_index.h.

◆ operator*() [6/9]

scoped_index sheaf::scoped_index::operator* ( signed char  xother) const
inline

This * signed char xother.

Definition at line 3125 of file scoped_index.h.

◆ operator*() [7/9]

scoped_index sheaf::scoped_index::operator* ( short int  xother) const
inline

This * short int xother.

Definition at line 3307 of file scoped_index.h.

◆ operator*() [8/9]

scoped_index sheaf::scoped_index::operator* ( int  xother) const
inline

This * int xother.

Definition at line 3489 of file scoped_index.h.

◆ operator*() [9/9]

scoped_index sheaf::scoped_index::operator* ( long int  xother) const
inline

This * long int xother.

Definition at line 3671 of file scoped_index.h.

◆ operator*=() [1/9]

scoped_index& sheaf::scoped_index::operator*= ( const scoped_index xother)
inline

This := this * xother.

Precondition
Postcondition
  • &result == this

Definition at line 1371 of file scoped_index.h.

References hub_pod(), and sheaf::index_space_family::pod().

◆ operator*=() [2/9]

scoped_index& sheaf::scoped_index::operator*= ( unsigned char  xother)
inline

This := this * unsigned char xother.

Definition at line 2388 of file scoped_index.h.

◆ operator*=() [3/9]

scoped_index& sheaf::scoped_index::operator*= ( unsigned short int  xother)
inline

This := this * unsigned short int xother.

Definition at line 2570 of file scoped_index.h.

◆ operator*=() [4/9]

scoped_index& sheaf::scoped_index::operator*= ( unsigned int  xother)
inline

This := this * unsigned int xother.

Definition at line 2752 of file scoped_index.h.

◆ operator*=() [5/9]

scoped_index& sheaf::scoped_index::operator*= ( unsigned long int  xother)
inline

This := this * unsigned long int xother.

Definition at line 2934 of file scoped_index.h.

◆ operator*=() [6/9]

scoped_index& sheaf::scoped_index::operator*= ( signed char  xother)
inline

This := this * signed char xother.

Definition at line 3116 of file scoped_index.h.

◆ operator*=() [7/9]

scoped_index& sheaf::scoped_index::operator*= ( short int  xother)
inline

This := this * short int xother.

Definition at line 3298 of file scoped_index.h.

◆ operator*=() [8/9]

scoped_index& sheaf::scoped_index::operator*= ( int  xother)
inline

This := this * int xother.

Definition at line 3480 of file scoped_index.h.

◆ operator*=() [9/9]

scoped_index& sheaf::scoped_index::operator*= ( long int  xother)
inline

This := this * long int xother.

Definition at line 3662 of file scoped_index.h.

◆ operator+() [1/9]

scoped_index sheaf::scoped_index::operator+ ( const scoped_index xother) const
inline

This + xother.

Postcondition
  • result.same_scope(*this)

Definition at line 1130 of file scoped_index.h.

References pod(), and same_scope().

◆ operator+() [2/9]

scoped_index sheaf::scoped_index::operator+ ( unsigned char  xother) const
inline

This + unsigned char xother.

Definition at line 2361 of file scoped_index.h.

◆ operator+() [3/9]

scoped_index sheaf::scoped_index::operator+ ( unsigned short int  xother) const
inline

This + unsigned short int xother.

Definition at line 2543 of file scoped_index.h.

◆ operator+() [4/9]

scoped_index sheaf::scoped_index::operator+ ( unsigned int  xother) const
inline

This + unsigned int xother.

Definition at line 2725 of file scoped_index.h.

◆ operator+() [5/9]

scoped_index sheaf::scoped_index::operator+ ( unsigned long int  xother) const
inline

This + unsigned long int xother.

Definition at line 2907 of file scoped_index.h.

◆ operator+() [6/9]

scoped_index sheaf::scoped_index::operator+ ( signed char  xother) const
inline

This + signed char xother.

Definition at line 3089 of file scoped_index.h.

◆ operator+() [7/9]

scoped_index sheaf::scoped_index::operator+ ( short int  xother) const
inline

This + short int xother.

Definition at line 3271 of file scoped_index.h.

◆ operator+() [8/9]

scoped_index sheaf::scoped_index::operator+ ( int  xother) const
inline

This + int xother.

Definition at line 3453 of file scoped_index.h.

◆ operator+() [9/9]

scoped_index sheaf::scoped_index::operator+ ( long int  xother) const
inline

This + long int xother.

Definition at line 3635 of file scoped_index.h.

◆ operator++() [1/2]

scoped_index& sheaf::scoped_index::operator++ ( )
inline

Prefix increment.

Precondition
Postcondition
  • &result == this

Definition at line 1179 of file scoped_index.h.

References sheaf::is_valid().

◆ operator++() [2/2]

const scoped_index sheaf::scoped_index::operator++ ( int  )
inline

Postfix increment.

Precondition
Postcondition
  • result.pod() == old_pod

Definition at line 1205 of file scoped_index.h.

References sheaf::is_valid(), and pod().

◆ operator+=() [1/9]

scoped_index& sheaf::scoped_index::operator+= ( const scoped_index xother)
inline

This := this + xother.

Precondition
Postcondition
  • &result == this

Definition at line 1153 of file scoped_index.h.

References hub_pod(), and sheaf::index_space_family::pod().

◆ operator+=() [2/9]

scoped_index& sheaf::scoped_index::operator+= ( unsigned char  xother)
inline

This := this + unsigned char xother.

Definition at line 2352 of file scoped_index.h.

◆ operator+=() [3/9]

scoped_index& sheaf::scoped_index::operator+= ( unsigned short int  xother)
inline

This := this + unsigned short int xother.

Definition at line 2534 of file scoped_index.h.

◆ operator+=() [4/9]

scoped_index& sheaf::scoped_index::operator+= ( unsigned int  xother)
inline

This := this + unsigned int xother.

Definition at line 2716 of file scoped_index.h.

◆ operator+=() [5/9]

scoped_index& sheaf::scoped_index::operator+= ( unsigned long int  xother)
inline

This := this + unsigned long int xother.

Definition at line 2898 of file scoped_index.h.

◆ operator+=() [6/9]

scoped_index& sheaf::scoped_index::operator+= ( signed char  xother)
inline

This := this + signed char xother.

Definition at line 3080 of file scoped_index.h.

◆ operator+=() [7/9]

scoped_index& sheaf::scoped_index::operator+= ( short int  xother)
inline

This := this + short int xother.

Definition at line 3262 of file scoped_index.h.

◆ operator+=() [8/9]

scoped_index& sheaf::scoped_index::operator+= ( int  xother)
inline

This := this + int xother.

Definition at line 3444 of file scoped_index.h.

◆ operator+=() [9/9]

scoped_index& sheaf::scoped_index::operator+= ( long int  xother)
inline

This := this + long int xother.

Definition at line 3626 of file scoped_index.h.

◆ operator-() [1/10]

scoped_index sheaf::scoped_index::operator- ( ) const
inline

Negation (unary minus).

Definition at line 1233 of file scoped_index.h.

◆ operator-() [2/10]

scoped_index sheaf::scoped_index::operator- ( const scoped_index xother) const
inline

This - xother.

Precondition
Postcondition

Definition at line 1243 of file scoped_index.h.

References pod().

◆ operator-() [3/10]

scoped_index sheaf::scoped_index::operator- ( unsigned char  xother) const
inline

This - unsigned char xother.

Definition at line 2379 of file scoped_index.h.

◆ operator-() [4/10]

scoped_index sheaf::scoped_index::operator- ( unsigned short int  xother) const
inline

This - unsigned short int xother.

Definition at line 2561 of file scoped_index.h.

◆ operator-() [5/10]

scoped_index sheaf::scoped_index::operator- ( unsigned int  xother) const
inline

This - unsigned int xother.

Definition at line 2743 of file scoped_index.h.

◆ operator-() [6/10]

scoped_index sheaf::scoped_index::operator- ( unsigned long int  xother) const
inline

This - unsigned long int xother.

Definition at line 2925 of file scoped_index.h.

◆ operator-() [7/10]

scoped_index sheaf::scoped_index::operator- ( signed char  xother) const
inline

This - signed char xother.

Definition at line 3107 of file scoped_index.h.

◆ operator-() [8/10]

scoped_index sheaf::scoped_index::operator- ( short int  xother) const
inline

This - short int xother.

Definition at line 3289 of file scoped_index.h.

◆ operator-() [9/10]

scoped_index sheaf::scoped_index::operator- ( int  xother) const
inline

This - int xother.

Definition at line 3471 of file scoped_index.h.

◆ operator-() [10/10]

scoped_index sheaf::scoped_index::operator- ( long int  xother) const
inline

This - long int xother.

Definition at line 3653 of file scoped_index.h.

◆ operator--() [1/2]

scoped_index& sheaf::scoped_index::operator-- ( )
inline

Prefix decrement.

Precondition
Postcondition
  • &result == this

Definition at line 1293 of file scoped_index.h.

References sheaf::is_valid().

◆ operator--() [2/2]

const scoped_index sheaf::scoped_index::operator-- ( int  )
inline

Postfix decrement.

Precondition
Postcondition
  • result.pod() == old_pod

Definition at line 1319 of file scoped_index.h.

References sheaf::is_valid(), and pod().

◆ operator-=() [1/9]

scoped_index& sheaf::scoped_index::operator-= ( const scoped_index xother)
inline

This := this - xother.

Precondition
Postcondition
  • &result == this

Definition at line 1267 of file scoped_index.h.

References hub_pod(), and sheaf::index_space_family::pod().

◆ operator-=() [2/9]

scoped_index& sheaf::scoped_index::operator-= ( unsigned char  xother)
inline

This := this - unsigned char xother.

Definition at line 2370 of file scoped_index.h.

◆ operator-=() [3/9]

scoped_index& sheaf::scoped_index::operator-= ( unsigned short int  xother)
inline

This := this - unsigned short int xother.

Definition at line 2552 of file scoped_index.h.

◆ operator-=() [4/9]

scoped_index& sheaf::scoped_index::operator-= ( unsigned int  xother)
inline

This := this - unsigned int xother.

Definition at line 2734 of file scoped_index.h.

◆ operator-=() [5/9]

scoped_index& sheaf::scoped_index::operator-= ( unsigned long int  xother)
inline

This := this - unsigned long int xother.

Definition at line 2916 of file scoped_index.h.

◆ operator-=() [6/9]

scoped_index& sheaf::scoped_index::operator-= ( signed char  xother)
inline

This := this - signed char xother.

Definition at line 3098 of file scoped_index.h.

◆ operator-=() [7/9]

scoped_index& sheaf::scoped_index::operator-= ( short int  xother)
inline

This := this - short int xother.

Definition at line 3280 of file scoped_index.h.

◆ operator-=() [8/9]

scoped_index& sheaf::scoped_index::operator-= ( int  xother)
inline

This := this - int xother.

Definition at line 3462 of file scoped_index.h.

◆ operator-=() [9/9]

scoped_index& sheaf::scoped_index::operator-= ( long int  xother)
inline

This := this - long int xother.

Definition at line 3644 of file scoped_index.h.

◆ operator/() [1/9]

scoped_index sheaf::scoped_index::operator/ ( const scoped_index xother) const
inline

This / xother.

Precondition
  • xother.pod() != 0
Postcondition
  • result.pod() == (pod() / xother.pod())

Definition at line 1397 of file scoped_index.h.

References pod().

◆ operator/() [2/9]

scoped_index sheaf::scoped_index::operator/ ( unsigned char  xother) const
inline

This / unsigned char xother.

Definition at line 2415 of file scoped_index.h.

◆ operator/() [3/9]

scoped_index sheaf::scoped_index::operator/ ( unsigned short int  xother) const
inline

This / unsigned short int xother.

Definition at line 2597 of file scoped_index.h.

◆ operator/() [4/9]

scoped_index sheaf::scoped_index::operator/ ( unsigned int  xother) const
inline

This / unsigned int xother.

Definition at line 2779 of file scoped_index.h.

◆ operator/() [5/9]

scoped_index sheaf::scoped_index::operator/ ( unsigned long int  xother) const
inline

This / unsigned long int xother.

Definition at line 2961 of file scoped_index.h.

◆ operator/() [6/9]

scoped_index sheaf::scoped_index::operator/ ( signed char  xother) const
inline

This / signed char xother.

Definition at line 3143 of file scoped_index.h.

◆ operator/() [7/9]

scoped_index sheaf::scoped_index::operator/ ( short int  xother) const
inline

This / short int xother.

Definition at line 3325 of file scoped_index.h.

◆ operator/() [8/9]

scoped_index sheaf::scoped_index::operator/ ( int  xother) const
inline

This / int xother.

Definition at line 3507 of file scoped_index.h.

◆ operator/() [9/9]

scoped_index sheaf::scoped_index::operator/ ( long int  xother) const
inline

This / long int xother.

Definition at line 3689 of file scoped_index.h.

◆ operator/=() [1/9]

scoped_index& sheaf::scoped_index::operator/= ( const scoped_index xother)
inline

This := this / xother.

Precondition
Postcondition
  • &result == this

Definition at line 1421 of file scoped_index.h.

References hub_pod(), and sheaf::index_space_family::pod().

◆ operator/=() [2/9]

scoped_index& sheaf::scoped_index::operator/= ( unsigned char  xother)
inline

This := this / unsigned char xother.

Definition at line 2406 of file scoped_index.h.

◆ operator/=() [3/9]

scoped_index& sheaf::scoped_index::operator/= ( unsigned short int  xother)
inline

This := this / unsigned short int xother.

Definition at line 2588 of file scoped_index.h.

◆ operator/=() [4/9]

scoped_index& sheaf::scoped_index::operator/= ( unsigned int  xother)
inline

This := this / unsigned int xother.

Definition at line 2770 of file scoped_index.h.

◆ operator/=() [5/9]

scoped_index& sheaf::scoped_index::operator/= ( unsigned long int  xother)
inline

This := this / unsigned long int xother.

Definition at line 2952 of file scoped_index.h.

◆ operator/=() [6/9]

scoped_index& sheaf::scoped_index::operator/= ( signed char  xother)
inline

This := this / signed char xother.

Definition at line 3134 of file scoped_index.h.

◆ operator/=() [7/9]

scoped_index& sheaf::scoped_index::operator/= ( short int  xother)
inline

This := this / short int xother.

Definition at line 3316 of file scoped_index.h.

◆ operator/=() [8/9]

scoped_index& sheaf::scoped_index::operator/= ( int  xother)
inline

This := this / int xother.

Definition at line 3498 of file scoped_index.h.

◆ operator/=() [9/9]

scoped_index& sheaf::scoped_index::operator/= ( long int  xother)
inline

This := this / long int xother.

Definition at line 3680 of file scoped_index.h.

◆ operator<() [1/18]

bool sheaf::scoped_index::operator< ( scoped_index_hub_pod  xother) const
inline

True if and only if the hub_pod of this is less than to xother.

Definition at line 779 of file scoped_index.h.

◆ operator<() [2/18]

bool sheaf::scoped_index::operator< ( const scoped_index xother) const
inline

True if this is less than xother.

Precondition
  • same_scope(xother)
Postcondition
  • is_basic_query

Definition at line 1004 of file scoped_index.h.

◆ operator<() [3/18]

bool sheaf::scoped_index::operator< ( primitive_type  x) const
inline

True if this is less than primitive_type x.

Definition at line 1577 of file scoped_index.h.

◆ operator<() [4/18]

bool sheaf::scoped_index::operator< ( standard_member_index  x) const
inline

True if this is less than standard_member_index x.

Definition at line 1670 of file scoped_index.h.

◆ operator<() [5/18]

bool sheaf::scoped_index::operator< ( primitives_schema_member_index  x) const
inline

True if this is less than primitives_schema_member_index x.

Definition at line 1763 of file scoped_index.h.

◆ operator<() [6/18]

bool sheaf::scoped_index::operator< ( namespace_schema_member_index  x) const
inline

True if this is less than namespace_schema_member_index x.

Definition at line 1856 of file scoped_index.h.

◆ operator<() [7/18]

bool sheaf::scoped_index::operator< ( namespace_member_index  x) const
inline

True if this is less than namespace_member_index x.

Definition at line 1949 of file scoped_index.h.

◆ operator<() [8/18]

bool sheaf::scoped_index::operator< ( standard_subposet_index  x) const
inline

True if this is less than standard_subposet_index x.

Definition at line 2042 of file scoped_index.h.

◆ operator<() [9/18]

bool sheaf::scoped_index::operator< ( standard_version_index  x) const
inline

True if this is less than standard_version_index x.

Definition at line 2135 of file scoped_index.h.

◆ operator<() [10/18]

bool sheaf::scoped_index::operator< ( standard_dof_tuple_index  x) const
inline

True if this is less than standard_dof_tuple_index x.

Definition at line 2228 of file scoped_index.h.

◆ operator<() [11/18]

bool sheaf::scoped_index::operator< ( unsigned char  xother) const
inline

True if this is less than unsigned char xother.

Definition at line 2320 of file scoped_index.h.

◆ operator<() [12/18]

bool sheaf::scoped_index::operator< ( unsigned short int  xother) const
inline

True if this is less than unsigned short int xother.

Definition at line 2502 of file scoped_index.h.

◆ operator<() [13/18]

bool sheaf::scoped_index::operator< ( unsigned int  xother) const
inline

True if this is less than unsigned int xother.

Definition at line 2684 of file scoped_index.h.

◆ operator<() [14/18]

bool sheaf::scoped_index::operator< ( unsigned long int  xother) const
inline

True if this is less than unsigned long int xother.

Definition at line 2866 of file scoped_index.h.

◆ operator<() [15/18]

bool sheaf::scoped_index::operator< ( signed char  xother) const
inline

True if this is less than signed char xother.

Definition at line 3048 of file scoped_index.h.

◆ operator<() [16/18]

bool sheaf::scoped_index::operator< ( short int  xother) const
inline

True if this is less than short int xother.

Definition at line 3230 of file scoped_index.h.

◆ operator<() [17/18]

bool sheaf::scoped_index::operator< ( int  xother) const
inline

True if this is less than int xother.

Definition at line 3412 of file scoped_index.h.

◆ operator<() [18/18]

bool sheaf::scoped_index::operator< ( long int  xother) const
inline

True if this is less than long int xother.

Definition at line 3594 of file scoped_index.h.

◆ operator<<()

scoped_index& sheaf::scoped_index::operator<< ( const scoped_index xother)
inline

Maps xother to the id space of this; sets this to the image of xother in the id space of this; returns this.

Precondition
  • xother.is_scoped()
Postcondition
  • !is_valid() || (*this) ==~ xother

Definition at line 601 of file scoped_index.h.

References hub_pod(), is_scoped(), and sheaf::is_valid().

◆ operator<=() [1/18]

bool sheaf::scoped_index::operator<= ( scoped_index_hub_pod  xother) const
inline

True if and only if the hub_pod of this is less than or equal to xother.

Definition at line 788 of file scoped_index.h.

◆ operator<=() [2/18]

bool sheaf::scoped_index::operator<= ( const scoped_index xother) const
inline

True if this is less than or equal to xother.

Precondition
  • same_scope(xother)
Postcondition
  • is_basic_query

Definition at line 1026 of file scoped_index.h.

◆ operator<=() [3/18]

bool sheaf::scoped_index::operator<= ( primitive_type  x) const
inline

True if this is less than or equal to primitive_type x.

Definition at line 1585 of file scoped_index.h.

◆ operator<=() [4/18]

bool sheaf::scoped_index::operator<= ( standard_member_index  x) const
inline

True if this is less than or equal to standard_member_index x.

Definition at line 1678 of file scoped_index.h.

◆ operator<=() [5/18]

bool sheaf::scoped_index::operator<= ( primitives_schema_member_index  x) const
inline

True if this is less than or equal to primitives_schema_member_index x.

Definition at line 1771 of file scoped_index.h.

◆ operator<=() [6/18]

bool sheaf::scoped_index::operator<= ( namespace_schema_member_index  x) const
inline

True if this is less than or equal to namespace_schema_member_index x.

Definition at line 1864 of file scoped_index.h.

◆ operator<=() [7/18]

bool sheaf::scoped_index::operator<= ( namespace_member_index  x) const
inline

True if this is less than or equal to namespace_member_index x.

Definition at line 1957 of file scoped_index.h.

◆ operator<=() [8/18]

bool sheaf::scoped_index::operator<= ( standard_subposet_index  x) const
inline

True if this is less than or equal to standard_subposet_index x.

Definition at line 2050 of file scoped_index.h.

◆ operator<=() [9/18]

bool sheaf::scoped_index::operator<= ( standard_version_index  x) const
inline

True if this is less than or equal to standard_version_index x.

Definition at line 2143 of file scoped_index.h.

◆ operator<=() [10/18]

bool sheaf::scoped_index::operator<= ( standard_dof_tuple_index  x) const
inline

True if this is less than or equal to standard_dof_tuple_index x.

Definition at line 2236 of file scoped_index.h.

◆ operator<=() [11/18]

bool sheaf::scoped_index::operator<= ( unsigned char  xother) const
inline

True if this is less than or equal to unsigned char xother.

Definition at line 2328 of file scoped_index.h.

◆ operator<=() [12/18]

bool sheaf::scoped_index::operator<= ( unsigned short int  xother) const
inline

True if this is less than or equal to unsigned short int xother.

Definition at line 2510 of file scoped_index.h.

◆ operator<=() [13/18]

bool sheaf::scoped_index::operator<= ( unsigned int  xother) const
inline

True if this is less than or equal to unsigned int xother.

Definition at line 2692 of file scoped_index.h.

◆ operator<=() [14/18]

bool sheaf::scoped_index::operator<= ( unsigned long int  xother) const
inline

True if this is less than or equal to unsigned long int xother.

Definition at line 2874 of file scoped_index.h.

◆ operator<=() [15/18]

bool sheaf::scoped_index::operator<= ( signed char  xother) const
inline

True if this is less than or equal to signed char xother.

Definition at line 3056 of file scoped_index.h.

◆ operator<=() [16/18]

bool sheaf::scoped_index::operator<= ( short int  xother) const
inline

True if this is less than or equal to short int xother.

Definition at line 3238 of file scoped_index.h.

◆ operator<=() [17/18]

bool sheaf::scoped_index::operator<= ( int  xother) const
inline

True if this is less than or equal to int xother.

Definition at line 3420 of file scoped_index.h.

◆ operator<=() [18/18]

bool sheaf::scoped_index::operator<= ( long int  xother) const
inline

True if this is less than or equal to long int xother.

Definition at line 3602 of file scoped_index.h.

◆ operator=() [1/17]

scoped_index& sheaf::scoped_index::operator= ( const scoped_index xother)
inline

Assignment operator.

Postcondition
  • (*this).is_identical_to(xother)

Definition at line 293 of file scoped_index.h.

◆ operator=() [2/17]

scoped_index& sheaf::scoped_index::operator= ( primitive_type  x)
inline

Assignment from primitive_type.

Precondition

Definition at line 1541 of file scoped_index.h.

◆ operator=() [3/17]

scoped_index& sheaf::scoped_index::operator= ( standard_member_index  x)
inline

Assignment from standard_member_index.

Precondition

Definition at line 1634 of file scoped_index.h.

◆ operator=() [4/17]

scoped_index& sheaf::scoped_index::operator= ( primitives_schema_member_index  x)
inline

Assignment from primitives_schema_member_index.

Precondition

Definition at line 1727 of file scoped_index.h.

◆ operator=() [5/17]

scoped_index& sheaf::scoped_index::operator= ( namespace_schema_member_index  x)
inline

Assignment from namespace_schema_member_index.

Precondition

Definition at line 1820 of file scoped_index.h.

◆ operator=() [6/17]

scoped_index& sheaf::scoped_index::operator= ( namespace_member_index  x)
inline

Assignment from namespace_member_index.

Precondition

Definition at line 1913 of file scoped_index.h.

◆ operator=() [7/17]

scoped_index& sheaf::scoped_index::operator= ( standard_subposet_index  x)
inline

Assignment from standard_subposet_index.

Precondition

Definition at line 2006 of file scoped_index.h.

◆ operator=() [8/17]

scoped_index& sheaf::scoped_index::operator= ( standard_version_index  x)
inline

Assignment from standard_version_index.

Precondition

Definition at line 2099 of file scoped_index.h.

◆ operator=() [9/17]

scoped_index& sheaf::scoped_index::operator= ( standard_dof_tuple_index  x)
inline

Assignment from standard_dof_tuple_index.

Precondition

Definition at line 2192 of file scoped_index.h.

◆ operator=() [10/17]

scoped_index& sheaf::scoped_index::operator= ( unsigned char  xother)
inline

Assignment from unsigned char.

Precondition

Definition at line 2284 of file scoped_index.h.

◆ operator=() [11/17]

scoped_index& sheaf::scoped_index::operator= ( unsigned short int  xother)
inline

Assignment from unsigned short int.

Precondition

Definition at line 2466 of file scoped_index.h.

◆ operator=() [12/17]

scoped_index& sheaf::scoped_index::operator= ( unsigned int  xother)
inline

Assignment from unsigned int.

Precondition

Definition at line 2648 of file scoped_index.h.

◆ operator=() [13/17]

scoped_index& sheaf::scoped_index::operator= ( unsigned long int  xother)
inline

Assignment from unsigned long int.

Precondition

Definition at line 2830 of file scoped_index.h.

◆ operator=() [14/17]

scoped_index& sheaf::scoped_index::operator= ( signed char  xother)
inline

Assignment from signed char.

Precondition

Definition at line 3012 of file scoped_index.h.

◆ operator=() [15/17]

scoped_index& sheaf::scoped_index::operator= ( short int  xother)
inline

Assignment from short int.

Precondition

Definition at line 3194 of file scoped_index.h.

◆ operator=() [16/17]

scoped_index& sheaf::scoped_index::operator= ( int  xother)
inline

Assignment from int.

Precondition

Definition at line 3376 of file scoped_index.h.

◆ operator=() [17/17]

scoped_index& sheaf::scoped_index::operator= ( long int  xother)
inline

Assignment from long int.

Precondition

Definition at line 3558 of file scoped_index.h.

◆ operator==() [1/18]

bool sheaf::scoped_index::operator== ( scoped_index_hub_pod  xother) const
inline

True if and only if the hub_pod of this is equal to xother.

Definition at line 763 of file scoped_index.h.

◆ operator==() [2/18]

bool sheaf::scoped_index::operator== ( const scoped_index xother) const
inline

True if this is identical to xother, that is, if this refers to the same member in the same id space as xother.

Postcondition
  • is_basic_query

Definition at line 962 of file scoped_index.h.

◆ operator==() [3/18]

bool sheaf::scoped_index::operator== ( primitive_type  x) const
inline

True if this has the same value as primitive_type x.

Definition at line 1561 of file scoped_index.h.

◆ operator==() [4/18]

bool sheaf::scoped_index::operator== ( standard_member_index  x) const
inline

True if this has the same value as standard_member_index x.

Definition at line 1654 of file scoped_index.h.

◆ operator==() [5/18]

bool sheaf::scoped_index::operator== ( primitives_schema_member_index  x) const
inline

True if this has the same value as primitives_schema_member_index x.

Definition at line 1747 of file scoped_index.h.

◆ operator==() [6/18]

bool sheaf::scoped_index::operator== ( namespace_schema_member_index  x) const
inline

True if this has the same value as namespace_schema_member_index x.

Definition at line 1840 of file scoped_index.h.

◆ operator==() [7/18]

bool sheaf::scoped_index::operator== ( namespace_member_index  x) const
inline

True if this has the same value as namespace_member_index x.

Definition at line 1933 of file scoped_index.h.

◆ operator==() [8/18]

bool sheaf::scoped_index::operator== ( standard_subposet_index  x) const
inline

True if this has the same value as standard_subposet_index x.

Definition at line 2026 of file scoped_index.h.

◆ operator==() [9/18]

bool sheaf::scoped_index::operator== ( standard_version_index  x) const
inline

True if this has the same value as standard_version_index x.

Definition at line 2119 of file scoped_index.h.

◆ operator==() [10/18]

bool sheaf::scoped_index::operator== ( standard_dof_tuple_index  x) const
inline

True if this has the same value as standard_dof_tuple_index x.

Definition at line 2212 of file scoped_index.h.

◆ operator==() [11/18]

bool sheaf::scoped_index::operator== ( unsigned char  xother) const
inline

True if this has the same value as unsigned char xother.

Definition at line 2304 of file scoped_index.h.

◆ operator==() [12/18]

bool sheaf::scoped_index::operator== ( unsigned short int  xother) const
inline

True if this has the same value as unsigned short int xother.

Definition at line 2486 of file scoped_index.h.

◆ operator==() [13/18]

bool sheaf::scoped_index::operator== ( unsigned int  xother) const
inline

True if this has the same value as unsigned int xother.

Definition at line 2668 of file scoped_index.h.

◆ operator==() [14/18]

bool sheaf::scoped_index::operator== ( unsigned long int  xother) const
inline

True if this has the same value as unsigned long int xother.

Definition at line 2850 of file scoped_index.h.

◆ operator==() [15/18]

bool sheaf::scoped_index::operator== ( signed char  xother) const
inline

True if this has the same value as signed char xother.

Definition at line 3032 of file scoped_index.h.

◆ operator==() [16/18]

bool sheaf::scoped_index::operator== ( short int  xother) const
inline

True if this has the same value as short int xother.

Definition at line 3214 of file scoped_index.h.

◆ operator==() [17/18]

bool sheaf::scoped_index::operator== ( int  xother) const
inline

True if this has the same value as int xother.

Definition at line 3396 of file scoped_index.h.

◆ operator==() [18/18]

bool sheaf::scoped_index::operator== ( long int  xother) const
inline

True if this has the same value as long int xother.

Definition at line 3578 of file scoped_index.h.

◆ operator>() [1/18]

bool sheaf::scoped_index::operator> ( scoped_index_hub_pod  xother) const
inline

True if and only if the hub_pod of this is greater than to xother.

Definition at line 796 of file scoped_index.h.

◆ operator>() [2/18]

bool sheaf::scoped_index::operator> ( const scoped_index xother) const
inline

True if this is greater than xother.

Precondition
  • same_scope(xother)
Postcondition
  • is_basic_query

Definition at line 1048 of file scoped_index.h.

◆ operator>() [3/18]

bool sheaf::scoped_index::operator> ( primitive_type  x) const
inline

True if this is greater than primitive_type x.

Definition at line 1593 of file scoped_index.h.

◆ operator>() [4/18]

bool sheaf::scoped_index::operator> ( standard_member_index  x) const
inline

True if this is greater than standard_member_index x.

Definition at line 1686 of file scoped_index.h.

◆ operator>() [5/18]

bool sheaf::scoped_index::operator> ( primitives_schema_member_index  x) const
inline

True if this is greater than primitives_schema_member_index x.

Definition at line 1779 of file scoped_index.h.

◆ operator>() [6/18]

bool sheaf::scoped_index::operator> ( namespace_schema_member_index  x) const
inline

True if this is greater than namespace_schema_member_index x.

Definition at line 1872 of file scoped_index.h.

◆ operator>() [7/18]

bool sheaf::scoped_index::operator> ( namespace_member_index  x) const
inline

True if this is greater than namespace_member_index x.

Definition at line 1965 of file scoped_index.h.

◆ operator>() [8/18]

bool sheaf::scoped_index::operator> ( standard_subposet_index  x) const
inline

True if this is greater than standard_subposet_index x.

Definition at line 2058 of file scoped_index.h.

◆ operator>() [9/18]

bool sheaf::scoped_index::operator> ( standard_version_index  x) const
inline

True if this is greater than standard_version_index x.

Definition at line 2151 of file scoped_index.h.

◆ operator>() [10/18]

bool sheaf::scoped_index::operator> ( standard_dof_tuple_index  x) const
inline

True if this is greater than standard_dof_tuple_index x.

Definition at line 2244 of file scoped_index.h.

◆ operator>() [11/18]

bool sheaf::scoped_index::operator> ( unsigned char  xother) const
inline

True if this is greater than unsigned char xother.

Definition at line 2336 of file scoped_index.h.

◆ operator>() [12/18]

bool sheaf::scoped_index::operator> ( unsigned short int  xother) const
inline

True if this is greater than unsigned short int xother.

Definition at line 2518 of file scoped_index.h.

◆ operator>() [13/18]

bool sheaf::scoped_index::operator> ( unsigned int  xother) const
inline

True if this is greater than unsigned int xother.

Definition at line 2700 of file scoped_index.h.

◆ operator>() [14/18]

bool sheaf::scoped_index::operator> ( unsigned long int  xother) const
inline

True if this is greater than unsigned long int xother.

Definition at line 2882 of file scoped_index.h.

◆ operator>() [15/18]

bool sheaf::scoped_index::operator> ( signed char  xother) const
inline

True if this is greater than signed char xother.

Definition at line 3064 of file scoped_index.h.

◆ operator>() [16/18]

bool sheaf::scoped_index::operator> ( short int  xother) const
inline

True if this is greater than short int xother.

Definition at line 3246 of file scoped_index.h.

◆ operator>() [17/18]

bool sheaf::scoped_index::operator> ( int  xother) const
inline

True if this is greater than int xother.

Definition at line 3428 of file scoped_index.h.

◆ operator>() [18/18]

bool sheaf::scoped_index::operator> ( long int  xother) const
inline

True if this is greater than long int xother.

Definition at line 3610 of file scoped_index.h.

◆ operator>=() [1/18]

bool sheaf::scoped_index::operator>= ( scoped_index_hub_pod  xother) const
inline

True if and only if the hub_pod of this is greater than or equal to xother.

Definition at line 805 of file scoped_index.h.

◆ operator>=() [2/18]

bool sheaf::scoped_index::operator>= ( const scoped_index xother) const
inline

True if this is greater than or equal to xother.

Precondition
  • same_scope(xother)
Postcondition
  • is_basic_query

Definition at line 1070 of file scoped_index.h.

◆ operator>=() [3/18]

bool sheaf::scoped_index::operator>= ( primitive_type  x) const
inline

True if this is greater than or equal to primitive_type x.

Definition at line 1601 of file scoped_index.h.

◆ operator>=() [4/18]

bool sheaf::scoped_index::operator>= ( standard_member_index  x) const
inline

True if this is greater than or equal to standard_member_index x.

Definition at line 1694 of file scoped_index.h.

◆ operator>=() [5/18]

bool sheaf::scoped_index::operator>= ( primitives_schema_member_index  x) const
inline

True if this is greater than or equal to primitives_schema_member_index x.

Definition at line 1787 of file scoped_index.h.

◆ operator>=() [6/18]

bool sheaf::scoped_index::operator>= ( namespace_schema_member_index  x) const
inline

True if this is greater than or equal to namespace_schema_member_index x.

Definition at line 1880 of file scoped_index.h.

◆ operator>=() [7/18]

bool sheaf::scoped_index::operator>= ( namespace_member_index  x) const
inline

True if this is greater than or equal to namespace_member_index x.

Definition at line 1973 of file scoped_index.h.

◆ operator>=() [8/18]

bool sheaf::scoped_index::operator>= ( standard_subposet_index  x) const
inline

True if this is greater than or equal to standard_subposet_index x.

Definition at line 2066 of file scoped_index.h.

◆ operator>=() [9/18]

bool sheaf::scoped_index::operator>= ( standard_version_index  x) const
inline

True if this is greater than or equal to standard_version_index x.

Definition at line 2159 of file scoped_index.h.

◆ operator>=() [10/18]

bool sheaf::scoped_index::operator>= ( standard_dof_tuple_index  x) const
inline

True if this is greater than or equal to standard_dof_tuple_index x.

Definition at line 2252 of file scoped_index.h.

◆ operator>=() [11/18]

bool sheaf::scoped_index::operator>= ( unsigned char  xother) const
inline

True if this is greater than or equal to unsigned char xother.

Definition at line 2344 of file scoped_index.h.

◆ operator>=() [12/18]

bool sheaf::scoped_index::operator>= ( unsigned short int  xother) const
inline

True if this is greater than or equal to unsigned short int xother.

Definition at line 2526 of file scoped_index.h.

◆ operator>=() [13/18]

bool sheaf::scoped_index::operator>= ( unsigned int  xother) const
inline

True if this is greater than or equal to unsigned int xother.

Definition at line 2708 of file scoped_index.h.

◆ operator>=() [14/18]

bool sheaf::scoped_index::operator>= ( unsigned long int  xother) const
inline

True if this is greater than or equal to unsigned long int xother.

Definition at line 2890 of file scoped_index.h.

◆ operator>=() [15/18]

bool sheaf::scoped_index::operator>= ( signed char  xother) const
inline

True if this is greater than or equal to signed char xother.

Definition at line 3072 of file scoped_index.h.

◆ operator>=() [16/18]

bool sheaf::scoped_index::operator>= ( short int  xother) const
inline

True if this is greater than or equal to short int xother.

Definition at line 3254 of file scoped_index.h.

◆ operator>=() [17/18]

bool sheaf::scoped_index::operator>= ( int  xother) const
inline

True if this is greater than or equal to int xother.

Definition at line 3436 of file scoped_index.h.

◆ operator>=() [18/18]

bool sheaf::scoped_index::operator>= ( long int  xother) const
inline

True if this is greater than or equal to long int xother.

Definition at line 3618 of file scoped_index.h.

◆ operator>>()

scoped_index& sheaf::scoped_index::operator>> ( scoped_index xother) const
inline

Maps this to the id space of xother; sets xother to the image of this in the id space of xother; returns xother.

Precondition
  • xother.is_scoped()
Postcondition

Definition at line 625 of file scoped_index.h.

References is_scoped(), is_valid(), and sheaf::index_space_family::pod().

◆ operator~()

scoped_index_hub_pod sheaf::scoped_index::operator~ ( ) const
inline

The hub pod value of this; intended only for use with "operators" ==~ and !=~.

Definition at line 753 of file scoped_index.h.

◆ pod()

const pod_type& sheaf::scoped_index::pod ( ) const
inline

The "plain old data" storage of this; the value in the external id space.

Definition at line 672 of file scoped_index.h.

Referenced by sheaf::poset_traverser::all_members_visited(), fiber_bundle::sec_vd_algebra::assign(), geometry::d_bin_point_locator< DC, DB >::assign_box(), fiber_bundle::section_space_schema_member::attach_to_state(), fields::base_space_map::base_space_map(), fields::body_pusher::body_pusher(), fiber_bundle::unstructured_block_builder::build_block_pa(), tool::vtk_poly_data_builder::build_pa(), tool::vtk_unstructured_grid_builder::build_pa(), sheaf::storage_agent::commit_dof_tuple_transaction(), sheaf::poset_scaffold::convert_record_id_to_subposet_id(), sheaf::abstract_poset_member::covers(), sheaf::abstract_poset_member::create_cover_link(), fields::edge_centered_polygon_refiner::create_edge_center(), fiber_bundle::sec_vd::deep_copy(), sheaf::abstract_poset_member::delete_cover_link(), sheaf::abstract_poset_member::delete_down(), fields::field_vd::delete_field_spaces(), fields::field_factory::delete_field_spaces(), sheaf::poset_state_handle::dof_tuple_id(), fields::field_vd::embed_property(), fields::field_eval_iterator::enough_capacity(), sheaf::poset_traverser::ensure_visited_ub(), sheaf::member_record::external_size(), sheaf::member_record_set::externalize(), sheaf::member_record::externalize(), sheaf::dof_tuple_record_set::externalize_domain(), sheaf::dof_tuple_record_set::externalize_one_domain(), sheaf::abstract_poset_member::ge(), fiber_bundle::section_space_schema_poset::get_base_space_id_from_index(), fiber_bundle::binary_section_space_schema_member::get_decomposition(), fiber_bundle::product_section_space_schema_member::get_decomposition(), fiber_bundle::sparse_field_dof_map::get_dof(), fiber_bundle::section_space_schema_poset::get_fiber_schema_id_from_index(), sheaf::depth_first_iterator::greater_index(), sheaf::poset_traverser::has_been_visited(), sheaf::poset_component::hub_id(), sheaf::poset_powerset_state::hub_id(), sheaf::poset_table_state::hub_id(), sheaf::poset_crg_state::hub_id(), sheaf::subposet::hub_id(), sheaf::abstract_poset_member::hub_id(), in_range(), fiber_bundle::dlinear_eval_family::initialize(), fiber_bundle::uniform_eval_family::initialize(), fiber_bundle::constant_eval_family::initialize(), sheaf::depth_first_itr< T >::initialize_has_visited(), sheaf::depth_first_iterator::initialize_has_visited(), fields::field_eval_iterator::initialize_property_schema(), fiber_bundle::section_space_schema_poset::initialize_standard_members(), sheaf::int_set::insert_members(), sheaf::member_record::internalize(), sheaf::poset_traverser::invariant(), sheaf::abstract_poset_member::le(), sheaf::lexographical_compare_policy::less_than(), sheaf::depth_first_iterator::lesser_index(), fiber_bundle::fiber_bundles_namespace::link_poset(), sheaf::namespace_poset::link_poset(), fiber_bundle::fiber_bundles_namespace::make_fiber_space_schema_poset(), sheaf::member_record_set::make_internal_dataspace(), fields::edge_centered_polygon_refiner::make_new_vertices(), sheaf::poset_traverser::mark_visited(), sheaf::poset_state_handle::member_id(), fiber_bundle::section_space_schema_poset::member_index_ub(), sheaf::abstract_poset_member::merge_jem(), fields::zone_centered_tet_refiner::modify_crg(), fields::zone_centered_segment_refiner::modify_crg(), fields::zone_centered_triangle_refiner::modify_crg(), fiber_bundle::sec_vd::new_comp(), fiber_bundle::sec_rep_space_member::new_jim_state(), fiber_bundle::base_space_poset::new_row_dof_map(), sheaf::poset_powerset_state::new_subposet(), sheaf::depth_first_iterator::next(), operator%(), fields::put_property_dofs_fcn_action::operator()(), fields::print_property_dofs_action::operator()(), operator*(), operator+(), operator++(), operator-(), operator--(), operator/(), sheaf::operator<<(), fiber_bundle::operator<<(), sheaf::namespace_relative_member_index::pod(), sheaf::namespace_relative_subposet_index::pod(), sheaf::namespace_relative_record_index::pod(), sheaf::index_traits< scoped_index >::pod(), sheaf::poset_orderer::postvisit_action(), fiber_bundle::at1_space::prereq_id(), fiber_bundle::sec_at1_space::prereq_id(), fiber_bundle::at0_space::prereq_id(), fiber_bundle::gln_space::prereq_id(), fiber_bundle::jcb_space::prereq_id(), fiber_bundle::sec_at0_space::prereq_id(), fiber_bundle::sec_jcb_space::prereq_id(), fiber_bundle::vd_space::prereq_id(), fiber_bundle::sec_vd_space::prereq_id(), fiber_bundle::tp_space::prereq_id(), fiber_bundle::sec_tp_space::prereq_id(), fiber_bundle::section_space_schema_poset::prereq_id(), sheaf::primitive_value::primitive_value(), fields::discretization_pusher::push(), sheaf::gathered_insertion_index_space_state::push(), sheaf::gathered_insertion_index_space_handle::push(), fields::field_refinement_buffer::push_prop_dofs(), fiber_bundle::sparse_field_dof_map::put_dof(), fiber_bundle::unstructured_block_builder::put_name_mode(), sheaf::poset_powerset_state::put_subposet_member_index_ub(), sheaf::member_record_set::read_record(), fields::field_refinement_buffer::refine_prop_dofs(), sheaf::depth_first_iterator::reset(), scoped_index(), fields::section_pusher::section_pusher(), sheaf::poset_state_handle::subposet_id(), sheaf::storage_agent::transaction::transaction(), fields::field_eval_iterator::update_capacity(), fiber_bundle::product_section_space_schema_member::update_row_cache_without_disc_id_space(), and fiber_bundle::section_space_schema_member::update_row_cache_without_disc_id_space().

◆ put()

void sheaf::scoped_index::put ( const index_space_handle xid_space,
pod_type  xpod 
)
inline

Set the scope to id space, xid_space and pod() to xpod.

Precondition
  • xid_space.is_attached()
Postcondition
  • same_scope(xid_space)

Definition at line 332 of file scoped_index.h.

References sheaf::index_space_handle::id_spaces(), sheaf::index_space_handle::index(), and sheaf::index_space_handle::is_attached().

Referenced by fiber_bundle::section_space_schema_member::base_space_id(), sheaf::crg_interval::begin(), fiber_bundle::base_space_crg_interval::cells_begin(), fiber_bundle::base_space_crg_interval::cells_end(), sheaf::abstract_poset_member::delete_down(), sheaf::crg_interval::end(), fiber_bundle::section_space_schema_member::fiber_schema_id(), sheaf::abstract_poset_member::first_cover_member(), sheaf::poset_state_handle::first_cover_member(), fiber_bundle::section_space_schema_poset::get_base_space_id_from_index(), fiber_bundle::section_space_schema_poset::get_fiber_schema_id_from_index(), fiber_bundle::section_space_schema_poset::get_index_from_components(), sheaf::poset_state_handle::greatest_jem(), sheaf::implicit_crg_interval::implicit_begin(), sheaf::poset_state_handle::least_jem(), sheaf::poset_state_handle::member_dof_tuple_id(), fiber_bundle::section_space_schema_poset::member_id(), sheaf::poset_state_handle::member_id(), sheaf::poset_state_handle::new_member(), sheaf::poset_state_handle::new_member_interval(), sheaf::poset_powerset_state::new_subposet(), fiber_bundle::section_space_schema_poset::ordinal(), sheaf::index_equivalence_iterator::rep_id(), fiber_bundle::section_space_schema_poset::tuple(), sheaf::poset_state_handle::version_index(), and sheaf::poset_state_handle::version_jims_index().

◆ put_pod()

◆ put_scope()

void sheaf::scoped_index::put_scope ( const index_space_handle xid_space)
inline

◆ release_scope()

void sheaf::scoped_index::release_scope ( index_space_handle xid_space) const
inline

Return the id space handle, xid_space to the handle pool.

Precondition
  • same_scope(xid_space)
Postcondition
  • !xid_space.is_attached()

Definition at line 552 of file scoped_index.h.

References sheaf::index_space_handle::is_attached().

◆ same_id_space_family() [1/2]

bool sheaf::scoped_index::same_id_space_family ( const scoped_index xother) const
inline

True if and only if this is in the same id space family as xother.

Definition at line 480 of file scoped_index.h.

References is_scoped().

Referenced by scoped_index().

◆ same_id_space_family() [2/2]

bool sheaf::scoped_index::same_id_space_family ( const index_space_handle xid_space) const
inline

True if and only if this is in the same id space family as xid_space.

Definition at line 489 of file scoped_index.h.

References sheaf::index_space_handle::id_spaces(), and sheaf::index_space_handle::is_attached().

◆ same_scope() [1/2]

◆ same_scope() [2/2]

bool sheaf::scoped_index::same_scope ( const index_space_handle xid_space) const
inline

True if and only if this is in the same id space as xid_space.

Definition at line 472 of file scoped_index.h.

References sheaf::index_space_handle::id_spaces(), and sheaf::index_space_handle::index().

◆ scope_id()

pod_type sheaf::scoped_index::scope_id ( ) const
inline

The index of the scope id space.

Precondition

Definition at line 516 of file scoped_index.h.

Referenced by sheaf::lexographical_compare_policy::less_than(), sheaf::operator<<(), and scoped_index().

◆ unglued_hub_pod()

pod_type sheaf::scoped_index::unglued_hub_pod ( ) const
inline

The pod value of this mapped to the unglued hub id space.

Precondition

Definition at line 724 of file scoped_index.h.

References sheaf::index_space_family::unglued_hub_pod().


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