SheafSystem  0.0.0.0
fiber_bundle::section_space_schema_member Class Referenceabstract

A client handle for a poset member which has been prepared for use as a schema for a section space. More...

#include <section_space_schema_member.h>

Inheritance diagram for fiber_bundle::section_space_schema_member:
sheaf::schema_poset_member sheaf::schema_poset_member sheaf::total_poset_member sheaf::total_poset_member sheaf::abstract_poset_member sheaf::abstract_poset_member sheaf::poset_component sheaf::poset_component sheaf::read_write_monitor_handle sheaf::read_write_monitor_handle sheaf::any sheaf::any fiber_bundle::binary_section_space_schema_member fiber_bundle::product_section_space_schema_member

Friends

class section_space_schema_poset
 

HOAT FACTORY FACET

typedef fiber_bundles_namespace namespace_type
 The type of namespace for this type of member. More...
 
typedef section_space_schema_poset host_type
 The type of host poset. More...
 
static const poset_pathstandard_schema_path ()
 The path of the schema required by this class. More...
 
static void make_standard_schema (namespace_poset &xns)
 Creates the standard schema for this class in namespace xns. More...
 

SECTION_SPACE_SCHEMA_MEMBER FACET

pod_index_type _base_space_id
 The member id of the base space component of this. More...
 
total_poset_member _base_space
 The base space componewnt of this. More...
 
pod_index_type _fiber_schema_id
 The member id of the fiber schema component of this. More...
 
schema_poset_member _fiber_schema
 The fiber schema component of this. More...
 
int _db
 The dimension of the base space component. More...
 
int _evaluation_ct
 The number of members in the intersection of the evaluation subposet the down set of the base space component. More...
 
int _discretization_ct
 The number of members in the intersection of the discretization subposet the down set of the base space component. More...
 
static const std::string & static_class_name ()
 The name of this class. More...
 
static std::string standard_member_name (const std::string &xfiber_schema_member_name, const std::string &xbase_member_name)
 The standard member name for a schema with fiber schema member with name xfiber_schema_member_name and base space member with name xbase_member_name. More...
 
static std::string intersection_id_space_name (const subposet &xsp, const pod_index_type xhub_id)
 The name of the id space for intersection of xsp with the down set of the member with hub id xhub_id. More...
 
static std::string intersection_id_space_name (const subposet &xsp, const scoped_index &xid)
 The name of the id space for intersection of xsp with the down set of the member with id xid. More...
 
static bool fiber_schema_conforms_to (const namespace_poset &xns, const poset_path &xpath, const poset_path &xfiber_schema_path, bool xauto_access=true)
 True if the fiber schema associated with xpath conforms to xfiber_schema_path. More...
 
static const std::string & static_class_name ()
 The name of this class. More...
 
static string intersection_id_space_name (const subposet &xsp, const pod_index_type xindex)
 The name of the id space for intersection of xsp with the down set of the member with index xindex. More...
 
static string intersection_id_space_name (const subposet &xsp, const scoped_index &xindex)
 The name of the id space for intersection of xsp with the down set of the member with index xindex. More...
 
virtual const std::string & class_name () const
 The name of this class. More...
 
virtual section_space_schema_memberoperator= (const abstract_poset_member &xother)
 Assignment operator; attaches this to the same state as xother. More...
 
section_space_schema_memberoperator= (const section_space_schema_member &xother)
 Assignment operator. More...
 
virtual ~section_space_schema_member ()
 Destructor; deletes a poset member and its attached state, if any. More...
 
section_space_schema_memberclone (bool xnew_state, bool xauto_access=true) const
 Make a new handle instance of current. Attach the new instance to a new state if xnew_state is true. Otherwise, attach the new instance to the current state. More...
 
virtual void new_jim_state (poset_dof_map *xdof_map=0, bool xcopy_dof_map=false, bool xauto_access=true)
 Creates a new jim (join-irreducible member) state in xhost and attaches this to it. More...
 
virtual void new_jim_state (pod_index_type xtuple_id, bool xauto_access=true)
 Creates a new jim (join-irreducible member) state in host() and attaches this to it. The existing dof map with index xtuple_id is used as the dof map. More...
 
virtual void new_jim_state (poset_state_handle *xhost, poset_dof_map *xdof_map=0, bool xcopy_dof_map=false, bool xauto_access=true)
 Creates a new jim (join-irreducible member) state in xhost and attaches this to it. More...
 
virtual void new_jim_state (poset_state_handle *xhost, pod_index_type xtuple_id, bool xauto_access=true)
 Creates a new jim (join-irreducible member) state in host() and attaches this to it. The existing dof map with index xtuple_id is used as the dof map. More...
 
virtual void new_jrm_state (bool xauto_access=true)
 Creates a new jrm (join-reducible member) state in host() and attaches this to it. More...
 
virtual void new_jrm_state (poset_state_handle *xhost, bool xauto_access=true)
 Creates a new jrm (join-reducible member) state in xhost and attaches this to it. More...
 
virtual void new_jrm_state (const scoped_index *xexpansion, int xexpansion_ct, const tern &xnew_jem, bool xauto_access=true)
 Computes the join of the members with the indices given in xexpansion. If the join already exists and !xnew_jim, attaches this to the existing join. Otherwise, creates a new jrm (join reducible member) state in xhost and attaches this to it. More...
 
virtual void new_jrm_state (poset_state_handle *xhost, const scoped_index *xexpansion, int xexpansion_ct, const tern &xnew_jem, bool xauto_access=true)
 Computes the join of the members with the indices given in xexpansion. If the join already exists and !xnew_jim, attaches this to the existing join. Otherwise, creates a new jrm (join reducible member) state in xhost and attaches this to it. More...
 
virtual void new_jem_state (abstract_poset_member *xother, bool xgreatest, bool xauto_access)
 Creates a new jrm state in xhost which is join equivalent to xother and attaches this to it. More...
 
virtual void new_jem_state (poset_state_handle *xhost, pod_index_type xhub_id, bool xgreatest, bool xauto_access)
 Creates a new jrm state in xhost which is join equivalent to xother and attaches this to it. More...
 
sec_rep_descriptorrep ()
 The representation for section spaces on this schema (mutable version). More...
 
const sec_rep_descriptorrep () const
 The representation for section spaces on this schema (const version). More...
 
bool same_rep (const section_space_schema_member &xother) const
 True if this has the same rep as xother. More...
 
pod_index_type base_space_id () const
 The member id of the base space component of this. More...
 
void base_space_id (scoped_index &result) const
 The member id of the base space component of this. More...
 
total_poset_memberbase_space ()
 The base space component of this (mutable version). More...
 
const total_poset_memberbase_space () const
 The base space component of this (const version). More...
 
bool same_base_space (const section_space_schema_member &xother) const
 True if this has the same base as xother. More...
 
pod_index_type fiber_schema_id () const
 The member id of the fiber schema component of this. More...
 
void fiber_schema_id (scoped_index &result) const
 The member id of the fiber schema component of this. More...
 
schema_poset_memberfiber_schema ()
 The fiber schema component of this (mutable version). More...
 
const schema_poset_memberfiber_schema () const
 The fiber schema component of this (const version). More...
 
bool same_fiber_schema (const section_space_schema_member &xother) const
 True if this has the same fiber schema as xother. More...
 
posetfiber_space ()
 The fiber space for section spaces on this schema (mutable version). More...
 
const posetfiber_space () const
 The fiber space for section spaces on this schema (const version). More...
 
template<typename F >
F & fiber_space ()
 The fiber space for section spaces on this schema, downcast to fiber space type F. More...
 
template<typename F >
const F & fiber_space () const
 The fiber space for section spaces on this schema, downcast to fiber space type F, const version. More...
 
int db () const
 The dimension of the base space component. More...
 
int df () const
 The dimension of the fiber space component. More...
 
int df (bool xauto_access)
 The dimension of the fiber space component. More...
 
int evaluation_ct () const
 The number of members in the intersection of the evaluation subposet and the down set of the base space component. More...
 
int discretization_ct () const
 The number of members in the intersection of the discretization subposet and the down set of the base space component. More...
 
subposetdiscretization ()
 The discretization subposet for section spaces on this schema (mutable version). More...
 
const subposetdiscretization () const
 The discretization subposet for section spaces on this schema (const version). More...
 
bool same_discretization (const section_space_schema_member &xother) const
 True if this has the same discretization as xother. More...
 
bool is_multivalued () const
 Switch that tells the user if the multivalued subposet exists. More...
 
subposetmultivalued ()
 The multivalued subposet for section spaces on this schema (mutable version). More...
 
const subposetmultivalued () const
 The multivalued subposet for section spaces on this schema (const version). More...
 
subposetevaluation ()
 The evaluation subposet for section spaces on this schema (mutable version). More...
 
const subposetevaluation () const
 The evaluation subposet for section spaces on this schema (const version). More...
 
bool same_evaluation (const section_space_schema_member &xother) const
 True if this has the same evaluation as xother. More...
 
virtual section_component_iteratorcomponent_iterator () const
 A postorder iterator over the components defined by this. More...
 
std::string evaluator_family_name () const
 The name of the evaluator family for section spaces on schemae hosted by this. More...
 
virtual size_t size () const =0
 The number of bytes in this dof. More...
 
virtual size_t alignment () const =0
 The alignment for this dof. More...
 
virtual sheaf::primitive_type type () const =0
 The primitive type index of the dof defined by this. More...
 
virtual section_dof_iteratordof_iterator (bool xis_table_dofs, int xversion=CURRENT_MEMBER_VERSION) const
 A postorder iterator over the table (xis_table_dofs == true) or row (xis_table_dofs == false) dofs defined by this. More...
 
section_dof_iteratortable_dof_iterator (int xversion=CURRENT_MEMBER_VERSION) const
 A postorder iterator over the table dofs defined by this. Synonym for dof_iterator(true). More...
 
section_dof_iteratorrow_dof_iterator (int xversion=CURRENT_MEMBER_VERSION) const
 A postorder iterator over the row dofs defined by this. More...
 
virtual bool conforms_to (const schema_poset_member &xother, bool xis_table_dofs) const
 True if this schema contains all the table dofs (xis_table_dofs true) or row dofs (xis_is_table_dofs false) contained in xother. (This schema may contain additional dofs as well.) More...
 
virtual const std::string & class_name () const
 The name of this class. More...
 
virtual section_space_schema_memberoperator= (const abstract_poset_member &xother)
 Assignment operator; attaches this to the same state as xother. More...
 
section_space_schema_memberoperator= (const section_space_schema_member &xother)
 Assignment operator. More...
 
virtual ~section_space_schema_member ()
 Destructor; deletes a poset member and its attached state, if any. More...
 
section_space_schema_memberclone (bool xnew_state, bool xauto_access=true) const
 Make a new handle instance of current. Attach the new instance to a new state if xnew_state is true. Otherwise, attach the new instance to the current state. More...
 
sec_rep_descriptorrep ()
 The representation for section spaces on this schema (mutable version). More...
 
const sec_rep_descriptorrep () const
 The representation for section spaces on this schema (const version). More...
 
bool same_rep (const section_space_schema_member &xother) const
 True if this has the same rep as xother. More...
 
pod_index_type base_space_id () const
 The member id of the base space component of this. More...
 
void base_space_id (scoped_index &result) const
 The member id of the base space component of this. More...
 
total_poset_memberbase_space ()
 The base space component of this (mutable version). More...
 
const total_poset_memberbase_space () const
 The base space component of this (const version). More...
 
bool same_base_space (const section_space_schema_member &xother) const
 True if this has the same base as xother. More...
 
pod_index_type fiber_schema_id () const
 The member id of the fiber schema component of this. More...
 
void fiber_schema_id (scoped_index &result) const
 The member id of the fiber schema component of this. More...
 
schema_poset_memberfiber_schema ()
 The fiber schema component of this (mutable version). More...
 
const schema_poset_memberfiber_schema () const
 The fiber schema component of this (const version). More...
 
bool same_fiber_schema (const section_space_schema_member &xother) const
 True if this has the same fiber schema as xother. More...
 
posetfiber_space ()
 The fiber space for section spaces on this schema (mutable version). More...
 
const posetfiber_space () const
 The fiber space for section spaces on this schema (const version). More...
 
int db () const
 The dimension of the base space component. More...
 
int df () const
 The dimension of the fiber space component. More...
 
int df (bool xauto_access)
 The dimension of the fiber space component. More...
 
bool is_factorable () const
 True if this member is factorable into base space and fiber schema components. More...
 
int evaluation_ct () const
 The number of members in the intersection of the evaluation subposet and the down set of the base space component. More...
 
int discretization_ct () const
 The number of members in the intersection of the discretization subposet and the down set of the base space component. More...
 
subposetdiscretization ()
 The discretization subposet for section spaces on this schema (mutable version). More...
 
const subposetdiscretization () const
 The discretization subposet for section spaces on this schema (const version). More...
 
bool same_discretization (const section_space_schema_member &xother) const
 True if this has the same discretization as xother. More...
 
subposetevaluation ()
 The evaluation subposet for section spaces on this schema (mutable version). More...
 
const subposetevaluation () const
 The evaluation subposet for section spaces on this schema (const version). More...
 
bool same_evaluation (const section_space_schema_member &xother) const
 True if this has the same evaluation as xother. More...
 
string evaluator_family_name () const
 The name of the evaluator family for section spaces on schemae hosted by this. More...
 
virtual poset_dof_iteratordof_iterator (bool xis_table_dofs, int xversion=CURRENT_MEMBER_VERSION) const =0
 A postorder iterator over the table (xis_table_dofs == true) or row (xis_table_dofs == false) dofs defined by version version of this. More...
 
virtual bool conforms_to (const schema_poset_member &xother, bool xis_table_dofs) const
 True if this schema contains all the table dofs (xis_table_dofs true) or row dofs (xis_is_table_dofs false) contained in xother. (This schema may contain additional dofs as well.) More...
 
 section_space_schema_member ()
 Default constructor; creates a new, unattached section_space_schema_member handle. Intended for use only by descendants. More...
 
virtual void make_schema_info (bool xis_table_dof)
 Makes the table or row dof subposets, client id maps, and other schema info for this. /. More...
 
virtual void attach_handle_data_members ()
 Initializes the handle data members when this handle is attached to a state. More...
 
void update_row_cache_without_disc_id_space () const
 Updates row cache using existing _discretization_id_space. More...
 
void update_row_cache_with_disc_id_space () const
 Updates row cache including _discretization_id_space. More...
 
void update_row_dof_id_space () const
 Updates _row_dof_id_space. More...
 
 section_space_schema_member ()
 Default constructor; creates a new, unattached section_space_schema_member handle. Intended for use only by descendants. More...
 
virtual void attach_handle_data_members ()
 Initializes the handle data members when this handle is attached to a state. More...
 

SCHEMA_POSET_MEMBER FACET

virtual primitive_type dof_tuple_type (bool xis_table_dof) const =0
 The type of table dofs (xis_table_dof == true) or row dofs (xis_table_dof == false) defined by this schema. Returns NOT_A_PRIMITIVE_TYPE if the dofs are not all the same type. More...
 
virtual dof_descriptor_arraydof_descriptors (bool xis_table_dof) const =0
 The dof_descriptors_array for the table dof tuple (xis_table_dof true) or row dof tuple defined by this schema. The offsets in the descriptors are defined by post-ordered, contiguous, properly aligned allocation of the dofs. Note: although returned by pointer, the client must not delete the dof offsets array. Not implemented for xis_table_dof false. More...
 
bool contains_dof (const schema_poset_member &xother, bool xin_table_dofs) const
 True if xother is a dof in the table dofs part (xin_table_dofs == true) or in the row dofs part (xin_table_dofs == false) of the schema defined by this. More...
 
bool contains_table_dof (const schema_poset_member &xother) const
 True if this is in the table dofs part of the schema defined by this. Synonym for contains_dof(xother, true). More...
 
bool contains_row_dof (const schema_poset_member &xother) const
 True if this is in the row dofs part of the schema defined by this. Synonym for contains_dof(xother, false). More...
 
bool contains_dof (pod_index_type xother_id, bool xin_table_dofs) const
 True if xother_id is the index of a dof in the table dofs part (xin_table_dofs == true) or in the row dofs part (xin_table_dofs == false) of the schema defined by this. More...
 
bool contains_dof (const scoped_index &xother_id, bool xin_table_dofs) const
 True if xother_id is the index of a dof in the table dofs part (xin_table_dofs == true) or in the row dofs part (xin_table_dofs == false) of the schema defined by this. More...
 
bool contains_table_dof (pod_index_type xother_id) const
 True if xother_id is the index of a dof in the table dofs part of the schema defined by this. Synonym for contains_dof(xother_id, true). More...
 
bool contains_table_dof (const scoped_index &xother_id) const
 True if xother_id is the index of a dof in the table dofs part of the schema defined by this. Synonym for contains_dof(xother_id, true). More...
 
bool contains_row_dof (pod_index_type xother_id) const
 True if xother_id is the index of a dof in the row dofs part of the schema defined by this. Synonym for contains_dof(xother_id, false). More...
 
bool contains_row_dof (const scoped_index &xother_id) const
 True if xother_id is the index of a dof in the row dofs part of the schema defined by this. Synonym for contains_dof(xother_id, false). More...
 
bool contains_dof (pod_index_type xbase_id, pod_index_type xfiber_id, bool xin_table_dofs) const
 True if xother_id is the index of a dof in the table dofs part (xin_table_dofs == true) or in the row dofs part (xin_table_dofs == false) of the schema defined by this. More...
 
bool contains_dof (const scoped_index &xbase_id, const scoped_index &xfiber_id, bool xin_table_dofs) const
 True if xother_id is the index of a dof in the table dofs part (xin_table_dofs == true) or in the row dofs part (xin_table_dofs == false) of the schema defined by this. More...
 
bool contains_table_dof (pod_index_type xbase_id, pod_index_type xfiber_id) const
 True if xother_id is the index of a dof in the table dofs part of the schema defined by this. Synonym for contains_dof(xother_id, true). More...
 
bool contains_table_dof (const scoped_index &xbase_id, const scoped_index &xfiber_id) const
 True if xother_id is the index of a dof in the table dofs part of the schema defined by this. Synonym for contains_dof(xother_id, true). More...
 
bool contains_row_dof (pod_index_type xbase_id, pod_index_type xfiber_id) const
 True if xother_id is the index of a dof in the row dofs part of the schema defined by this. Synonym for contains_dof(xother_id, false). More...
 
bool contains_row_dof (const scoped_index &xbase_id, const scoped_index &xfiber_id) const
 True if xother_id is the index of a dof in the row dofs part of the schema defined by this. Synonym for contains_dof(xother_id, false). More...
 
virtual bool is_dof (bool xin_table_dofs) const =0
 True if this is in the table dofs part (xin_table_dofs == true) or in the row dofs part (xin_table_dofs == false) of some schema. More...
 
bool contains_dof (const schema_poset_member &xother, bool xin_table_dofs) const
 True if xother is a dof in the table dofs part (xin_table_dofs == true) or in the row dofs part (xin_table_dofs == false) of the schema defined by this. More...
 
bool contains_table_dof (const schema_poset_member &xother) const
 True if this is in the table dofs part of the schema defined by this. Synonym for contains_dof(xother, true). More...
 
bool contains_row_dof (const schema_poset_member &xother) const
 True if this is in the row dofs part of the schema defined by this. Synonym for contains_dof(xother, false). More...
 
bool contains_dof (pod_index_type xother_id, bool xin_table_dofs) const
 True if xother_id is the index of a dof in the table dofs part (xin_table_dofs == true) or in the row dofs part (xin_table_dofs == false) of the schema defined by this. More...
 
bool contains_dof (const scoped_index &xother_id, bool xin_table_dofs) const
 True if xother_id is the index of a dof in the table dofs part (xin_table_dofs == true) or in the row dofs part (xin_table_dofs == false) of the schema defined by this. More...
 
bool contains_table_dof (pod_index_type xother_id) const
 True if xother_id is the index of a dof in the table dofs part of the schema defined by this. Synonym for contains_dof(xother_id, true). More...
 
bool contains_table_dof (const scoped_index &xother_id) const
 True if xother_id is the index of a dof in the table dofs part of the schema defined by this. Synonym for contains_dof(xother_id, true). More...
 
bool contains_row_dof (pod_index_type xother_id) const
 True if xother_id is the index of a dof in the row dofs part of the schema defined by this. Synonym for contains_dof(xother_id, false). More...
 
bool contains_row_dof (const scoped_index &xother_id) const
 True if xother_id is the index of a dof in the row dofs part of the schema defined by this. Synonym for contains_dof(xother_id, false). More...
 
bool contains_dof (pod_index_type xbase_id, pod_index_type xfiber_id, bool xin_table_dofs) const
 True if xother_id is the index of a dof in the table dofs part (xin_table_dofs == true) or in the row dofs part (xin_table_dofs == false) of the schema defined by this. More...
 
bool contains_dof (const scoped_index &xbase_id, const scoped_index &xfiber_id, bool xin_table_dofs) const
 True if xother_id is the index of a dof in the table dofs part (xin_table_dofs == true) or in the row dofs part (xin_table_dofs == false) of the schema defined by this. More...
 
bool contains_table_dof (pod_index_type xbase_id, pod_index_type xfiber_id) const
 True if xother_id is the index of a dof in the table dofs part of the schema defined by this. Synonym for contains_dof(xother_id, true). More...
 
bool contains_table_dof (const scoped_index &xbase_id, const scoped_index &xfiber_id) const
 True if xother_id is the index of a dof in the table dofs part of the schema defined by this. Synonym for contains_dof(xother_id, true). More...
 
bool contains_row_dof (pod_index_type xbase_id, pod_index_type xfiber_id) const
 True if xother_id is the index of a dof in the row dofs part of the schema defined by this. Synonym for contains_dof(xother_id, false). More...
 
bool contains_row_dof (const scoped_index &xbase_id, const scoped_index &xfiber_id) const
 True if xother_id is the index of a dof in the row dofs part of the schema defined by this. Synonym for contains_dof(xother_id, false). More...
 
virtual void update_table_cache () const
 Updates cached table properties. More...
 
virtual void update_row_cache (bool xupdate_id_space=false) const
 Updates cached row properties. More...
 
virtual dof_descriptor_arraydof_descriptors (bool xis_table_dof) const =0
 The dof_descriptors_array for the table dof tuple (xis_table_dof true) or row dof tuple defined by this schema. The offsets in the descriptors are defined by post-ordered, contiguous, properly aligned allocation of the dofs. Note: although returned by pointer, the client must not delete the dof offsets array. Not implemented for xis_table_dof false. More...
 
virtual void update_table_dof_id_space () const
 Updates table dof id space. More...
 
virtual void update_table_dof_descriptors () const
 Update the table dof descriptors. More...
 

NEW DOF ACCESS FACET

index_space_handle_discretization_id_space
 The id space for the discretization members in the down set of the base space of this. More...
 
const index_space_handlediscretization_id_space () const
 The id space for the discretization members in the down set of the base space of this (const version). More...
 
const index_space_handlediscretization_id_space (bool xauto_access) const
 The id space for the discretization members in the down set of the base space of this (const version). More...
 
index_space_handlediscretization_id_space ()
 The id space for the discretization members in the down set of the base space of this (mutable version). More...
 
index_space_handlediscretization_id_space (bool xauto_access)
 The id space for the discretization members in the down set of the base space of this (mutable version). More...
 
const index_space_handlefiber_schema_id_space (bool xis_table_dofs) const
 The id space for the dofs in the down set of the fiber schema of this. More...
 
const index_space_handlefiber_schema_id_space (bool xis_table_dofs, bool xauto_access) const
 The id space for the dofs in the down set of the fiber schema of this. More...
 
virtual size_type size (pod_index_type xdof_id, bool xis_table_dof) const
 The number of bytes in the table dof (xis_table_dof true) or row dof referred to by xdof_id in the schema defined by this. More...
 
size_type size (pod_index_type xdisc_id, pod_index_type xfiber_dof_id, bool xis_table_dof) const
 The number of bytes in the table dof (xis_table_dof true) or row dof referred to by xdisc_id, xfiber_dof_id in the schema defined by this. More...
 
size_type size (const scoped_index &xdisc_id, const scoped_index &xfiber_dof_id, bool xis_table_dof, bool xauto_access) const
 The number of bytes in the table dof (xis_table_dof true) or row dof referred to by xdisc_id, xfiber_dof_id in the schema defined by this. More...
 
virtual size_type alignment (pod_index_type xdof_id, bool xis_table_dof) const
 The alignment for the table dof (xis_table_dof true) or row dof referred to by xdof_id in the schema defined by this. More...
 
size_type alignment (pod_index_type xdisc_id, pod_index_type xfiber_dof_id, bool xis_table_dof) const
 The alignment for the table dof (xis_table_dof true) or row dof referred to by xdisc_id, xfiber_dof_id in the schema defined by this. More...
 
size_type alignment (const scoped_index &xdisc_id, const scoped_index &xfiber_dof_id, bool xis_table_dof, bool xauto_access) const
 The alignment for the table dof (xis_table_dof true) or row dof referred to by xdisc_id, xfiber_dof_id in the schema defined by this. More...
 
virtual primitive_type type (pod_index_type xdof_id, bool xis_table_dof) const
 The primitive type for the table dof (xis_table_dof true) or row dof referred to by xdof_id in the schema defined by this. More...
 
primitive_type type (pod_index_type xdisc_id, pod_index_type xfiber_dof_id, bool xis_table_dof) const
 The primitive type for the table dof (xis_table_dof true) or row dof referred to by xdisc_id, xfiber_dof_id in the schema defined by this. More...
 
primitive_type type (const scoped_index &xdisc_id, const scoped_index &xfiber_dof_id, bool xis_table_dof, bool xauto_access) const
 The primitive type for the table dof (xis_table_dof true) or row dof referred to by xdisc_id, xfiber_dof_id in the schema defined by this. More...
 
virtual size_type offset (pod_index_type xdof_id, bool xis_table_dof) const
 The offset for the table dof (xis_table_dof true) or row dof referred to by xdof_id in the schema defined by this. More...
 
size_type offset (pod_index_type xdisc_id, pod_index_type xfiber_dof_id, bool xis_table_dof) const
 The offset for the table dof (xis_table_dof true) or row dof referred to by xdisc_id, xfiber_dof_id in the schema defined by this. More...
 
size_type offset (const scoped_index &xdisc_id, const scoped_index &xfiber_dof_id, bool xis_table_dof, bool xauto_access) const
 The offset for the table dof (xis_table_dof true) or row dof referred to by xdisc_id, xfiber_dof_id in the schema defined by this. More...
 
size_type fiber_size () const
 The number of bytes in the fiber. More...
 
size_type fiber_size (bool xauto_access) const
 The number of bytes in the fiber. More...
 
size_type component_size (pod_index_type xfiber_dof_id) const
 The number of bytes in the component referred to by xfiber_dof_id. More...
 
size_type component_size (const scoped_index &xfiber_dof_id, bool xauto_access) const
 The number of bytes in the component referred to by xfiber_dof_id. More...
 
const index_space_handlediscretization_id_space () const
 The id space for the discretization members in the down set of the base space of this (const version). More...
 
const index_space_handlediscretization_id_space (bool xauto_access) const
 The id space for the discretization members in the down set of the base space of this (const version). More...
 
index_space_handlediscretization_id_space ()
 The id space for the discretization members in the down set of the base space of this (mutable version). More...
 
index_space_handlediscretization_id_space (bool xauto_access)
 The id space for the discretization members in the down set of the base space of this (mutable version). More...
 
const index_space_handlefiber_schema_id_space (bool xis_table_dofs) const
 The id space for the dofs in the down set of the fiber schema of this. More...
 
const index_space_handlefiber_schema_id_space (bool xis_table_dofs, bool xauto_access) const
 The id space for the dofs in the down set of the fiber schema of this. More...
 
virtual size_type size (pod_index_type xdof_id, bool xis_table_dof) const =0
 The number of bytes in the table dof (xis_table_dof true) or row dof referred to by xdof_id in the schema defined by this. More...
 
virtual size_type size (pod_index_type xdisc_id, pod_index_type xfiber_dof_id, bool xis_table_dof) const =0
 The number of bytes in the table dof (xis_table_dof true) or row dof referred to by xdisc_id, xfiber_dof_id in the schema defined by this. More...
 
virtual size_type size (const scoped_index &xdisc_id, const scoped_index &xfiber_dof_id, bool xis_table_dof, bool xauto_access) const =0
 The number of bytes in the table dof (xis_table_dof true) or row dof referred to by xdisc_id, xfiber_dof_id in the schema defined by this. More...
 
virtual size_type alignment (pod_index_type xdof_id, bool xis_table_dof) const =0
 The alignment for the table dof (xis_table_dof true) or row dof referred to by xdof_id in the schema defined by this. More...
 
virtual size_type alignment (pod_index_type xdisc_id, pod_index_type xfiber_dof_id, bool xis_table_dof) const =0
 The alignment for the table dof (xis_table_dof true) or row dof referred to by xdisc_id, xfiber_dof_id in the schema defined by this. More...
 
virtual size_type alignment (const scoped_index &xdisc_id, const scoped_index &xfiber_dof_id, bool xis_table_dof, bool xauto_access) const =0
 The alignment for the table dof (xis_table_dof true) or row dof referred to by xdisc_id, xfiber_dof_id in the schema defined by this. More...
 
virtual primitive_type type (pod_index_type xdof_id, bool xis_table_dof) const =0
 The primitive type for the table dof (xis_table_dof true) or row dof referred to by xdof_id in the schema defined by this. More...
 
virtual primitive_type type (pod_index_type xdisc_id, pod_index_type xfiber_dof_id, bool xis_table_dof) const =0
 The primitive type for the table dof (xis_table_dof true) or row dof referred to by xdisc_id, xfiber_dof_id in the schema defined by this. More...
 
virtual primitive_type type (const scoped_index &xdisc_id, const scoped_index &xfiber_dof_id, bool xis_table_dof, bool xauto_access) const =0
 The primitive type for the table dof (xis_table_dof true) or row dof referred to by xdisc_id, xfiber_dof_id in the schema defined by this. More...
 
virtual size_type offset (pod_index_type xdof_id, bool xis_table_dof) const =0
 The offset for the table dof (xis_table_dof true) or row dof referred to by xdof_id in the schema defined by this. More...
 
virtual size_type offset (pod_index_type xdisc_id, pod_index_type xfiber_dof_id, bool xis_table_dof) const =0
 The offset for the table dof (xis_table_dof true) or row dof referred to by xdisc_id, xfiber_dof_id in the schema defined by this. More...
 
virtual size_type offset (const scoped_index &xdisc_id, const scoped_index &xfiber_dof_id, bool xis_table_dof, bool xauto_access) const =0
 The offset for the table dof (xis_table_dof true) or row dof referred to by xdisc_id, xfiber_dof_id in the schema defined by this. More...
 
size_type fiber_size () const
 The number of bytes in the fiber. More...
 
size_type fiber_size (bool xauto_access) const
 The number of bytes in the fiber. More...
 
size_type component_size (pod_index_type xfiber_dof_id) const
 The number of bytes in the component referred to by xfiber_dof_id. More...
 
size_type component_size (const scoped_index &xfiber_dof_id, bool xauto_access) const
 The number of bytes in the component referred to by xfiber_dof_id. More...
 

I/O SUPPORT FACET

virtual pod_index_type get_ext_id (const std::string &xid_space_name) const
 Gets an external id corresponding to index() in the id space with name xid_space_name. /. More...
 
virtual pod_index_type get_ext_id (const std::string &xid_space_name) const
 Gets an external id corresponding to index() in the id space with name xid_space_name. /. More...
 

SCHEMA FACET

virtual schema_poset_memberunrestricted_schema ()
 The unrestricted schema for this poset member (mutable version). More...
 
virtual const schema_poset_memberunrestricted_schema () const
 The unrestricted schema for this poset member (const version). More...
 
virtual schema_poset_memberunrestricted_schema ()
 The unrestricted schema for this poset member (mutable version). More...
 
virtual const schema_poset_memberunrestricted_schema () const
 The unrestricted schema for this poset member (const version). More...
 

ORDERING RELATION FACET

virtual void create_cover_link (abstract_poset_member *xlesser)
 Insert a link from lesser to this (i.e. lesser <= greater). /. More...
 
virtual void delete_cover_link (abstract_poset_member *lesser)
 Delete a link from lesser to this (i.e. lesser <= greater). /. More...
 
section_space_schema_membergreatest_jem () const
 The largest member which is join-equivalent to this. More...
 
section_space_schema_memberleast_jem () const
 The smallest member which is join-equivalent to this. More...
 
virtual void merge_jem (const abstract_poset_member *xjem)
 Merge the join-equivalence class of xjem under the join equivalence class of this /. More...
 

DOWN SET FACET

virtual int down_ct (pod_index_type xfilter_index) const
 The number of members in the down set of this member, filtered by the subposet in host() with index xfilter_index. More...
 
virtual subposetdown () const
 The down set of this member, auto- and pre-allocated versions. More...
 
virtual void down_pa (subposet *result) const
 The down set of this member, auto- and pre-allocated versions. More...
 
virtual int up_ct (pod_index_type xfilter_index) const
 The number of members in the up set of this member, filtered by the subposet in host() with index xfilter_index. More...
 
virtual subposetup () const
 The up set of this member, auto- and pre-allocated versions. More...
 
virtual void up_pa (subposet *result) const
 The up set of this member, auto- and pre-allocated versions. More...
 
virtual int jim_ct () const
 The number of members in the set of jims contained in the down set of this member. More...
 
virtual subposetjims ()
 The set of jims contained in the down set of this member, auto-allocated. More...
 
virtual void jims_pa (subposet *result)
 The set of jims contained in the down set of this member, pre-allocated. More...
 
virtual int maximal_jim_ct () const
 The number of maximal members in the set of jims contained in the down set of this member. More...
 
virtual subposetmaximal_jims ()
 The maximal members of the set of jims contained in this member, auto-allocated. More...
 
virtual void maximal_jims_pa (subposet *result) const
 The maximal members of the set of jims contained in this member, pre-allocated. More...
 

POSET ALGEBRA FACET

section_space_schema_memberp_join (abstract_poset_member *other) const
 Poset join of this with other, auto-aloocated version. The poset join is the least upper bound in the poset. More...
 
virtual void p_join_pa (abstract_poset_member *other, abstract_poset_member *result) const
 Poset join of this with other, pre-allocated. The poset join is the least upper bound in the poset. More...
 
section_space_schema_memberp_meet (abstract_poset_member *other)
 Poset meet of this with other, auto-allocated version. The poset meet is the greatest lower bound in the poset. More...
 
virtual void p_meet_pa (abstract_poset_member *other, abstract_poset_member *result)
 Poset meet of this with other, pre-allocated version. The poset meet is the greatest lower bound in the poset. More...
 

LATTICE ALGEBRA FACET

section_space_schema_memberl_join (abstract_poset_member *other, bool xnew_jem=true)
 lattice join of this with other, auto-, pre-, and self-allocated versions the lattice join is the least upper bound in the lattice generated by the jims in the poset More...
 
section_space_schema_memberl_meet (abstract_poset_member *other, bool xnew_jem=true)
 lattice meet of this with other, auto-, pre-, and self-allocated versions the lattice meet is the greatest lower bound in the lattice generated by the jims in the poset More...
 
section_space_schema_memberl_not (bool xnew_jem=true) const
 lattice pseudo-complement of this, auto-, pre- and self allocated versions The lattice pseudo-complement is the largest lattice member m for which this.l_meet(m) = 0 More...
 

COMPONENT INDEX FACET

virtual void put_version (int xversion, bool xunalias=false)
 Sets version to (possibly aliased) xversion. If unalias == true, set version to the actual version alias refers to. More...
 

COMPONENT NAME FACET

void put_standard_name (bool xunique, bool xauto_access)
 Sets the name of this member to a standard name; if xunique, make xname the only name. More...
 

STATE FACET

Todo:
Remove.
virtual void attach_to_state (pod_index_type xbase_space_id, pod_index_type xfiber_schema_id)=0
 Attach to the state in host() with component ids xbase_id and xfiber_schema_id. More...
 
void attach_to_state (const scoped_index &xbase_space_id, const scoped_index &xfiber_schema_id)
 Attach to the state in host() with component ids xbase_id and xfiber_schema_id. More...
 
virtual void attach_to_state (const section_space_schema_poset *xhost, pod_index_type xbase_space_id, pod_index_type xfiber_schema_id)=0
 Attach to the state in xhost with component ids xbase_id and xfiber_schema_id. More...
 
void attach_to_state (const section_space_schema_poset *xhost, const scoped_index &xbase_space_id, const scoped_index &xfiber_schema_id)
 Attach to the state in xhost with component ids xbase_id and xfiber_schema_id. More...
 
virtual void attach_to_state (const section_space_schema_poset *xhost, const poset_path &xbase_path, const poset_path &xfiber_schema_path)=0
 Attach to the state in xhost specified by paths xbase_path and xfiber_schema_path. More...
 
virtual void detach_from_state ()
 Detach this handle from its state, if any. More...
 
virtual void delete_state (bool xauto_access=false)
 Detach this from its state and delete the state. /. More...
 
virtual void attach_to_state (pod_index_type xbase_space_id, pod_index_type xfiber_schema_id)
 Attach to the state in host() with component ids xbase_id and xfiber_schema_id. More...
 
void attach_to_state (const scoped_index &xbase_space_id, const scoped_index &xfiber_schema_id)
 Attach to the state in host() with component ids xbase_id and xfiber_schema_id. More...
 
virtual void attach_to_state (const section_space_schema_poset *xhost, pod_index_type xbase_space_id, pod_index_type xfiber_schema_id)
 Attach to the state in xhost with component ids xbase_id and xfiber_schema_id. More...
 
void attach_to_state (const section_space_schema_poset *xhost, const scoped_index &xbase_space_id, const scoped_index &xfiber_schema_id)
 Attach to the state in xhost with component ids xbase_id and xfiber_schema_id. More...
 
virtual void attach_to_state (const section_space_schema_poset *xhost, const poset_path &xbase_path, const poset_path &xfiber_schema_path)
 Attach to the state in xhost specified by paths xbase_path and xfiber_schema_path. More...
 
virtual void detach_from_state ()
 Detach this handle from its state, if any. More...
 

HOST POSET FACET

section_space_schema_posethost () const
 The poset which this is a handle to a component of. More...
 
virtual bool host_is_ancestor_of (const poset_state_handle *other) const
 True if other conforms to host. More...
 
section_space_schema_posethost () const
 The poset which this is a handle to a component of. More...
 
virtual bool host_is_ancestor_of (const poset_state_handle *other) const
 True if other conforms to host. More...
 

ANY FACET

virtual bool is_ancestor_of (const any *other) const
 True if other conforms to this. More...
 
virtual section_space_schema_memberclone () const =0
 Make a new handle, no state instance of current. More...
 
virtual bool invariant () const
 Class invariant. More...
 
virtual bool is_ancestor_of (const any *other) const
 True if other conforms to this. More...
 
virtual section_space_schema_memberclone () const =0
 Make a new handle, no state instance of current. More...
 
virtual bool invariant () const
 Class invariant. More...
 

DEBUGGING FACET

virtual void to_stream (std::ostream &xos=std::cout) const
 Virtual stream insertion. More...
 
virtual void to_stream (std::ostream &xos=std::cout) const
 Virtual stream insertion. More...
 

Additional Inherited Members

- Public Types inherited from sheaf::abstract_poset_member
typedef namespace_poset namespace_type
 The type of namespace for this type of member. More...
 
typedef poset host_type
 The type of host poset for this type of member. More...
 
typedef abstract_poset_member_table_dofs_type table_dofs_type
 The type of the table dofs. More...
 
typedef abstract_poset_member_row_dofs_type row_dofs_type
 The type of the row dofs. More...
 
- Public Member Functions inherited from sheaf::schema_poset_member
 schema_poset_member ()
 Default constructor; creates a new, unattached schema_poset_member handle. More...
 
 schema_poset_member (const abstract_poset_member &xother, bool xnew_jem=false, bool xauto_access=true)
 Copy constructor; creates a new schema_poset_member handle. If xnew_jem is false the handle is attached to the same state as xother. If xnew_jem is true, the handle is attached to a new state which is a copy (i.e. is join equivalent to) the state of xother. More...
 
schema_poset_memberclone (bool xnew_state, bool xauto_access=true) const
 Make a new handle instance of current. Attach the new instance to a new state if xnew_state is true. Otherwise, attach the new instance to the current state. More...
 
schema_poset_memberoperator= (const schema_poset_member &xother)
 Assignment operator. More...
 
virtual ~schema_poset_member ()
 Destructor; deletes a poset member and its attached state, if any. More...
 
 schema_poset_member (poset_state_handle *xhost, primitive_type xprimitive_type, bool xauto_access=true)
 Creates a new handle attached to a new jim (join-irreducible member) state in xhost with dof map a copy of the primitive of type xprimitive_type. More...
 
 schema_poset_member (poset_state_handle *xhost, primitives_poset_dof_map *xdof_map=0, bool xcopy_dof_map=false, bool xauto_access=true)
 Creates a new jim (join-irreducible member) attached to a new member state in xhost. ("explicit" prevents interpretation as implicit conversion from poset_state_handle* to schema_poset_member&) More...
 
 schema_poset_member (poset_state_handle *xhost, const scoped_index *xexpansion, int xexpansion_ct, const tern &xnew_jem, bool xauto_access)
 Creates a new jrm (join reducible member) attached to a new member state in xhost. The jrm created is the join of the members with the indices given in xexpansion. More...
 
 schema_poset_member (const namespace_poset &xns, const std::string &xname, const poset_path &xparent_path, const wsv_block< schema_descriptor > &xdof_specs, bool xauto_access)
 Creates a new jim which conforms_to the schema with path xparent_path and has additional dofs with names, types, and roles specified by xdof_specs. More...
 
 schema_poset_member (poset_state_handle *xhost, pod_index_type xhub_id)
 Creates a new schema_poset_member handle attached to the member state with hub id xhub_id in xhost. More...
 
 schema_poset_member (poset_state_handle *xhost, const scoped_index &xid)
 Creates a new schema_poset_member handle attached to the member state with id xid in xhost. More...
 
 schema_poset_member (const poset_state_handle *xhost, const std::string &xname)
 Creates a new schema_poset_member handle attached to the member state with name xname in xhost. More...
 
 schema_poset_member (const namespace_poset *xnamespace, const poset_path &xpath, bool xauto_access=true)
 Creates a new schema_poset_member handle attached to the member state with path xpath in namespace xnamespace. More...
 
void new_jim_state (primitive_type xprimitive_type, bool xauto_access=true)
 Creates a new jim state in host() with dof map a copy of the primitive type specified by xprimitive_type. More...
 
void new_jim_state (poset_state_handle *xhost, primitive_type xprimitive_type, bool xauto_access=true)
 Creates a new jim state in host xhost with dof map a copy of the primitive type specified by xprimitive_type. More...
 
void new_jim_state (const namespace_poset &xns, const std::string &xname, const poset_path &xparent_path, const wsv_block< schema_descriptor > &xdof_specs, bool xauto_access)
 Creates a new jim with name xname which conforms_to the schema with path xparent_path in namespace xns and has additional dofs with names, types, and roles specified by xdof_specs. If a dof named in xdof_specs already exists, it is used and the type and role in the spec are ignored. Otherwise, a dof with the name, type, and role given in the spec is created. Warning: the jim created by the function will directly cover the parent and the members given in xdof_specs. The client must ensure that these cover links define a valid cover relation. In particular, if the join of some or all of the members in xdof_specs has been instantiated, it should appear in xdof_specs instead. More...
 
int dof_ct (bool xis_table_dof) const
 The number of table dofs (xis_table_dof true) or row dofs defined by this schema. More...
 
int table_dof_ct () const
 The number of table dofs defined by this schema. Synonym for dof_ct(true). More...
 
int row_dof_ct () const
 The number of row dofs defined by this schema. Synonym for dof_ct(false). More...
 
virtual int dof_ct () const
 The number of dofs in the dof tuple for jims of this poset;. More...
 
size_t dof_tuple_ub (bool xis_table_dof) const
 The size in bytes of the table dof tuple (xis_table_dof true) or the row dof tuple defined by this schema. More...
 
size_t table_dof_tuple_ub () const
 The size in bytes of the table dof tuple defined by this schema. Synonym for dof_tuple_ub(true). More...
 
size_t row_dof_tuple_ub () const
 The size in bytes of the row dof tuple defined by this schema. Synonym for dof_tuple_ub(false). More...
 
primitive_type table_dof_tuple_type () const
 The type of table dofs defined by this. Synonym for dof_tuple_type(true). More...
 
primitive_type row_dof_tuple_type () const
 The type of row dofs defined by this. Synonym for dof_tuple_type(false). More...
 
bool dof_tuple_is_homogeneous (bool xis_table_dof) const
 True if all the table dofs (xis_table_dof == true) or all the row dofs (xis_table_dof == false) defined by this have the same type. More...
 
bool table_dof_tuple_is_homogeneous () const
 True if all the table dofs have the same type. Synonym for dof_tuple_is_homogeneous(true);. More...
 
bool row_dof_tuple_is_homogeneous () const
 True if all the row dofs have the same type. Synonym for dof_tuple_is_homogeneous(false);. More...
 
std::string dof_subposet_name (bool xis_table_dof) const
 The standard name for the table (xis_table_dof true) or row (xis_table_dof false) dof subposet associated with this schema member. More...
 
std::string table_dof_subposet_name () const
 The standard name for the table dof subposet associated with this schema member. Synonym for dof_subposet_name(true). More...
 
std::string row_dof_subposet_name () const
 The standard name for the row dof subposet associated with this schema member. Synonym for dof_subposet_name(false). More...
 
const scoped_indextable_dof_subposet_index () const
 The index in host() of the subposet containing the the table dofs in the down set of this (const version). More...
 
const scoped_indexrow_dof_subposet_index () const
 The index in host() of the subposet containing the the row dofs in the down set of this (const version). More...
 
const scoped_indexdof_subposet_index (bool xis_table_dof) const
 The index in host() of the subposet containing the the table dofs (xis_table_dof true) or row dofs in the down set of this. More...
 
bool contains_dof (const schema_poset_member &xother, bool xin_table_dofs) const
 True if xother is a dof in the table dofs part (xin_table_dofs == true) or in the row dofs part (xin_table_dofs == false) of the schema defined by this. More...
 
bool contains_table_dof (const schema_poset_member &xother) const
 True if this is in the table dofs part of the schema defined by this. Synonym for contains_dof(xother, true). More...
 
bool contains_row_dof (const schema_poset_member &xother) const
 True if this is in the row dofs part of the schema defined by this. Synonym for contains_dof(xother, false). More...
 
bool contains_dof (pod_index_type xother_id, bool xin_table_dofs) const
 True if xother_id is the index of a dof in the table dofs part (xin_table_dofs == true) or in the row dofs part (xin_table_dofs == false) of the schema defined by this. More...
 
bool contains_dof (const scoped_index &xother_id, bool xin_table_dofs) const
 True if xother_id is the index of a dof in the table dofs part (xin_table_dofs == true) or in the row dofs part (xin_table_dofs == false) of the schema defined by this. More...
 
bool contains_dof (const std::string &xname, bool xin_table_dofs) const
 True if xname is the name of a dof in the table dofs part (xin_table_dofs == true) or in the row dofs part (xin_table_dofs == false) of the schema defined by this. More...
 
bool contains_table_dof (pod_index_type xother_id) const
 True if xother_id is the index of a dof in the table dofs part of the schema defined by this. Synonym for contains_dof(xother_id, true). More...
 
bool contains_table_dof (const scoped_index &xother_id) const
 True if xother_id is the index of a dof in the table dofs part of the schema defined by this. Synonym for contains_dof(xother_id, true). More...
 
bool contains_row_dof (pod_index_type xother_id) const
 True if xother_id is the index of a dof in the row dofs part of the schema defined by this. Synonym for contains_dof(xother_id, false). More...
 
bool contains_row_dof (const scoped_index &xother_id) const
 True if xother_id is the index of a dof in the row dofs part of the schema defined by this. Synonym for contains_dof(xother_id, false). More...
 
bool is_table_dof () const
 True if this is in the table_dofs part of some schema. Synonym for is_dof(true). More...
 
bool is_row_dof () const
 True if this is in in the row_dofs part of some schema. Synonym for is_dof(false). More...
 
bool is_component () const
 True if this represents a component in the row dofs part of some schema. More...
 
bool is_component_of (const schema_poset_member &xother) const
 True if this represents a component in the row dofs part of schema xother. More...
 
bool is_factor () const
 True if this represents a factor in the row dofs part of some schema. More...
 
bool is_factor_of (const schema_poset_member &xother) const
 True if this represents a factor in the row dofs part of schema xother. More...
 
poset_dof_iteratortable_dof_iterator (int xversion=CURRENT_MEMBER_VERSION) const
 A postorder iterator over the table dofs defined by this. Synonym for dof_iterator(true). More...
 
poset_dof_iteratorrow_dof_iterator (int xversion=CURRENT_MEMBER_VERSION) const
 A postorder iterator over the row dofs defined by this. More...
 
bool conforms_to (const schema_poset_member &xother) const
 True if the dofs defined by this agree in type and in order with the dofs defined by xother. (This schema may contain additional dofs as well.) More...
 
bool conforms_to (const poset_path &xpath) const
 True if the dofs defined by this agree in type and in order with the dofs defined by the schema member specified by path xpath. (This schema may contain additional dofs as well.) More...
 
bool conforms_to (const poset_path &xpath, bool xis_table_dofs) const
 True if the table dofs (xis_table_dofs true) or row dofs (xis_is_table_dofs false) defined by this agree in type and in order with the dofs defined by the schema member specified by path xpath. (This schema may contain additional dofs as well.) More...
 
bool table_conforms_to (const schema_poset_member &xother) const
 True if the table dofs defined by this agree in type and in order with the dofs defined by xother. (This schema may contain additional dofs as well.) Synonym for conforms_to(xother, true). More...
 
bool table_conforms_to (const poset_path &xpath) const
 True if the table dofs defined by this agree in type and in order with the dofs defined by the schema member specified by path xpath. (This schema may contain additional dofs as well.) Synonym for conforms_to(xpath, true). More...
 
bool row_conforms_to (const schema_poset_member &xother) const
 True if the row dofs defined by this agree in type and in order with the dofs defined by xother. (This schema may contain additional dofs as well.) Synonym for conforms_to(xother, false). More...
 
bool row_conforms_to (const poset_path &xpath) const
 True if the row dofs defined by this agree in type and in order with the dofs defined by the schema member specified by path xpath. (This schema may contain additional dofs as well.) Synonym for conforms_to(xpath, false). More...
 
void force_cache_update ()
 Forces update of the attribute cache. More...
 
dof_descriptor_arraydof_descriptors (bool xis_table_dof) const
 The dof_descriptors_array for the table dof tuple (xis_table_dof true) or row dof tuple defined by this schema. The offsets in the descriptors are defined by post-ordered, contiguous, properly aligned allocation of the dofs. Note: although returned by pointer, the client must not delete the dof offsets array. More...
 
dof_descriptor_arraytable_dof_descriptors () const
 The dof_descriptors_array for the table dof tuple defined by this schema. Synonym for dof_descriptors(true). More...
 
dof_descriptor_arrayrow_dof_descriptors () const
 The dof_descriptors_array for the row dof tuple defined by this schema. Synonym for dof_descriptors(false). More...
 
const index_space_handledof_id_space (bool xis_table_dofs) const
 The table dof (xis_table_dof true) or row dof id space for the schema defined by this. More...
 
const index_space_handledof_id_space (bool xis_table_dofs, bool xauto_access) const
 The table dof (xis_table_dof true) or row dof id space for the schema defined by this. More...
 
const index_space_handletable_dof_id_space () const
 The table dof id space for the schema defined by this. More...
 
const index_space_handletable_dof_id_space (bool xauto_access) const
 The table dof id space for the schema defined by this. More...
 
const index_space_handlerow_dof_id_space () const
 The row dof id space for the schema defined by this. More...
 
const index_space_handlerow_dof_id_space (bool xauto_access) const
 The row dof id space for the schema defined by this. More...
 
std::string name (pod_index_type xdof_id, bool xis_table_dof) const
 The name of the table dof (xis_table_dof true) or row dof referred to by xdof_id in the schema defined by this. More...
 
std::string name (const scoped_index &xdof_id, bool xis_table_dof, bool xauto_access) const
 The name of the table dof (xis_table_dof true) or row dof referred to by xdof_id in the schema defined by this. More...
 
size_type size (const scoped_index &xdof_id, bool xis_table_dof, bool xauto_access) const
 The number of bytes in the table dof (xis_table_dof true) or row dof referred to by xdof_id in the schema defined by this. More...
 
size_type size (const std::string &xname, bool xis_table_dof, bool xauto_access) const
 The number of bytes in the table dof (xis_table_dof true) or row dof with name xname in the schema defined by this. More...
 
size_type alignment (const scoped_index &xdof_id, bool xis_table_dof, bool xauto_access) const
 The alignment for the table dof (xis_table_dof true) or row dof referred to by xdof_id in the schema defined by this. More...
 
size_type alignment (const std::string &xname, bool xis_table_dof, bool xauto_access) const
 The alignment for the table dof (xis_table_dof true) or row dof with name xname in the schema defined by this. More...
 
primitive_type type (const scoped_index &xdof_id, bool xis_table_dof, bool xauto_access) const
 The primitive type for the table dof (xis_table_dof true) or row dof referred to by xdof_id in the schema defined by this. More...
 
primitive_type type (const std::string &xname, bool xis_table_dof, bool xauto_access) const
 The primitive type for the table dof (xis_table_dof true) or row dof with name xname in the schema defined by this. More...
 
size_type offset (const scoped_index &xdof_id, bool xis_table_dof, bool xauto_access) const
 The offset for the table dof (xis_table_dof true) or row dof referred to by xdof_id in the schema defined by this. More...
 
size_type offset (const std::string &xname, bool xis_table_dof, bool xauto_access) const
 The offset for the table dof (xis_table_dof true) or row dof with name xname in the schema defined by this. More...
 
virtual index_iteratorget_decomposition (pod_index_type xindex) const
 An iterator over the members of the decomposition identified by xindex. More...
 
index_iteratorbound_iterator (const poset_bounds &xbnd_id, bool xis_ub) const
 An iterator for the upper bound (xis_ub == true) or the lower bound (xis_ub == false) for xbounds. More...
 
virtual pod_index_type get_int_id (pod_index_type xext_id, const std::string &xid_space_name) const
 Gets the internal id corresponding to xext_id in the id space with name xid_space_name. More...
 
virtual void get_ext_ids (const std::string &xid_space_name, pod_index_type &xschema_poset_ext_id, pod_index_type &xschema_member_ext_id, pod_index_type &xbase_space_ext_id, pod_index_type &xfiber_schema_ext_id, pod_index_type &xlocal_schema_ext_id) const
 Gets the external ids of this in the id space with name xid_space_name. More...
 
virtual schema_poset_memberext_data_type_schema ()
 The schema for the external data type associated with this schema. More...
 
virtual size_t ext_data_type_ct (bool xis_table_schema) const
 The number of instances of the external data type needed to represent this schema. More...
 
virtual primitives_poset_dof_mapdof_map (bool xrequire_write_access=false)
 The map from schema member ids or client ids to dof values for this poset member (mutable version) More...
 
virtual const primitives_poset_dof_mapdof_map (bool xrequire_write_access=false) const
 The map from schema member ids or client ids to dof values for this poset member (const version) More...
 
virtual bool dof_map_is_ancestor_of (const poset_dof_map *xdof_map) const
 True if xdof_map conforms to (is derived from) the type of dof map required by this handle. More...
 
schema_poset_membergreatest_jem () const
 The largest member which is join-equivalent to this. More...
 
schema_poset_memberleast_jem () const
 The smallest member which is join-equivalent to this. More...
 
schema_poset_memberp_join (abstract_poset_member *other) const
 poset join of this with other, auto-, pre-, and self-allocated versions the poset join is the least upper bound in the poset More...
 
schema_poset_memberp_meet (abstract_poset_member *other)
 poset meet of this with other, auto-, pre-, and self-allocated versions the poset meet is the greatest lower bound in the poset More...
 
schema_poset_memberl_join (abstract_poset_member *other, bool xnew_jem=true)
 lattice join of this with other, auto-, pre-, and self-allocated versions the lattice join is the least upper bound in the lattice generated by the jims in the poset More...
 
schema_poset_memberl_meet (abstract_poset_member *other, bool xnew_jem=true)
 lattice meet of this with other, auto-, pre-, and self-allocated versions the lattice meet is the greatest lower bound in the lattice generated by the jims in the poset More...
 
schema_poset_memberl_not (bool xnew_jem=true) const
 lattice pseudo-complement of this, auto-, pre- and self allocated versions The lattice pseudo-complement is the largest lattice member m for which this.l_meet(m) = 0 More...
 
- Public Member Functions inherited from sheaf::total_poset_member
 total_poset_member ()
 Default constructor; creates a new, unattached total_poset_member handle. More...
 
 total_poset_member (const abstract_poset_member &xother, bool xnew_jem=false)
 Copy constructor; creates a new total_poset_member handle. If xnew_jem is false the handle is attached to the same state as xother. If xnew_jem is true, the handle is attached to a new state which is a copy (i.e. is join equivalent to) the state of xother. More...
 
total_poset_memberoperator= (const total_poset_member &xother)
 Assignment operator; attaches this to the same state as xother. More...
 
virtual ~total_poset_member ()
 Destructor; deletes a poset member and its attached state, if any. More...
 
total_poset_memberclone (bool xnew_state, bool xauto_access=true) const
 Make a new handle instance of current. Attach the new instance to a new state if xnew_state is true. Otherwise, attach the new instance to the current state. More...
 
 total_poset_member (poset_state_handle *xhost, poset_dof_map *xdof_map=0, bool xcopy_dof_map=false, bool xauto_access=true)
 Creates a new jim (join-irreducible member) attached to a new member state in xhost. If xdof_map == 0 a new dof map is created. If xdof_map != 0 and xcopy_dof_map == false, xdof_map is used as the dof map. If xdof_map != 0 and xcopy_dof_map is true, a copy of xdof_map is used. More...
 
 total_poset_member (poset_state_handle *xhost, const scoped_index *xexpansion, int xexpansion_ct, const tern &xnew_jem, bool xauto_access)
 Creates a new jrm (join reducible member) attached to a new member state in xhost The jrm created is the join of the members with the indices given in xexpansion. More...
 
 total_poset_member (const poset_state_handle *xhost, pod_index_type xhub_id)
 Creates a new total_poset_member handle attached to the member state with hub id xhub_id in xhost. More...
 
 total_poset_member (const poset_state_handle *xhost, const scoped_index &xid)
 Creates a new total_poset_member handle attached to the member state with id xid in xhost. More...
 
 total_poset_member (const poset_state_handle *xhost, const std::string &xname)
 Creates a new total_poset_member handle attached to the member state with name xname in xhost. More...
 
 total_poset_member (const namespace_poset *xnamespace, const poset_path &xpath, bool xauto_access=true)
 Creates a new total_poset_member handle attached to the member state with name xmember_name in the poset with name xposet_name in the namespace xnamespace. More...
 
virtual schema_poset_memberschema ()
 The schema for this member (mutable version). More...
 
virtual const schema_poset_memberschema () const
 The schema for this member (const version). More...
 
virtual bool is_restricted () const
 True if handle is a restriction of the state, that is, if schema() is not the same as host()->schema(). More...
 
total_poset_membergreatest_jem () const
 The largest member which is join-equivalent to this. More...
 
total_poset_memberleast_jem () const
 The smallest member which is join-equivalent to this. More...
 
total_poset_memberp_join (abstract_poset_member *other) const
 poset join of this with other, auto-, pre-, and self-allocated versions the poset join is the least upper bound in the poset More...
 
total_poset_memberp_meet (abstract_poset_member *other)
 poset meet of this with other, auto-, pre-, and self-allocated versions the poset meet is the greatest lower bound in the poset More...
 
total_poset_memberl_join (abstract_poset_member *other, bool xnew_jem=true)
 lattice join of this with other, auto-, pre-, and self-allocated versions the lattice join is the least upper bound in the lattice generated by the jims in the poset More...
 
total_poset_memberl_meet (abstract_poset_member *other, bool xnew_jem=true)
 lattice meet of this with other, auto-, pre-, and self-allocated versions the lattice meet is the greatest lower bound in the lattice generated by the jims in the poset More...
 
total_poset_memberl_not (bool xnew_jem=true) const
 lattice pseudo-complement of this, auto-, pre- and self allocated versions The lattice pseudo-complement is the largest lattice member m for which this.l_meet(m) = 0 More...
 
- Public Member Functions inherited from sheaf::abstract_poset_member
virtual ~abstract_poset_member ()
 Destructor; deletes a poset member and its attached state, if any. More...
 
abstract_poset_memberclone (bool xnew_state, bool xauto_access=true) const
 Virtual constructor; makes a new handle of the same type as this, attached to a new state (xnew_state true) or attached to the same state as this (xnew_state false). More...
 
void new_jim_state (const scoped_index &xtuple_id, bool xauto_access=true)
 Creates a new jim (join-irreducible member) state in host() and attaches this to it. The existing dof map with index xtuple_id is used as the dof map. More...
 
void new_jim_state (poset_state_handle *xhost, const scoped_index &xtuple_id, bool xauto_access=true)
 Creates a new jim (join-irreducible member) state in xhost and attaches this to it. The existing dof map with index xtuple_id is used as the dof map. More...
 
void new_jem_state (poset_state_handle *xhost, const scoped_index &xid, bool xgreatest, bool xauto_access)
 Creates a new jrm state in xhost which is the greatest jem (xgreatest true) or least jem (xgreatest false) of id xid and attaches this to it. More...
 
virtual bool is_jim (bool xin_current_version=true) const
 True if this member is join irreducible in the current version of the host (xin_current_version == true) or in some version of the host (xin_current_version == false). More...
 
virtual bool is_atom () const
 True if this member covers the bottom. More...
 
schema_poset_memberschema (bool xauto_access)
 The schema for this poset member, auto-accessible (mutable version). More...
 
const schema_poset_memberschema (bool xauto_access) const
 The schema for this poset member, auto-accessible (const version). More...
 
bool schema_is (const std::string &xschema_name) const
 True if the schema of this has name xname. More...
 
bool same_schema (const abstract_poset_member *xother) const
 True if xother has the same schema (column poset) as this. More...
 
virtual bool is_same_restriction (const abstract_poset_member *xother) const
 True if this is the same restriction as xother, that is, if schema().is_same_state(xother.schema()). More...
 
void dof_tuple (const void *xbuf, size_t xbuflen) const
 Copies the entire dof tuple between xbuf and internal storage. More...
 
void put_dof_tuple (const void *xbuf, size_t xbuflen)
 Copies the entire dof tuple between xbuf and internal storage. More...
 
pod_index_type dof_tuple_id (bool xauto_access) const
 The dof tuple index of this member. More...
 
void dof_tuple_id (scoped_index &result, bool xauto_access) const
 The dof tuple index of this member. More...
 
void put_dof_tuple_id (pod_index_type xtuple_index, bool xauto_access)
 Sets dof tuple index to xtuple_index. More...
 
void put_dof_tuple_id (const scoped_index &xtuple_index, bool xauto_access)
 Sets dof tuple index to xtuple_index. More...
 
void * table_dofs ()
 The table dofs for this instance (mutable version). More...
 
const void * table_dofs () const
 The table dofs for this instance (const version). More...
 
void * table_dofs (bool xauto_access)
 The table dofs for this instance (mutable auto-access version). More...
 
const void * table_dofs (bool xauto_access) const
 The table dofs for this instance (const auto-access version). More...
 
void * row_dofs ()
 The row dofs for this instance (mutable version). More...
 
const void * row_dofs () const
 The row dofs for this instance (const version). More...
 
void * row_dofs (bool xauto_access)
 The row dofs for this instance (mutable auto-access version). More...
 
const void * row_dofs (bool xauto_access) const
 The row dofs for this instance (const auto-access version). More...
 
primitive_value dof (pod_index_type xdof_id) const
 The dof referred to by xdof_id. More...
 
primitive_value dof (const scoped_index &xdof_id, bool xauto_access) const
 The dof referred to by xdof_id. More...
 
void put_dof (pod_index_type xdof_id, const primitive_value &xdof)
 Sets the dof referred to by xdof_id to xdof. More...
 
void put_dof (const scoped_index &xdof_id, const primitive_value &xdof, bool xauto_access)
 Sets the dof referred to by xdof_id to xdof. More...
 
void get_dof (pod_index_type xdof_id, void *xdof, size_type xdof_size) const
 Copies the dof referred to by xdof_id into xdof. More...
 
void get_dof (const scoped_index &xdof_id, void *xdof, size_type xdof_size, bool xauto_access) const
 Copies the dof referred to by xdof_id into xdof. More...
 
void put_dof (pod_index_type xdof_id, const void *xdof, size_type xdof_size)
 Sets the dof referred to by xdof_id to the value at xdof. More...
 
void put_dof (const scoped_index &xdof_id, const void *xdof, size_type xdof_size, bool xauto_access)
 Sets the dof referred to by xdof_id to the value at xdof. More...
 
bool le (pod_index_type xother_index) const
 True if this is less than or equal to the member with index xother_index. More...
 
bool le (const scoped_index &xother_index) const
 True if this is less than or equal to the member with index xother_index. More...
 
bool le (const abstract_poset_member *other) const
 True if this is less than or equal to other. More...
 
bool leqv (pod_index_type xother_index) const
 True if this is less than or equivalent to the member with index xother_index. More...
 
bool leqv (const scoped_index &xother_index) const
 True if this is less than or equivalent to the member with index xother_index. More...
 
bool lt (pod_index_type xother_index) const
 True if this is strictly less than the member with index xother_index. More...
 
bool lt (const scoped_index &xother_index) const
 True if this is strictly less than the member with index xother_index. More...
 
bool lt (const abstract_poset_member *other) const
 true if this is strictly less than other More...
 
bool ge (pod_index_type xother_index) const
 True if this is greater than or equal to the member with index xother_index. More...
 
bool ge (const scoped_index &xother_index) const
 True if this is greater than or equal to the member with index xother_index. More...
 
bool ge (const abstract_poset_member *other) const
 true if this is greater than or equal to other More...
 
bool geqv (pod_index_type xother_index) const
 True if this is greater than or equivalent to the member with index xother_index. More...
 
bool geqv (const scoped_index &xother_index) const
 True if this is greater than or equivalent to the member with index xother_index. More...
 
bool gt (pod_index_type xother_index) const
 True if this is strictly greater than the member with index xother_index. More...
 
bool gt (const scoped_index &xother_index) const
 True if this is strictly greater than the member with index xother_index. More...
 
bool gt (const abstract_poset_member *other) const
 True if this is strictly greater than other. More...
 
bool is_jem (const abstract_poset_member *xother) const
 True if xother is join equivalent to this. More...
 
abstract_poset_membergreatest_jem () const
 The largest member which is join-equivalent to this. More...
 
void greatest_jem_pa (abstract_poset_member *result) const
 The largest member which is join-equivalent to this. More...
 
abstract_poset_memberleast_jem () const
 The smallest member which is join-equivalent to this. More...
 
void least_jem_pa (abstract_poset_member *result) const
 The smallest member which is join-equivalent to this. More...
 
bool covers (const abstract_poset_member *xother) const
 True if this covers other. More...
 
bool covers (pod_index_type xhub_id) const
 True if this covers the member with hub id xhub_id. More...
 
bool covers (const scoped_index &xid) const
 True if this covers the member with id xid. More...
 
index_space_handleget_cover_id_space (bool xlower) const
 Allocates a handle for the lower (xlower true) or upper (xlower false) cover id space of this member from the pool of id spaces. More...
 
void release_cover_id_space (index_space_handle &xcover_id_space) const
 Returns xcover_id_space to the pool of id spaces. More...
 
index_space_iteratorget_cover_id_space_iterator (bool xlower) const
 Allocates an iterator for the lower (xlower true) or upper (xlower false) cover id space of this member from the pool of id space iterators. More...
 
void release_cover_id_space_iterator (index_space_iterator &xcover_itr) const
 Returns xcover_itr to the pool of id spaces. More...
 
bool cover_contains_iterator (bool xlower, const index_space_iterator &xitr) const
 True if and only if the lower (xlower true) or upper (xlower false) cover id space of this is the domain of iterator xitr. More...
 
bool cover_is_empty (bool xlower) const
 True if and only if the lower (xlower true) or upper (xlower false) cover this is empty. More...
 
bool cover_is_singleton (bool xlower) const
 True if and only if the lower (xlower true) or upper (xlower false) cover set of this contains exactly one member. More...
 
virtual size_type cover_ct (bool lower) const
 The number of members in the lower cover (xlower true) or upper cover (xlower false) of this. More...
 
bool cover_contains_member (bool xlower, pod_index_type xother_mbr_index) const
 True if and only if the lower (xlower true) or upper (xlower false) cover set of this contains xother_mbr_index. More...
 
bool cover_contains_member (bool xlower, const scoped_index &xother_mbr_index) const
 True if and only if the lower (xlower true) or upper (xlower false) cover set of this contains xother_mbr_index. More...
 
bool cover_is_equal (bool xlower, pod_index_type xother_mbr_index) const
 True if and only if the lower (xlower true) or upper (xlower false) cover of this contains the same members as the lower or upper cover, respectively, of the member with index xother_mbr_index. More...
 
bool cover_is_equal (bool xlower, const scoped_index &xother_mbr_index) const
 True if and only if the lower (xlower true) or upper (xlower false) cover of this contains the same members as the lower or upper cover, respectively, of the member with index xother_mbr_index. More...
 
pod_index_type first_cover_member (bool xlower) const
 The first member of the lower (xlower true) or upper (xlower false) cover of this. More...
 
void first_cover_member (bool xlower, scoped_index &result) const
 The first member of the lower (xlower true) or upper (xlower false) cover of this. More...
 
void insert_cover_member (pod_index_type xother_mbr_index, bool xlower)
 Inserts xother_mbr_index in the lower (xlower true) or upper (xlower false) cover set of this. More...
 
void insert_cover_member (const scoped_index &xother_mbr_index, bool xlower)
 Inserts xother_mbr_index in the lower (xlower true) or upper (xlower false) cover set of this. More...
 
void remove_cover_member (pod_index_type xother_mbr_index, bool xlower)
 Removes xother_mbr_index from the lower (xlower true) or upper (xlower false) cover set of this. More...
 
void remove_cover_member (const scoped_index &xother_mbr_index, bool xlower)
 Removes xother_mbr_index from the lower (xlower true) or upper (xlower false) cover set of this. If xitr is at the end, forces xitr.is_done(). Otherwise, increments xitr to the next position. More...
 
void remove_cover_member (index_space_iterator &xitr, bool xlower)
 Removes the current item of xitr from the lower (xlower true) or upper (xlower false) cover set of this. More...
 
void clear_cover (bool xlower)
 Clears the lower (xlower true) or upper (xlower false) cover set of this. More...
 
void copy_cover (bool xlower, pod_index_type xother_mbr_index)
 Copies the lower (xlower true) or upper (xlower false) cover of this to the member with index xother_mbr_index. More...
 
void copy_cover (bool xlower, const scoped_index &xother_mbr_index)
 Copies the lower (xlower true) or upper (xlower false) cover of this to the member with index xother_mbr_index. More...
 
int down_ct () const
 The number of members in the down set of this member. More...
 
int down_ct (const scoped_index &xfilter_index) const
 The number of members in the down set of this member, filtered by the subposet in host() with index xfilter_index. More...
 
void delete_down (bool xdelete_exterior=false, bool xenter_jim_edit_mode=true)
 Delete the strict down set of this, except for the external boundary. If xdelete_exterior, delete the external boundary as well. More...
 
int up_ct () const
 The number of members in the up set of this member. More...
 
int up_ct (const scoped_index &xfilter_index) const
 The number of members in the up set of this member, filtered by the subposet in host() with index xfilter_index. More...
 
virtual int atom_ct () const
 The number of members in the set of atoms contained in the down set of this member. More...
 
virtual subposetatoms () const
 The set of atomss contained in the down set of this member, auto-allocated. More...
 
virtual void atoms_pa (subposet *result) const
 The set of atomss contained in the down set of this member, pre-allocated. More...
 
abstract_poset_memberp_join (abstract_poset_member *other) const
 poset join of this with other, auto-allocated
the poset join is the least upper bound in the poset More...
 
void p_join_sa (abstract_poset_member *other)
 poset join of this with other, self-allocated
the poset join is the least upper bound in the poset More...
 
abstract_poset_memberp_meet (abstract_poset_member *other)
 poset meet of this with other, auto-allocated
the poset meet is the greatest lower bound in the poset More...
 
void p_meet_sa (abstract_poset_member *other)
 poset meet of this with other, self-allocated
the poset meet is the greatest lower bound in the poset More...
 
abstract_poset_memberl_join (abstract_poset_member *other, bool xnew_jem=true)
 lattice join of this with other, auto-allocated
the lattice join is the least upper bound in the lattice generated by the jims in the poset More...
 
void l_join_pa (abstract_poset_member *other, abstract_poset_member *result, bool xnew_jem=true)
 lattice join of this with other, pre-allocated
the lattice join is the least upper bound in the lattice generated by the jims in the poset More...
 
void l_join_sa (abstract_poset_member *other, bool xnew_jem=true)
 lattice join of this with other, self-allocated
the lattice join is the least upper bound in the lattice generated by the jims in the poset More...
 
abstract_poset_memberl_meet (abstract_poset_member *other, bool xnew_jem=true)
 lattice meet of this with other, auto-allocated
the lattice meet is the greatest lower bound in the lattice generated by the jims in the poset More...
 
void l_meet_pa (abstract_poset_member *other, abstract_poset_member *result, bool xnew_jem=true)
 lattice meet of this with other, pre-allocated
the lattice meet is the greatest lower bound in the lattice generated by the jims in the poset More...
 
void l_meet_sa (abstract_poset_member *other, bool xnew_jem=true)
 lattice meet of this with other, self-allocated
the lattice meet is the greatest lower bound in the lattice generated by the jims in the poset More...
 
abstract_poset_memberl_not (bool xnew_jem=true) const
 lattice pseudo-complement of this, auto-allocated
The lattice pseudo-complement is the largest lattice member m for which this.l_meet(m) = 0 More...
 
void l_not_pa (abstract_poset_member *result, bool xnew_jem=true) const
 lattice pseudo-complement of this, pre-allocated
The lattice pseudo-complement is the largest lattice member m for which this.l_meet(m) = 0 More...
 
void l_not_sa (bool xnew_jem=true) const
 lattice pseudo-complement of this, self-allocated
The lattice pseudo-complement is the largest lattice member m for which this.l_meet(m) = 0 More...
 
virtual bool is_valid_index (const poset_state_handle *xhost, pod_index_type xhub_id, int xversion=CURRENT_HOST_VERSION) const
 True if there exists a component of the same type as this with hub id xhub_id in version xversion of xhost. More...
 
bool is_valid_index (const poset_state_handle *xhost, const scoped_index &xid, int xversion=CURRENT_HOST_VERSION) const
 True if there exists a component of the same type as this with id xid in version xversion of xhost. More...
 
const index_space_familyid_spaces () const
 The id space family for this member. More...
 
virtual const hub_index_space_handlehub_id_space () const
 The hub id space; const version. More...
 
virtual const scoped_indexhub_id () const
 A id in the hub id space for components of this type; intended for copying to initialize ids to the hub id space. More...
 
virtual scoped_index hub_id (pod_index_type xid) const
 An id in the member hub id space with pod xid. More...
 
virtual pod_index_type get_index_from_name (const poset_state_handle *xhost, const std::string &xname) const
 Gets the index of the component in xhost with name xname. More...
 
virtual void get_index_from_name (const poset_state_handle *xhost, const std::string &xname, scoped_index &result) const
 Gets the index of the component in xhost with name xname. More...
 
std::string name () const
 A name for this. More...
 
virtual std::string name (bool xauto_access) const
 A name for this. More...
 
virtual void all_names (block< std::string > &xresult, bool xauto_access=false) const
 All the names for this. More...
 
virtual size_type name_ct (bool xauto_access) const
 The number of names for this. More...
 
virtual bool has_name (const std::string &xname, bool xauto_access=false) const
 True if xname is a name for this. More...
 
virtual void put_name (const std::string &xname, bool xunique, bool xauto_access)
 Make xname a name for this; if xunique, make xname the only name. More...
 
virtual void delete_name (const std::string &xname, bool xauto_access=false)
 Delete all names for this. More...
 
virtual void delete_all_names (bool xauto_access=false)
 Delete all the names for this. More...
 
void attach_to_state (const namespace_poset *xns, const poset_path &xpath, bool xauto_access=true)
 Attach to the state specified by path xpath in the namespace xns. More...
 
void attach_to_state (const namespace_poset *xnamespace, pod_index_type xposet_index, pod_index_type xmember_index, bool xauto_access=true)
 Attach to the state with name xmember_index in the poset with name xposet_index in the namespace xnamespace. More...
 
void attach_to_state (const namespace_poset *xnamespace, const scoped_index &xposet_index, const scoped_index &xmember_index, bool xauto_access=true)
 Attach to the state with name xmember_index in the poset with name xposet_index in the namespace xnamespace. More...
 
- Public Member Functions inherited from sheaf::poset_component
virtual ~poset_component ()
 Destructor. More...
 
const scoped_indexindex () const
 The index of the component state this handle is attached to. More...
 
bool is_valid_index (const poset_state_handle *xhost, const scoped_index &xid, int xversion=CURRENT_HOST_VERSION) const
 True if there exists a component of the same type as this with id xid in version xversion of xhost. More...
 
int version (bool xunalias=true) const
 The (possibly aliased) version of this component. The version of the host used when evaluating properties of this component. If unalias == true, return actual version alias refers to. More...
 
int unaliased_version (int xversion) const
 The actual version associated with (possibly aliased) version xversion in this. More...
 
pod_index_type version_index () const
 The subposet index for the filter associated with version(). More...
 
void version_index (scoped_index &result) const
 The subposet index for the filter associated with version(). More...
 
std::string version_name () const
 The subposet name for the filter associated with version(). More...
 
bool has_version (int xversion) const
 True if xversion is a valid version for this. More...
 
std::string name () const
 OBSOLETE: use name(bool xauto_access). A name for this. More...
 
bool is_valid_name (const poset_state_handle *xhost, const std::string &xname) const
 True if there exists a component as the same type as this in xhost with name xname. More...
 
poset_path path (bool xauto_access=true) const
 A path to this component. More...
 
bool has_path (const poset_path &xpath, bool xauto_access) const
 True if and only if xpath refers to this component. More...
 
poset_state_handlehost () const
 The poset which this is a handle to a component of. More...
 
bool has_same_host (const poset_component *xother) const
 True if xother is attached to the same host as this or if both are unattached. More...
 
bool in_same_space (const poset_component *xother) const
 Synonym for has_same_host(xother) More...
 
virtual namespace_posetname_space () const
 The namespace of host() More...
 
virtual bool namespace_is_ancestor_of (const namespace_poset *xother) const
 True if xother conforms to name_space(). More...
 
bool same_namespace (const poset_component *xother) const
 True if the host of xother resides in the same namespace as this or if both are unattached. More...
 
bool same_namespace (const poset_state_handle *xother) const
 True if xother resides in the same namespace as the host of this or if both are unattached. More...
 
void attach_to_state (const poset_state_handle *xhost, pod_index_type xhub_id)
 Attach this handle to the state with hub id xhub_id in the current version of host xhost. More...
 
void attach_to_state (const poset_state_handle *xhost, const scoped_index &xid)
 Attach this handle to the state with id xid in the current version of host xhost. More...
 
void attach_to_state (const poset_state_handle *xhost, const std::string &xname)
 Attach to the member state with name xname in the current version of host xhost. More...
 
void attach_to_state (const namespace_poset *xhost, const std::string &xname)
 
void attach_to_state (const std::string &)
 Attach to the state with name xname in version version() of host host(). More...
 
void attach_to_state (pod_index_type xhub_id)
 Attach to the state with hub id xhub_id in version version() of host host(). More...
 
void attach_to_state (const scoped_index &xid)
 Attach to the state with id xid in version version() of host host(). More...
 
void attach_to_state (const poset_component *xother)
 Attach to the same state as xother. More...
 
void attach_to_state (const poset_component *xother, bool xauto_access)
 Attach to the same state as xother, auto-accessible version. More...
 
virtual bool is_attached () const
 True if this handle is attached to a non-void state. More...
 
bool is_same_state (const poset_state_handle *xhost, pod_index_type xhub_id) const
 True is this is attached to state with hub id xhub_id in host xhost. More...
 
bool is_same_state (const poset_state_handle *xhost, const scoped_index &xid) const
 True is this is attached to state with id xid in host xhost. More...
 
bool is_same_state (const poset_component *xother) const
 True if xother is attached to the same host and same state as this or if both are unattached. More...
 
virtual void get_read_access () const
 Get read access to the state associated with this. More...
 
virtual void get_read_write_access (bool xrelease_read_only_access=false)
 Get read write access to the state associated with this. If release_read_only_access is requested, read only access will be released then read_write_access will be requested, finally the same level of read_access as before will be requested. More...
 
virtual void release_access (bool xall=false) const
 Release access. If xall is true, release all levels of access. Otherwise, release one level of access. More...
 
- Public Member Functions inherited from sheaf::read_write_monitor_handle
virtual ~read_write_monitor_handle ()
 Descturctor. More...
 
bool state_is_read_only_accessible () const
 True if this is attached and the state is accessible for read access but not for write. More...
 
bool state_is_not_read_only_accessible () const
 True if this is attached and the state is not accessible for read only access. More...
 
bool state_is_read_accessible () const
 True if this is attached and if the state is accessible for read or access control is disabled. More...
 
bool state_is_not_read_accessible () const
 True if this is attached and if the state is accessible for read or if access control is disabled. More...
 
bool state_is_auto_read_accessible (bool xauto_access) const
 True if the state is auto accessible for read, that is, if the state is already accessible for read or if this is attached and xuto_access is true. More...
 
bool state_is_read_write_accessible () const
 True if this is attached and if the state is accessible for read and write or access control is disabled. More...
 
bool state_is_not_read_write_accessible () const
 True if state is attached and if not accessible for read and write or access control is disabled. More...
 
bool state_is_auto_read_write_accessible (bool xauto_access) const
 True if state is auto accessible for read and write, that is, if the state is already accessible for read and write or if this is attached and xuto_access is true. or if this is attached and access control is disabled. More...
 
int access_request_depth () const
 The number of times access has been requested and granted without being released. More...
 
bool state_is_mode_locked () const
 Obsolete. More...
 
int mode_lock_ct () const
 Obsolete. More...
 
void get_mode_lock () const
 Obsolete. More...
 
void release_mode_lock ()
 Obsolete. More...
 
bool state_is_modified () const
 True if write access has been granted and released since the last call to clear_state_is_modified(). More...
 
void clear_state_is_modified ()
 Sets the state_is_modified floag to false. More...
 
- Public Member Functions inherited from sheaf::any
bool is_same_type (const any *other) const
 True if other is the same type as this. More...
 
virtual ~any ()
 Destructor. More...
 
bool invariant_check () const
 True if invariant checking is enabled. More...
 
void enable_invariant_check () const
 Enable invariant checking. More...
 
void disable_invariant_check () const
 Disable invariant check. Intended for preventing recursive calls to invariant and for suppressing invariant checking during multi-phase initialization. More...
 
int disable_invariance_check_request_depth () const
 Number of times disable_invariant_check has been called without matching call to enable_invariant_check. More...
 
- Static Public Member Functions inherited from sheaf::schema_poset_member
static int dof_ct (const namespace_poset &xns, const poset_path &xpath, bool xis_table_dof, bool xauto_access=true)
 The number of table dofs (xis_table_dof true) or row dofs defined by the schema specified by xns and xpath. More...
 
static int table_dof_ct (const namespace_poset &xns, const poset_path &xpath, bool xauto_access=true)
 The number of tablr dofs defined by the schema specified by xns and xpath. Synonym for dof_ct(xns, xpath, true, xauto_access). More...
 
static int row_dof_ct (const namespace_poset &xns, const poset_path &xpath, bool xauto_access=true)
 The number of row dofs defined by the schema specified by xns and xpath. Synonym for dof_ct(xns, xpath, false, xauto_access). More...
 
static std::string dof_subposet_name (const std::string &xname, bool xis_table_dof)
 The standard name for the table (xis_table_dof true) or row (xis_table_dof false) dof subposet associated with the schema member with name xname. More...
 
static std::string table_dof_subposet_name (const std::string &xname)
 The standard name for the table dof subposet associated with the schema member with name xname. Synonym for dof_subposet_name(xname, true). More...
 
static std::string row_dof_subposet_name (const std::string &xname)
 The standard name for the row dof subposet associated with the schema member with name xname. Synonym for dof_subposet_name(xname, false). More...
 
static bool conforms_to (const namespace_poset &xns, const poset_path &xchild_path, const poset_path &xparent_path, bool xauto_access=true)
 True if the dofs defined by the schema specified by xchild_path agree in type and in order with the dofs defined by the schema member specified by path xparent_path. (Child schema may contain additional dofs as well.) More...
 
static bool conforms_to (const namespace_poset &xns, const poset_path &xchild_path, const poset_path &xparent_path, bool xis_table_dofs, bool xauto_access)
 True if the table dofs (xis_table_dofs true) or row dofs (xis_table_dofs false) defined by the schema specified by xchild_path agree in type and in order with the dofs defined by the schema member specified by path xparent_path. (Child schema may contain additional dofs as well.) More...
 
static bool table_conforms_to (const namespace_poset &xns, const poset_path &xchild_path, const poset_path &xparent_path, bool xauto_access=true)
 True if the table dofs defined by the schema specified by xchild_path agree in type and in order with the dofs defined by the schema member specified by path xparent_path. (Child schema may contain additional dofs as well.) Synonym for conforms_to(xns, xchild_path, xparent_path, true, xauto_access);. More...
 
static bool row_conforms_to (const namespace_poset &xns, const poset_path &xchild_path, const poset_path &xparent_path, bool xauto_access=true)
 True if the row dofs defined by the schema specified by xchild_path agree in type and in order with the dofs defined by the schema member specified by path xparent_path. (Child schema may contain additional dofs as well.) Synonym for conforms_to(xns, xchild_path, xparent_path, false, xauto_access);. More...
 
static poset_path make_schema (const namespace_poset &xns, const poset_path &xparent_path, const std::string &xname)
 Creates a schema member with name xname which is join-equivalent the schema with path xparent_path. Returns a path to the new member. More...
 
static void make_schema_no_jims (namespace_poset *xns, const std::string &xposet_name, const std::string &xmember_name, const std::string &xparent_name)
 
static poset_path make_schema (const namespace_poset &xns, const poset_path &xparent_path, const std::string &xname, const std::string xdof_names[], const primitive_type xdof_types[], const bool xis_table_dof[], size_type xdof_ct, bool xauto_access)
 
static poset_path make_row_schema (const namespace_poset &xns, const poset_path &xparent_path, const std::string &xname, const std::string xdof_names[], const primitive_type xdof_types[], size_type xdof_ct, bool xauto_access)
 
static poset_path make_homogeneous_row_schema (const namespace_poset &xns, const poset_path &xparent_path, const std::string &xname, const std::string xdof_names[], const primitive_type xdof_type, size_type xdof_ct, bool xauto_access)
 
static void make_row_dofs_schema (namespace_poset *xns, const std::string member_names[], const int num_members, const int member_dof_type, const std::string &schema_poset_name, const std::string &schema_member_name, const std::string &schema_inherits_name)
 
static void make_table_dofs_schema (namespace_poset *xns, const std::string member_names[], const int num_members, const int member_dof_type, const std::string &schema_poset_name, const std::string &schema_member_name, const std::string &schema_inherits_name)
 
static const poset_pathstandard_schema_path ()
 The path to the standard schema for this class. More...
 
static host_typenew_host (namespace_type &xns, const poset_path &xhost_path, const poset_path &xschema_path, bool xauto_access)
 Creates a new host table for members of this type. The poset is created in namespace xns with path xhost_path and schema specified by xschema_path. More...
 
static host_typestandard_host (namespace_type &xns, const poset_path &xhost_path, bool xauto_access)
 The host with path xhost_path.Returns the host if it already exists, otherwise, creates it in namespace xns with schema specified by standard_schema_path(). More...
 
- Static Public Member Functions inherited from sheaf::abstract_poset_member
static host_typenew_host (namespace_type &xns, const poset_path &xhost_path, const poset_path &xschema_path, bool xauto_access)
 Creates a new host table for members of this type. The poset is created in namespace xns with path xhost_path and schema specified by xschema_path. More...
 
- Static Public Member Functions inherited from sheaf::read_write_monitor_handle
static bool access_control_disabled ()
 True if access control mechanism is disabled. Default value is enabled (false) and access is controlled by the per-thread access control functions. Disabled (true) is equivalent to having read-write access at all times, irrespective of any access control requests. Synonym for read_write_monitor::access_control_disabled(). More...
 
static void enable_access_control ()
 Enables access control. Synonym for read_write_monitor::enable_access_control(). Should only be invoked once at beginning of a program, before any other SheafSystem calls. Once enabled, access control can not be disabled. More...
 
- Protected Member Functions inherited from sheaf::schema_poset_member
subposet_statedof_subposet_state (bool xis_table_dof)
 The subposet_state for the table/row dof subposet. More...
 
bool table_cache_consistent () const
 True if cached table properties are consistent with index() and version(). More...
 
virtual bool initialize_table_dof_id_space () const
 Initialize table dof id space. Return true, if and only if the table dof id space was created. More...
 
bool row_cache_consistent () const
 True if cached row properties are consistent with index() and version(). More...
 
virtual bool initialize_row_dof_id_space () const
 Initialize row dof id space. Return true, if and only if the row dof id space was created. More...
 
virtual void update_row_dof_descriptors () const
 Update the row dof descriptors. More...
 
bool initialize_dof_id_space (bool xis_table_dof) const
 Initializes the dof id space. If xis_table_dof, otherwise initialize table dof id space. Otherwise, initialize the row dof id space. Returns true if and only if the id space was created. More...
 
void update_dof_id_space (bool xis_table_dof) const
 Update the ids in the dof id space. If xis_table_dof, otherwise initialize table dof id space. Otherwise, initialize the row dof id space. More...
 
void update_dof_descriptors (bool xis_table_dof, dof_descriptor_array *&xdof_descriptors, size_type xdof_ct, size_type &xdof_tuple_ub) const
 Update the dof descriptors. If xis_table_dof, otherwise initialize table dof id space. Otherwise, initialize the row dof id space. More...
 
- Protected Member Functions inherited from sheaf::abstract_poset_member
 abstract_poset_member ()
 Default constructor; creates a new, unattached abstract_poset_member handle. More...
 
char * table_dof_ptr (bool xrequire_write_access=false) const
 Pointer to the table dofs. More...
 
char * row_dof_ptr (bool xrequire_write_access=false)
 Pointer to the row dofs. More...
 
- Protected Member Functions inherited from sheaf::poset_component
 poset_component ()
 Default constructor. More...
 
poset_statestate_obj () const
 The state this component handle is attached to. More...
 
poset_powerset_statepowerset () const
 The set of subposets of host(). More...
 
poset_crg_statecrg () const
 The cover relation graph of host(). More...
 
virtual subposet_statepowerset_member (const scoped_index &xindex) const
 The hidden state of the subposet asocciated with index xindex. More...
 
poset_dof_maprow_dof_tuple (const scoped_index &xindex) const
 The row dof tuple associated with xindex. More...
 
virtual void init_handle_data_members ()
 Initializes handle data members when attaching to a different member in a different host; intended to be redefined in derived classes. More...
 
- Protected Member Functions inherited from sheaf::read_write_monitor_handle
bool access_guards_disabled () const
 True if thread of control is still in constructor. More...
 
void disable_access_guards ()
 Disables access guards; intended for use only within constructors of monitored objects, where no other client can possibly have access (yet). More...
 
void enable_access_guards ()
 Re-enables access guards. More...
 
- Protected Member Functions inherited from sheaf::any
 any ()
 default constructor More...
 
- Protected Attributes inherited from sheaf::schema_poset_member
scoped_index _table_dof_subposet_index
 The index within host of the table dofs subposet associated with this. More...
 
scoped_index _row_dof_subposet_index
 The index within host of the row dofs subposet associated with this. More...
 
scoped_index _table_cache_index
 The index with respect to which the cached table properties were evaluated. More...
 
int _table_cache_version
 The version with respect to which the cached table properties were evaluated. More...
 
scoped_index _row_cache_index
 The index with respect to which the cached row properties were evaluated. More...
 
int _row_cache_version
 The version with respect to which the cached row properties were evaluated. More...
 
size_type _table_dof_ct
 The number of table dofs defined by this schema. More...
 
size_type _row_dof_ct
 The number of row dofs defined by this schema. More...
 
size_type _table_dof_tuple_ub
 The size in bytes of the table dof tuple defined by this schema. More...
 
size_type _row_dof_tuple_ub
 The size in bytes of the row dof tuple defined by this schema. More...
 
dof_descriptor_array_table_dof_descriptors
 The dof_descriptors_array for the table dof tuple defined by this schema. More...
 
dof_descriptor_array_row_dof_descriptors
 The dof_descriptors_array for the row dof tuple defined by this schema. More...
 
index_space_handle_table_dof_id_space
 The table dof id space for the schema defined by this. More...
 
index_space_handle_row_dof_id_space
 The row dof id space for the schema defined by this. More...
 
- Protected Attributes inherited from sheaf::poset_component
poset_state_handle_host
 The host poset for this component. More...
 
scoped_index _index
 The index for this component within the host. More...
 
int _version
 The version of this component. The version of the host used when evaluating properties of this component. More...
 

Detailed Description

A client handle for a poset member which has been prepared for use as a schema for a section space.

Todo:
create immutable base class so this doesn't inherit new_state methods.
Hack:
temporarily redefine all new state functions as unimplemented to trap calls to them.
Todo:
create immutable base class so this doesn't inherit new_state methods.
Hack:
temporarily redefine all new state functions as unimplemented to trap calls to them.

Definition at line 66 of file section_space_schema_member.h.

Member Typedef Documentation

◆ host_type

◆ namespace_type

The type of namespace for this type of member.

Definition at line 81 of file section_space_schema_member.h.

Constructor & Destructor Documentation

◆ ~section_space_schema_member() [1/2]

fiber_bundle::section_space_schema_member::~section_space_schema_member ( )
virtual

Destructor; deletes a poset member and its attached state, if any.

Definition at line 241 of file section_space_schema_member.cc.

References rep().

Referenced by operator=().

◆ section_space_schema_member() [1/2]

fiber_bundle::section_space_schema_member::section_space_schema_member ( )
protected

Default constructor; creates a new, unattached section_space_schema_member handle. Intended for use only by descendants.

Postcondition
  • !is_attached()

Definition at line 1015 of file section_space_schema_member.cc.

References sheaf::invalid_pod_index(), sheaf::is_valid(), and make_schema_info().

Referenced by fiber_schema_conforms_to(), and is_factorable().

◆ ~section_space_schema_member() [2/2]

virtual fiber_bundle::section_space_schema_member::~section_space_schema_member ( )
virtual

Destructor; deletes a poset member and its attached state, if any.

◆ section_space_schema_member() [2/2]

fiber_bundle::section_space_schema_member::section_space_schema_member ( )
protected

Default constructor; creates a new, unattached section_space_schema_member handle. Intended for use only by descendants.

Member Function Documentation

◆ alignment() [1/7]

◆ alignment() [2/7]

virtual size_type fiber_bundle::section_space_schema_member::alignment ( pod_index_type  xdof_id,
bool  xis_table_dof 
) const
pure virtual

The alignment for the table dof (xis_table_dof true) or row dof referred to by xdof_id in the schema defined by this.

Reimplemented from sheaf::schema_poset_member.

Implemented in fiber_bundle::product_section_space_schema_member.

◆ alignment() [3/7]

virtual size_type fiber_bundle::section_space_schema_member::alignment ( pod_index_type  xdisc_id,
pod_index_type  xfiber_dof_id,
bool  xis_table_dof 
) const
pure virtual

The alignment for the table dof (xis_table_dof true) or row dof referred to by xdisc_id, xfiber_dof_id in the schema defined by this.

Implemented in fiber_bundle::product_section_space_schema_member.

◆ alignment() [4/7]

virtual size_type fiber_bundle::section_space_schema_member::alignment ( const scoped_index xdisc_id,
const scoped_index xfiber_dof_id,
bool  xis_table_dof,
bool  xauto_access 
) const
pure virtual

The alignment for the table dof (xis_table_dof true) or row dof referred to by xdisc_id, xfiber_dof_id in the schema defined by this.

Implemented in fiber_bundle::product_section_space_schema_member.

◆ alignment() [5/7]

sheaf::size_type fiber_bundle::section_space_schema_member::alignment ( pod_index_type  xdof_id,
bool  xis_table_dof 
) const
virtual

The alignment for the table dof (xis_table_dof true) or row dof referred to by xdof_id in the schema defined by this.

Precondition
  • xis_table_dofs ? fiber_schema_id_space(xis_table_dofs).contains(xdof_id) : true

Reimplemented from sheaf::schema_poset_member.

Reimplemented in fiber_bundle::product_section_space_schema_member.

Definition at line 1770 of file section_space_schema_member.cc.

References alignment(), and sheaf::tuple().

◆ alignment() [6/7]

sheaf::size_type fiber_bundle::section_space_schema_member::alignment ( pod_index_type  xdisc_id,
pod_index_type  xfiber_dof_id,
bool  xis_table_dof 
) const

The alignment for the table dof (xis_table_dof true) or row dof referred to by xdisc_id, xfiber_dof_id in the schema defined by this.

Precondition
  • fiber_schema_id_space(xis_table_dof).contains(xfiber_dof_id)

Definition at line 1800 of file section_space_schema_member.cc.

References alignment().

◆ alignment() [7/7]

sheaf::size_type fiber_bundle::section_space_schema_member::alignment ( const scoped_index xdisc_id,
const scoped_index xfiber_dof_id,
bool  xis_table_dof,
bool  xauto_access 
) const

The alignment for the table dof (xis_table_dof true) or row dof referred to by xdisc_id, xfiber_dof_id in the schema defined by this.

Precondition
  • fiber_schema_id_space(xis_table_dof, xauto_access).contains(xfiber_dof_id)

Definition at line 1821 of file section_space_schema_member.cc.

References type().

◆ attach_handle_data_members() [1/2]

virtual void fiber_bundle::section_space_schema_member::attach_handle_data_members ( )
protectedvirtual

Initializes the handle data members when this handle is attached to a state.

Reimplemented from sheaf::schema_poset_member.

◆ attach_handle_data_members() [2/2]

void fiber_bundle::section_space_schema_member::attach_handle_data_members ( )
protectedvirtual

Initializes the handle data members when this handle is attached to a state.

Precondition
Hack:
section_space_schema version hack: version of this is same as version of base space.
Postcondition

Reimplemented from sheaf::schema_poset_member.

Definition at line 1069 of file section_space_schema_member.cc.

References update_row_cache_without_disc_id_space().

Referenced by fiber_bundle::binary_section_space_schema_member::attach_to_state(), is_factorable(), and make_schema_info().

◆ attach_to_state() [1/10]

virtual void fiber_bundle::section_space_schema_member::attach_to_state ( pod_index_type  xbase_space_id,
pod_index_type  xfiber_schema_id 
)
virtual

Attach to the state in host() with component ids xbase_id and xfiber_schema_id.

Reimplemented in fiber_bundle::binary_section_space_schema_member.

◆ attach_to_state() [2/10]

void fiber_bundle::section_space_schema_member::attach_to_state ( const scoped_index xbase_space_id,
const scoped_index xfiber_schema_id 
)

Attach to the state in host() with component ids xbase_id and xfiber_schema_id.

◆ attach_to_state() [3/10]

virtual void fiber_bundle::section_space_schema_member::attach_to_state ( const section_space_schema_poset xhost,
pod_index_type  xbase_space_id,
pod_index_type  xfiber_schema_id 
)
virtual

Attach to the state in xhost with component ids xbase_id and xfiber_schema_id.

Reimplemented in fiber_bundle::binary_section_space_schema_member.

◆ attach_to_state() [4/10]

void fiber_bundle::section_space_schema_member::attach_to_state ( const section_space_schema_poset xhost,
const scoped_index xbase_space_id,
const scoped_index xfiber_schema_id 
)

Attach to the state in xhost with component ids xbase_id and xfiber_schema_id.

◆ attach_to_state() [5/10]

virtual void fiber_bundle::section_space_schema_member::attach_to_state ( const section_space_schema_poset xhost,
const poset_path xbase_path,
const poset_path xfiber_schema_path 
)
virtual

Attach to the state in xhost specified by paths xbase_path and xfiber_schema_path.

Reimplemented in fiber_bundle::binary_section_space_schema_member.

◆ attach_to_state() [6/10]

void fiber_bundle::section_space_schema_member::attach_to_state ( pod_index_type  xbase_space_id,
pod_index_type  xfiber_schema_id 
)
pure virtual

Attach to the state in host() with component ids xbase_id and xfiber_schema_id.

Todo:
Remove.
Precondition
Is Abstract.
Postcondition

Implemented in fiber_bundle::binary_section_space_schema_member.

Definition at line 2695 of file section_space_schema_member.cc.

Referenced by attach_to_state(), fields::field_eval_iterator::initialize_coordinate_schema(), fields::field_eval_iterator::initialize_property_schema(), fiber_bundle::discretization_iterator::initialize_schema_anchor(), fiber_bundle::eval_iterator::initialize_schema_anchor(), fiber_bundle::product_section_space_schema_poset::initialize_standard_members(), fiber_bundle::section_space_schema_poset::initialize_standard_members(), fiber_bundle::binary_section_space_schema_member::l_not(), fiber_bundle::product_section_space_schema_member::operator=(), fiber_bundle::section_eval_iterator::operator=(), fiber_bundle::section_component_iterator::operator=(), fiber_bundle::product_section_space_schema_member::product_section_space_schema_member(), fiber_bundle::discretization_iterator::put_schema_anchor(), fiber_bundle::eval_iterator::put_schema_anchor(), put_standard_name(), fiber_bundle::section_component_iterator::reset_anchor(), fiber_bundle::section_eval_iterator::reset_anchor(), fiber_bundle::section_dof_map::section_dof_map(), and update_table_dof_descriptors().

◆ attach_to_state() [7/10]

void fiber_bundle::section_space_schema_member::attach_to_state ( const scoped_index xbase_space_id,
const scoped_index xfiber_schema_id 
)

Attach to the state in host() with component ids xbase_id and xfiber_schema_id.

Precondition
Postcondition

Definition at line 2722 of file section_space_schema_member.cc.

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

◆ attach_to_state() [8/10]

void fiber_bundle::section_space_schema_member::attach_to_state ( const section_space_schema_poset xhost,
pod_index_type  xbase_space_id,
pod_index_type  xfiber_schema_id 
)
pure virtual

Attach to the state in xhost with component ids xbase_id and xfiber_schema_id.

Precondition
  • xhost != 0
  • host_is_ancestor_of(xhost)
Is Abstract.
Postcondition

Implemented in fiber_bundle::binary_section_space_schema_member.

Definition at line 2750 of file section_space_schema_member.cc.

References attach_to_state(), fiber_bundle::section_space_schema_poset::base_space(), sheaf::poset_state_handle::contains_member(), fiber_bundle::section_space_schema_poset::fiber_schema(), and sheaf::read_write_monitor_handle::state_is_read_accessible().

◆ attach_to_state() [9/10]

void fiber_bundle::section_space_schema_member::attach_to_state ( const section_space_schema_poset xhost,
const scoped_index xbase_space_id,
const scoped_index xfiber_schema_id 
)

Attach to the state in xhost with component ids xbase_id and xfiber_schema_id.

Precondition
  • xhost != 0
  • host_is_ancestor_of(xhost)
Postcondition

Definition at line 2779 of file section_space_schema_member.cc.

References fiber_bundle::section_space_schema_poset::base_space(), sheaf::poset_state_handle::contains_member(), detach_from_state(), fiber_bundle::section_space_schema_poset::fiber_schema(), sheaf::scoped_index::hub_pod(), and sheaf::read_write_monitor_handle::state_is_read_accessible().

◆ attach_to_state() [10/10]

void fiber_bundle::section_space_schema_member::attach_to_state ( const section_space_schema_poset xhost,
const poset_path xbase_path,
const poset_path xfiber_schema_path 
)
pure virtual

Attach to the state in xhost specified by paths xbase_path and xfiber_schema_path.

Precondition
  • xhost != 0
  • host_is_ancestor_of(xhost)
  • xbase_path.full()
  • xhost->base_space().contains_member(xbase_path.member_name())
  • xfiber_schema_path.full()
  • xhost->fiber_schema().contains_member(xfiber_schema_path.member_name())
  • xhost->contains_range_member(xhost->base_space().member_id(xbase_path.member_name(), false), xhost->fiber_schema().member_id(xfiber_schema_path.member_name(), false), false)
Postcondition

Implemented in fiber_bundle::binary_section_space_schema_member.

Definition at line 2010 of file section_space_schema_member_2.cc.

References fiber_bundle::section_space_schema_poset::base_space(), base_space(), sheaf::poset_state_handle::contains_member(), fiber_bundle::section_space_schema_poset::contains_range_member(), detach_from_state(), sheaf::any::disable_invariant_check(), sheaf::any::enable_invariant_check(), fiber_bundle::section_space_schema_poset::fiber_schema(), fiber_space(), sheaf::poset_path::full(), sheaf::poset_component::get_read_access(), sheaf::poset_component::host(), host(), host_is_ancestor_of(), sheaf::scoped_index::hub_pod(), sheaf::poset_component::index(), invariant(), is_ancestor_of(), sheaf::poset_component::is_attached(), sheaf::poset_state_handle::member_id(), sheaf::poset_path::member_name(), sheaf::poset_state_handle::name(), sheaf::schema_poset_member::name(), sheaf::abstract_poset_member::name(), fiber_bundle::operator<<(), sheaf::scoped_index::pod(), sheaf::poset_component::release_access(), sheaf::read_write_monitor_handle::state_is_read_accessible(), to_stream(), and sheaf::poset_component::version().

◆ base_space() [1/4]

total_poset_member& fiber_bundle::section_space_schema_member::base_space ( )

The base space component of this (mutable version).

◆ base_space() [2/4]

const total_poset_member& fiber_bundle::section_space_schema_member::base_space ( ) const

The base space component of this (const version).

◆ base_space() [3/4]

sheaf::total_poset_member & fiber_bundle::section_space_schema_member::base_space ( )

The base space component of this (mutable version).

Precondition

Definition at line 349 of file section_space_schema_member.cc.

Referenced by fiber_bundle::sec_vd_algebra::assign(), fiber_bundle::binary_section_space_schema_member::attach_to_state(), attach_to_state(), base_space_id(), fields::base_space_map::base_space_map(), fiber_bundle::binary_section_space_schema_member::binary_section_space_schema_member(), fields::body_pusher::body_pusher(), tool::vtk_abstract_grid_builder::build(), tool::vtk_poly_data_builder::build(), tool::vtk_poly_data_builder::build_file(), tool::vtk_poly_data_builder::build_pa(), tool::vtk_unstructured_grid_builder::build_pa(), geometry::d_uniform_point_locator< DC, DB >::d_uniform_point_locator(), fields::field_vd::embed_property(), fields::field_at0::field_at0(), fields::field_at1::field_at1(), fields::field_at2::field_at2(), fields::field_at2_e2::field_at2_e2(), fields::field_at2_e3::field_at2_e3(), fields::field_at3::field_at3(), fields::field_at3_e3::field_at3_e3(), fields::field_atp::field_atp(), fields::field_e1::field_e1(), fields::field_e1_uniform::field_e1_uniform(), fields::field_e2::field_e2(), fields::field_e2_uniform::field_e2_uniform(), fields::field_e3::field_e3(), fields::field_e3_uniform::field_e3_uniform(), fields::field_e4::field_e4(), fields::field_ed::field_ed(), fields::field_eval_iterator::field_eval_iterator(), fields::field_jcb::field_jcb(), fields::field_jcb_e13::field_jcb_e13(), fields::field_jcb_e23::field_jcb_e23(), fields::field_jcb_e33::field_jcb_e33(), fields::field_jcb_ed::field_jcb_ed(), fields::field_met::field_met(), fields::field_met_e1::field_met_e1(), fields::field_met_e2::field_met_e2(), fields::field_met_e3::field_met_e3(), fields::field_met_ed::field_met_ed(), fields::field_st2::field_st2(), fields::field_st2_e2::field_st2_e2(), fields::field_st2_e3::field_st2_e3(), fields::field_st3::field_st3(), fields::field_st3_e3::field_st3_e3(), fields::field_st4::field_st4(), fields::field_st4_e2::field_st4_e2(), fields::field_st4_e3::field_st4_e3(), fields::field_stp::field_stp(), fields::field_t2::field_t2(), fields::field_t2_e2::field_t2_e2(), fields::field_t2_e3::field_t2_e3(), fields::field_t3::field_t3(), fields::field_t3_e3::field_t3_e3(), fields::field_t4::field_t4(), fields::field_t4_e2::field_t4_e2(), fields::field_t4_e3::field_t4_e3(), fields::field_tp::field_tp(), fields::field_vd::field_vd(), fiber_bundle::binary_section_space_schema_member::get_decomposition(), fiber_bundle::product_section_space_schema_member::get_decomposition(), fiber_bundle::binary_section_space_schema_member::get_ext_ids(), fiber_bundle::product_section_space_schema_member::get_ext_ids(), fiber_bundle::binary_section_space_schema_member::get_int_id(), fields::property_disc_iterator::initialize_iteration(), tool::visualization_iterator::initialize_iteration(), geometry::array_cylindrical_point_locator::is_dlinear_quads(), geometry::array_cylindrical_point_locator::is_dlinear_triangles(), fiber_bundle::operator<<(), fiber_bundle::print_prereq_paths(), fields::property_disc_iterator_1_1::property_disc_iterator_1_1(), fields::property_disc_iterator_1_2::property_disc_iterator_1_2(), fields::property_disc_iterator_1_3::property_disc_iterator_1_3(), fields::property_disc_iterator_4_2::property_disc_iterator_4_2(), fields::property_disc_iterator_4_3::property_disc_iterator_4_3(), fields::discretization_pusher::push(), tool::visualization_iterator::put_anchor(), fiber_bundle::discretization_iterator::put_schema_anchor(), fiber_bundle::eval_iterator::put_schema_anchor(), fields::base_space_map::same_base(), fields::section_pusher::same_base(), same_base_space(), fields::section_pusher::section_pusher(), fiber_bundle::product_section_space_schema_member::update_row_cache_with_disc_id_space(), tool::visualization_iterator_1_1::visualization_iterator_1_1(), tool::visualization_iterator_1_3::visualization_iterator_1_3(), tool::visualization_iterator_4_2::visualization_iterator_4_2(), and tool::visualization_iterator_4_3::visualization_iterator_4_3().

◆ base_space() [4/4]

const sheaf::total_poset_member & fiber_bundle::section_space_schema_member::base_space ( ) const

The base space component of this (const version).

Precondition

Definition at line 356 of file section_space_schema_member.cc.

References same_base_space().

◆ base_space_id() [1/4]

pod_index_type fiber_bundle::section_space_schema_member::base_space_id ( ) const

The member id of the base space component of this.

◆ base_space_id() [2/4]

void fiber_bundle::section_space_schema_member::base_space_id ( scoped_index result) const

The member id of the base space component of this.

◆ base_space_id() [3/4]

◆ base_space_id() [4/4]

void fiber_bundle::section_space_schema_member::base_space_id ( scoped_index result) const

The member id of the base space component of this.

Postcondition

Definition at line 330 of file section_space_schema_member.cc.

References base_space(), sheaf::scoped_index::put(), and sheaf::scoped_index::same_scope().

◆ class_name() [1/2]

virtual const std::string& fiber_bundle::section_space_schema_member::class_name ( ) const
virtual

The name of this class.

◆ class_name() [2/2]

const std::string & fiber_bundle::section_space_schema_member::class_name ( ) const
virtual

The name of this class.

Postcondition
  • !result.empty()

Definition at line 138 of file section_space_schema_member.cc.

References static_class_name().

Referenced by make_standard_schema().

◆ clone() [1/4]

section_space_schema_member* fiber_bundle::section_space_schema_member::clone ( bool  xnew_state,
bool  xauto_access = true 
) const
inline

Make a new handle instance of current. Attach the new instance to a new state if xnew_state is true. Otherwise, attach the new instance to the current state.

Definition at line 102 of file section_space_schema_member_2.h.

References sheaf::schema_poset_member::clone().

◆ clone() [2/4]

◆ clone() [3/4]

virtual section_space_schema_member* fiber_bundle::section_space_schema_member::clone ( ) const
pure virtual

Make a new handle, no state instance of current.

Reimplemented from sheaf::schema_poset_member.

Implemented in fiber_bundle::binary_section_space_schema_member, and fiber_bundle::product_section_space_schema_member.

◆ clone() [4/4]

virtual section_space_schema_member* fiber_bundle::section_space_schema_member::clone ( ) const
pure virtual

◆ component_iterator()

fiber_bundle::section_component_iterator * fiber_bundle::section_space_schema_member::component_iterator ( ) const
virtual

A postorder iterator over the components defined by this.

Precondition
Not Implemented.
Postcondition
  • result != 0

Reimplemented in fiber_bundle::binary_section_space_schema_member.

Definition at line 791 of file section_space_schema_member.cc.

References evaluator_family_name().

Referenced by same_evaluation().

◆ component_size() [1/4]

size_type fiber_bundle::section_space_schema_member::component_size ( pod_index_type  xfiber_dof_id) const

The number of bytes in the component referred to by xfiber_dof_id.

◆ component_size() [2/4]

size_type fiber_bundle::section_space_schema_member::component_size ( const scoped_index xfiber_dof_id,
bool  xauto_access 
) const

The number of bytes in the component referred to by xfiber_dof_id.

◆ component_size() [3/4]

sheaf::size_type fiber_bundle::section_space_schema_member::component_size ( pod_index_type  xfiber_dof_id) const

The number of bytes in the component referred to by xfiber_dof_id.

Precondition
  • fiber_schema_id_space(false).contains(xfiber_dof_id)

Definition at line 2075 of file section_space_schema_member.cc.

Referenced by fiber_size(), and update_table_dof_descriptors().

◆ component_size() [4/4]

sheaf::size_type fiber_bundle::section_space_schema_member::component_size ( const scoped_index xfiber_dof_id,
bool  xauto_access 
) const

The number of bytes in the component referred to by xfiber_dof_id.

Precondition
  • state_is_auto_read_accessible(xauto_access)
  • fiber_schema_id_space(false, xauto_access).contains(xfiber_dof_id)

Definition at line 2102 of file section_space_schema_member.cc.

References get_ext_id().

◆ conforms_to() [1/2]

virtual bool fiber_bundle::section_space_schema_member::conforms_to ( const schema_poset_member xother,
bool  xis_table_dofs 
) const
virtual

True if this schema contains all the table dofs (xis_table_dofs true) or row dofs (xis_is_table_dofs false) contained in xother. (This schema may contain additional dofs as well.)

Reimplemented from sheaf::schema_poset_member.

◆ conforms_to() [2/2]

bool fiber_bundle::section_space_schema_member::conforms_to ( const schema_poset_member xother,
bool  xis_table_dofs 
) const
virtual

True if this schema contains all the table dofs (xis_table_dofs true) or row dofs (xis_is_table_dofs false) contained in xother. (This schema may contain additional dofs as well.)

Precondition
  • is_ancestor_of(&xother)

Reimplemented from sheaf::schema_poset_member.

Definition at line 919 of file section_space_schema_member.cc.

References fiber_schema_conforms_to().

Referenced by dof_iterator(), and is_factorable().

◆ contains_dof() [1/10]

bool fiber_bundle::section_space_schema_member::contains_dof ( const schema_poset_member xother,
bool  xin_table_dofs 
) const
inline

True if xother is a dof in the table dofs part (xin_table_dofs == true) or in the row dofs part (xin_table_dofs == false) of the schema defined by this.

Todo:
Remove.
Hack:
using declaration broken, must explicitly propagate the next six declarations.
Error:
can not use inherited version, must over ride it. Inherited version uses dof subposet, which doesn't exist for this class.

Definition at line 390 of file section_space_schema_member_2.h.

References sheaf::schema_poset_member::contains_dof().

◆ contains_dof() [2/10]

bool fiber_bundle::section_space_schema_member::contains_dof ( pod_index_type  xother_id,
bool  xin_table_dofs 
) const
inline

True if xother_id is the index of a dof in the table dofs part (xin_table_dofs == true) or in the row dofs part (xin_table_dofs == false) of the schema defined by this.

Definition at line 419 of file section_space_schema_member_2.h.

References sheaf::schema_poset_member::contains_dof().

◆ contains_dof() [3/10]

bool fiber_bundle::section_space_schema_member::contains_dof ( const scoped_index xother_id,
bool  xin_table_dofs 
) const
inline

True if xother_id is the index of a dof in the table dofs part (xin_table_dofs == true) or in the row dofs part (xin_table_dofs == false) of the schema defined by this.

Definition at line 430 of file section_space_schema_member_2.h.

References sheaf::schema_poset_member::contains_dof().

◆ contains_dof() [4/10]

bool fiber_bundle::section_space_schema_member::contains_dof ( pod_index_type  xbase_id,
pod_index_type  xfiber_id,
bool  xin_table_dofs 
) const

True if xother_id is the index of a dof in the table dofs part (xin_table_dofs == true) or in the row dofs part (xin_table_dofs == false) of the schema defined by this.

◆ contains_dof() [5/10]

bool fiber_bundle::section_space_schema_member::contains_dof ( const scoped_index xbase_id,
const scoped_index xfiber_id,
bool  xin_table_dofs 
) const

True if xother_id is the index of a dof in the table dofs part (xin_table_dofs == true) or in the row dofs part (xin_table_dofs == false) of the schema defined by this.

◆ contains_dof() [6/10]

bool fiber_bundle::section_space_schema_member::contains_dof ( const schema_poset_member xother,
bool  xin_table_dofs 
) const
inline

True if xother is a dof in the table dofs part (xin_table_dofs == true) or in the row dofs part (xin_table_dofs == false) of the schema defined by this.

Hack:
using declaration broken, must explicitly propagate the next six declarations.
Error:
can not use inherited version, must over ride it. Inherited version uses dof subposet, which doesn't exist for this class.

Definition at line 639 of file section_space_schema_member.h.

References sheaf::schema_poset_member::contains_dof().

Referenced by contains_dof(), is_factorable(), and update_row_dof_id_space().

◆ contains_dof() [7/10]

bool fiber_bundle::section_space_schema_member::contains_dof ( pod_index_type  xother_id,
bool  xin_table_dofs 
) const
inline

True if xother_id is the index of a dof in the table dofs part (xin_table_dofs == true) or in the row dofs part (xin_table_dofs == false) of the schema defined by this.

Definition at line 668 of file section_space_schema_member.h.

References sheaf::schema_poset_member::contains_dof().

◆ contains_dof() [8/10]

bool fiber_bundle::section_space_schema_member::contains_dof ( const scoped_index xother_id,
bool  xin_table_dofs 
) const
inline

True if xother_id is the index of a dof in the table dofs part (xin_table_dofs == true) or in the row dofs part (xin_table_dofs == false) of the schema defined by this.

Definition at line 679 of file section_space_schema_member.h.

References sheaf::schema_poset_member::contains_dof().

◆ contains_dof() [9/10]

bool fiber_bundle::section_space_schema_member::contains_dof ( pod_index_type  xbase_id,
pod_index_type  xfiber_id,
bool  xin_table_dofs 
) const

True if xother_id is the index of a dof in the table dofs part (xin_table_dofs == true) or in the row dofs part (xin_table_dofs == false) of the schema defined by this.

Precondition

Definition at line 1306 of file section_space_schema_member.cc.

References contains_dof().

◆ contains_dof() [10/10]

bool fiber_bundle::section_space_schema_member::contains_dof ( const scoped_index xbase_id,
const scoped_index xfiber_id,
bool  xin_table_dofs 
) const

True if xother_id is the index of a dof in the table dofs part (xin_table_dofs == true) or in the row dofs part (xin_table_dofs == false) of the schema defined by this.

Precondition

Definition at line 1330 of file section_space_schema_member.cc.

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

◆ contains_row_dof() [1/10]

bool fiber_bundle::section_space_schema_member::contains_row_dof ( const schema_poset_member xother) const
inline

True if this is in the row dofs part of the schema defined by this. Synonym for contains_dof(xother, false).

Definition at line 408 of file section_space_schema_member_2.h.

◆ contains_row_dof() [2/10]

bool fiber_bundle::section_space_schema_member::contains_row_dof ( pod_index_type  xother_id) const
inline

True if xother_id is the index of a dof in the row dofs part of the schema defined by this. Synonym for contains_dof(xother_id, false).

Definition at line 460 of file section_space_schema_member_2.h.

◆ contains_row_dof() [3/10]

bool fiber_bundle::section_space_schema_member::contains_row_dof ( const scoped_index xother_id) const
inline

True if xother_id is the index of a dof in the row dofs part of the schema defined by this. Synonym for contains_dof(xother_id, false).

Definition at line 470 of file section_space_schema_member_2.h.

◆ contains_row_dof() [4/10]

bool fiber_bundle::section_space_schema_member::contains_row_dof ( pod_index_type  xbase_id,
pod_index_type  xfiber_id 
) const
inline

True if xother_id is the index of a dof in the row dofs part of the schema defined by this. Synonym for contains_dof(xother_id, false).

Definition at line 522 of file section_space_schema_member_2.h.

◆ contains_row_dof() [5/10]

bool fiber_bundle::section_space_schema_member::contains_row_dof ( const scoped_index xbase_id,
const scoped_index xfiber_id 
) const
inline

True if xother_id is the index of a dof in the row dofs part of the schema defined by this. Synonym for contains_dof(xother_id, false).

Definition at line 533 of file section_space_schema_member_2.h.

References sheaf::schema_poset_member::alignment(), sheaf::abstract_poset_member::attach_to_state(), sheaf::schema_poset_member::offset(), sheaf::schema_poset_member::size(), and sheaf::schema_poset_member::type().

◆ contains_row_dof() [6/10]

bool fiber_bundle::section_space_schema_member::contains_row_dof ( const schema_poset_member xother) const
inline

True if this is in the row dofs part of the schema defined by this. Synonym for contains_dof(xother, false).

Definition at line 657 of file section_space_schema_member.h.

◆ contains_row_dof() [7/10]

bool fiber_bundle::section_space_schema_member::contains_row_dof ( pod_index_type  xother_id) const
inline

True if xother_id is the index of a dof in the row dofs part of the schema defined by this. Synonym for contains_dof(xother_id, false).

Definition at line 709 of file section_space_schema_member.h.

◆ contains_row_dof() [8/10]

bool fiber_bundle::section_space_schema_member::contains_row_dof ( const scoped_index xother_id) const
inline

True if xother_id is the index of a dof in the row dofs part of the schema defined by this. Synonym for contains_dof(xother_id, false).

Definition at line 719 of file section_space_schema_member.h.

◆ contains_row_dof() [9/10]

bool fiber_bundle::section_space_schema_member::contains_row_dof ( pod_index_type  xbase_id,
pod_index_type  xfiber_id 
) const
inline

True if xother_id is the index of a dof in the row dofs part of the schema defined by this. Synonym for contains_dof(xother_id, false).

Definition at line 771 of file section_space_schema_member.h.

◆ contains_row_dof() [10/10]

bool fiber_bundle::section_space_schema_member::contains_row_dof ( const scoped_index xbase_id,
const scoped_index xfiber_id 
) const
inline

True if xother_id is the index of a dof in the row dofs part of the schema defined by this. Synonym for contains_dof(xother_id, false).

Definition at line 782 of file section_space_schema_member.h.

References sheaf::schema_poset_member::alignment(), sheaf::schema_poset_member::offset(), sheaf::schema_poset_member::size(), and sheaf::schema_poset_member::type().

◆ contains_table_dof() [1/10]

bool fiber_bundle::section_space_schema_member::contains_table_dof ( const schema_poset_member xother) const
inline

True if this is in the table dofs part of the schema defined by this. Synonym for contains_dof(xother, true).

Definition at line 399 of file section_space_schema_member_2.h.

◆ contains_table_dof() [2/10]

bool fiber_bundle::section_space_schema_member::contains_table_dof ( pod_index_type  xother_id) const
inline

True if xother_id is the index of a dof in the table dofs part of the schema defined by this. Synonym for contains_dof(xother_id, true).

Definition at line 440 of file section_space_schema_member_2.h.

◆ contains_table_dof() [3/10]

bool fiber_bundle::section_space_schema_member::contains_table_dof ( const scoped_index xother_id) const
inline

True if xother_id is the index of a dof in the table dofs part of the schema defined by this. Synonym for contains_dof(xother_id, true).

Definition at line 450 of file section_space_schema_member_2.h.

◆ contains_table_dof() [4/10]

bool fiber_bundle::section_space_schema_member::contains_table_dof ( pod_index_type  xbase_id,
pod_index_type  xfiber_id 
) const
inline

True if xother_id is the index of a dof in the table dofs part of the schema defined by this. Synonym for contains_dof(xother_id, true).

Definition at line 500 of file section_space_schema_member_2.h.

◆ contains_table_dof() [5/10]

bool fiber_bundle::section_space_schema_member::contains_table_dof ( const scoped_index xbase_id,
const scoped_index xfiber_id 
) const
inline

True if xother_id is the index of a dof in the table dofs part of the schema defined by this. Synonym for contains_dof(xother_id, true).

Definition at line 511 of file section_space_schema_member_2.h.

◆ contains_table_dof() [6/10]

bool fiber_bundle::section_space_schema_member::contains_table_dof ( const schema_poset_member xother) const
inline

True if this is in the table dofs part of the schema defined by this. Synonym for contains_dof(xother, true).

Definition at line 648 of file section_space_schema_member.h.

◆ contains_table_dof() [7/10]

bool fiber_bundle::section_space_schema_member::contains_table_dof ( pod_index_type  xother_id) const
inline

True if xother_id is the index of a dof in the table dofs part of the schema defined by this. Synonym for contains_dof(xother_id, true).

Definition at line 689 of file section_space_schema_member.h.

◆ contains_table_dof() [8/10]

bool fiber_bundle::section_space_schema_member::contains_table_dof ( const scoped_index xother_id) const
inline

True if xother_id is the index of a dof in the table dofs part of the schema defined by this. Synonym for contains_dof(xother_id, true).

Definition at line 699 of file section_space_schema_member.h.

◆ contains_table_dof() [9/10]

bool fiber_bundle::section_space_schema_member::contains_table_dof ( pod_index_type  xbase_id,
pod_index_type  xfiber_id 
) const
inline

True if xother_id is the index of a dof in the table dofs part of the schema defined by this. Synonym for contains_dof(xother_id, true).

Definition at line 749 of file section_space_schema_member.h.

◆ contains_table_dof() [10/10]

bool fiber_bundle::section_space_schema_member::contains_table_dof ( const scoped_index xbase_id,
const scoped_index xfiber_id 
) const
inline

True if xother_id is the index of a dof in the table dofs part of the schema defined by this. Synonym for contains_dof(xother_id, true).

Definition at line 760 of file section_space_schema_member.h.

◆ create_cover_link()

virtual void fiber_bundle::section_space_schema_member::create_cover_link ( abstract_poset_member xlesser)
inlinevirtual

Insert a link from lesser to this (i.e. lesser <= greater). /.

Error:
host is immutable; remove this member. /

Not Implemented.

Reimplemented from sheaf::abstract_poset_member.

Definition at line 1044 of file section_space_schema_member.h.

◆ db() [1/2]

int fiber_bundle::section_space_schema_member::db ( ) const

The dimension of the base space component.

◆ db() [2/2]

◆ delete_cover_link()

virtual void fiber_bundle::section_space_schema_member::delete_cover_link ( abstract_poset_member lesser)
inlinevirtual

Delete a link from lesser to this (i.e. lesser <= greater). /.

Error:
host is immutable; remove this member. /

Not Implemented.

Reimplemented from sheaf::abstract_poset_member.

Definition at line 1053 of file section_space_schema_member.h.

◆ delete_state()

virtual void fiber_bundle::section_space_schema_member::delete_state ( bool  xauto_access = false)
inlinevirtual

Detach this from its state and delete the state. /.

Todo:
host is immutable; remove this function /

Not Implemented.

Reimplemented from sheaf::abstract_poset_member.

Definition at line 1365 of file section_space_schema_member.h.

◆ detach_from_state() [1/2]

virtual void fiber_bundle::section_space_schema_member::detach_from_state ( )
virtual

Detach this handle from its state, if any.

Reimplemented from sheaf::schema_poset_member.

◆ detach_from_state() [2/2]

◆ df() [1/4]

int fiber_bundle::section_space_schema_member::df ( ) const

The dimension of the fiber space component.

◆ df() [2/4]

int fiber_bundle::section_space_schema_member::df ( bool  xauto_access)

The dimension of the fiber space component.

◆ df() [3/4]

int fiber_bundle::section_space_schema_member::df ( ) const

The dimension of the fiber space component.

Precondition
Postcondition
  • result >= 0

Definition at line 570 of file section_space_schema_member.cc.

Referenced by geometry::array_cylindrical_point_locator::array_cylindrical_point_locator(), tool::vtk_abstract_grid_builder::build(), tool::vtk_poly_data_builder::build(), tool::vtk_poly_data_builder::build_file(), tool::vtk_poly_data_builder::build_pa(), tool::vtk_unstructured_grid_builder::build_pa(), geometry::d_array_point_locator< DC, DB >::d_array_point_locator(), geometry::d_tree_point_locator< DC, DB >::d_tree_point_locator(), geometry::db0_point_locator< DC >::db0_point_locator(), fields::field_vd::dc(), discretization_ct(), fields::field_vd::dp(), fiber_bundle::sec_vd_algebra::extrema(), fields::field_eval_iterator::gather_coordinate_dofs(), fiber_bundle::eval_iterator::gather_dofs(), fiber_bundle::section_eval_iterator::gather_dofs(), fields::property_disc_iterator_1_1::get_prop_disc_values(), fields::property_disc_iterator_4_2::get_prop_disc_values(), fields::property_disc_iterator_4_3::get_prop_disc_values(), fields::property_disc_iterator::get_prop_disc_values(), fields::property_disc_iterator_1_2::get_prop_disc_values(), fields::property_disc_iterator_1_3::get_prop_disc_values(), fields::average_base_space_map_push_action::initialize(), fiber_bundle::section_iteration_state::initialize(), geometry::sec_ed_invertible::initialize_d_array_point_locator(), tool::vtk_unstructured_grid_builder::is_tensor(), fields::section_pusher_push_action::operator()(), fields::copy_push_action::operator()(), fields::constant_push_action::operator()(), fields::average_push_action::operator()(), geometry::sec_ed_invertible::point_at_value(), geometry::sec_ed_invertible::point_at_value_pa(), geometry::point_locator::point_locator(), fields::print_property_dofs_action::print_property_dofs_action(), fields::discretization_pusher::push(), fields::field_vd::put_property_dofs(), fields::put_property_dofs_action::put_property_dofs_action(), fields::refining_section_pusher::same_fiber(), fields::base_space_map::same_fiber(), fields::section_pusher::same_fiber(), fields::body_pusher::same_fiber(), fiber_bundle::eval_iterator::scatter_dofs(), fiber_bundle::section_eval_iterator::scatter_dofs(), tool::visualization_iterator_1_1::set_vtk_data(), tool::visualization_iterator_4_2::set_vtk_data(), tool::visualization_iterator_4_3::set_vtk_data(), tool::visualization_iterator_1_3::set_vtk_data(), and tool::visualization_iterator::set_vtk_data().

◆ df() [4/4]

int fiber_bundle::section_space_schema_member::df ( bool  xauto_access)

The dimension of the fiber space component.

Precondition
  • state_is_auto_read_accessible(xauto_access)
Postcondition
  • result >= 0

Definition at line 593 of file section_space_schema_member.cc.

References discretization().

◆ discretization() [1/4]

subposet& fiber_bundle::section_space_schema_member::discretization ( )

The discretization subposet for section spaces on this schema (mutable version).

◆ discretization() [2/4]

const subposet& fiber_bundle::section_space_schema_member::discretization ( ) const

The discretization subposet for section spaces on this schema (const version).

◆ discretization() [3/4]

◆ discretization() [4/4]

const sheaf::subposet & fiber_bundle::section_space_schema_member::discretization ( ) const

The discretization subposet for section spaces on this schema (const version).

Definition at line 643 of file section_space_schema_member.cc.

References same_discretization().

◆ discretization_ct() [1/2]

int fiber_bundle::section_space_schema_member::discretization_ct ( ) const

The number of members in the intersection of the discretization subposet and the down set of the base space component.

◆ discretization_ct() [2/2]

◆ discretization_id_space() [1/8]

const index_space_handle& fiber_bundle::section_space_schema_member::discretization_id_space ( ) const

The id space for the discretization members in the down set of the base space of this (const version).

◆ discretization_id_space() [2/8]

const index_space_handle& fiber_bundle::section_space_schema_member::discretization_id_space ( bool  xauto_access) const

The id space for the discretization members in the down set of the base space of this (const version).

◆ discretization_id_space() [3/8]

index_space_handle& fiber_bundle::section_space_schema_member::discretization_id_space ( )

The id space for the discretization members in the down set of the base space of this (mutable version).

◆ discretization_id_space() [4/8]

index_space_handle& fiber_bundle::section_space_schema_member::discretization_id_space ( bool  xauto_access)

The id space for the discretization members in the down set of the base space of this (mutable version).

◆ discretization_id_space() [5/8]

◆ discretization_id_space() [6/8]

const sheaf::index_space_handle & fiber_bundle::section_space_schema_member::discretization_id_space ( bool  xauto_access) const

The id space for the discretization members in the down set of the base space of this (const version).

Precondition
  • state_is_auto_read_accessible(xauto_access)

Definition at line 1558 of file section_space_schema_member.cc.

References discretization_id_space().

◆ discretization_id_space() [7/8]

sheaf::index_space_handle & fiber_bundle::section_space_schema_member::discretization_id_space ( )

The id space for the discretization members in the down set of the base space of this (mutable version).

Precondition

Definition at line 1593 of file section_space_schema_member.cc.

References discretization_id_space().

◆ discretization_id_space() [8/8]

sheaf::index_space_handle & fiber_bundle::section_space_schema_member::discretization_id_space ( bool  xauto_access)

The id space for the discretization members in the down set of the base space of this (mutable version).

Precondition
  • state_is_auto_read_accessible(xauto_access)

Definition at line 1618 of file section_space_schema_member.cc.

References fiber_schema_id_space().

◆ dof_descriptors() [1/2]

virtual dof_descriptor_array* fiber_bundle::section_space_schema_member::dof_descriptors ( bool  xis_table_dof) const
protectedpure virtual

The dof_descriptors_array for the table dof tuple (xis_table_dof true) or row dof tuple defined by this schema. The offsets in the descriptors are defined by post-ordered, contiguous, properly aligned allocation of the dofs. Note: although returned by pointer, the client must not delete the dof offsets array. Not implemented for xis_table_dof false.

Todo:
Remove.

Implemented in fiber_bundle::binary_section_space_schema_member, and fiber_bundle::product_section_space_schema_member.

◆ dof_descriptors() [2/2]

virtual dof_descriptor_array* fiber_bundle::section_space_schema_member::dof_descriptors ( bool  xis_table_dof) const
pure virtual

The dof_descriptors_array for the table dof tuple (xis_table_dof true) or row dof tuple defined by this schema. The offsets in the descriptors are defined by post-ordered, contiguous, properly aligned allocation of the dofs. Note: although returned by pointer, the client must not delete the dof offsets array. Not implemented for xis_table_dof false.

Implemented in fiber_bundle::binary_section_space_schema_member, and fiber_bundle::product_section_space_schema_member.

◆ dof_iterator() [1/2]

virtual poset_dof_iterator* fiber_bundle::section_space_schema_member::dof_iterator ( bool  xis_table_dofs,
int  xversion = CURRENT_MEMBER_VERSION 
) const
pure virtual

A postorder iterator over the table (xis_table_dofs == true) or row (xis_table_dofs == false) dofs defined by version version of this.

Todo:
Remove.

Reimplemented from sheaf::schema_poset_member.

Implemented in fiber_bundle::binary_section_space_schema_member, and fiber_bundle::product_section_space_schema_member.

◆ dof_iterator() [2/2]

fiber_bundle::section_dof_iterator * fiber_bundle::section_space_schema_member::dof_iterator ( bool  xis_table_dofs,
int  xversion = CURRENT_MEMBER_VERSION 
) const
virtual

A postorder iterator over the table (xis_table_dofs == true) or row (xis_table_dofs == false) dofs defined by this.

Precondition
  • has_version(xversion)
Postcondition
  • result != 0

Reimplemented from sheaf::schema_poset_member.

Reimplemented in fiber_bundle::binary_section_space_schema_member, and fiber_bundle::product_section_space_schema_member.

Definition at line 893 of file section_space_schema_member.cc.

References conforms_to().

Referenced by intersection_id_space_name().

◆ dof_tuple_type()

virtual primitive_type fiber_bundle::section_space_schema_member::dof_tuple_type ( bool  xis_table_dof) const
pure virtual

The type of table dofs (xis_table_dof == true) or row dofs (xis_table_dof == false) defined by this schema. Returns NOT_A_PRIMITIVE_TYPE if the dofs are not all the same type.

Reimplemented from sheaf::schema_poset_member.

Implemented in fiber_bundle::binary_section_space_schema_member.

◆ down()

sheaf::subposet * fiber_bundle::section_space_schema_member::down ( ) const
virtual

The down set of this member, auto- and pre-allocated versions.

Precondition
Not Implemented.
  • result != 0
  • postcondition_of(down_pa)

Reimplemented from sheaf::abstract_poset_member.

Definition at line 2272 of file section_space_schema_member.cc.

References down_pa().

Referenced by down_ct().

◆ down_ct()

int fiber_bundle::section_space_schema_member::down_ct ( pod_index_type  xfilter_index) const
virtual

The number of members in the down set of this member, filtered by the subposet in host() with index xfilter_index.

Postcondition
  • result > 0

Reimplemented from sheaf::abstract_poset_member.

Definition at line 2251 of file section_space_schema_member.cc.

References down().

◆ down_pa()

void fiber_bundle::section_space_schema_member::down_pa ( subposet result) const
virtual

The down set of this member, auto- and pre-allocated versions.

Not Implemented.

Postcondition
  • -unexecutable( result is down set of this )

Reimplemented from sheaf::abstract_poset_member.

Definition at line 2300 of file section_space_schema_member.cc.

References sheaf::subposet::invariant(), and sheaf::abstract_poset_member::up_ct().

Referenced by down().

◆ evaluation() [1/4]

subposet& fiber_bundle::section_space_schema_member::evaluation ( )

The evaluation subposet for section spaces on this schema (mutable version).

◆ evaluation() [2/4]

const subposet& fiber_bundle::section_space_schema_member::evaluation ( ) const

The evaluation subposet for section spaces on this schema (const version).

◆ evaluation() [3/4]

sheaf::subposet & fiber_bundle::section_space_schema_member::evaluation ( )

◆ evaluation() [4/4]

const sheaf::subposet & fiber_bundle::section_space_schema_member::evaluation ( ) const

The evaluation subposet for section spaces on this schema (const version).

Definition at line 751 of file section_space_schema_member.cc.

References same_evaluation().

◆ evaluation_ct() [1/2]

int fiber_bundle::section_space_schema_member::evaluation_ct ( ) const

The number of members in the intersection of the evaluation subposet and the down set of the base space component.

◆ evaluation_ct() [2/2]

int fiber_bundle::section_space_schema_member::evaluation_ct ( ) const

◆ evaluator_family_name() [1/2]

string fiber_bundle::section_space_schema_member::evaluator_family_name ( ) const

The name of the evaluator family for section spaces on schemae hosted by this.

◆ evaluator_family_name() [2/2]

◆ fiber_schema() [1/4]

schema_poset_member& fiber_bundle::section_space_schema_member::fiber_schema ( )

The fiber schema component of this (mutable version).

◆ fiber_schema() [2/4]

const schema_poset_member& fiber_bundle::section_space_schema_member::fiber_schema ( ) const

The fiber schema component of this (const version).

◆ fiber_schema() [3/4]

sheaf::schema_poset_member & fiber_bundle::section_space_schema_member::fiber_schema ( )

The fiber schema component of this (mutable version).

Precondition

Definition at line 412 of file section_space_schema_member.cc.

Referenced by fiber_bundle::product_section_space_schema_member::alignment(), fiber_bundle::binary_section_space_schema_member::alignment(), fiber_bundle::binary_section_space_schema_member::attach_to_state(), fiber_bundle::binary_section_space_schema_member::binary_section_space_schema_member(), fiber_bundle::binary_section_space_schema_member::dof_descriptors(), fiber_bundle::binary_section_space_schema_member::dof_map(), fiber_bundle::product_section_space_schema_member::dof_map(), fiber_bundle::binary_section_space_schema_member::dof_tuple_type(), fiber_bundle::binary_section_space_schema_member::ext_data_type_schema(), fiber_bundle::product_section_space_schema_member::ext_data_type_schema(), fiber_schema_conforms_to(), fiber_schema_id(), 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(), fiber_bundle::binary_section_space_schema_member::get_ext_ids(), fiber_bundle::product_section_space_schema_member::get_ext_ids(), fiber_bundle::section_component_iterator::has_visited(), fiber_bundle::binary_section_space_schema_member::is_dof(), tool::vtk_unstructured_grid_builder::is_scalar(), tool::vtk_unstructured_grid_builder::is_tensor(), tool::vtk_unstructured_grid_builder::is_vector(), fiber_bundle::product_section_space_schema_member::offset(), fiber_bundle::section_dof_iterator::put_anchor(), fiber_bundle::section_component_iterator::put_anchor(), 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(), fiber_bundle::array_section_dof_map::put_dof_tuple(), fiber_bundle::array_section_dof_map::reserve_fiber(), fiber_bundle::section_eval_iterator::reset(), fields::refining_section_pusher::same_fiber(), fields::base_space_map::same_fiber(), fields::section_pusher::same_fiber(), fields::body_pusher::same_fiber(), same_fiber_schema(), fields::field_stp::same_property_fiber_schema(), fields::field_t2::same_property_fiber_schema(), fields::field_st4_e2::same_property_fiber_schema(), fields::field_st4::same_property_fiber_schema(), fields::field_st3_e3::same_property_fiber_schema(), fields::field_t2_e2::same_property_fiber_schema(), fields::field_st2_e3::same_property_fiber_schema(), fields::field_st2_e2::same_property_fiber_schema(), fields::field_st2::same_property_fiber_schema(), fields::field_t3::same_property_fiber_schema(), fields::field_met_e3::same_property_fiber_schema(), fields::field_jcb_ed::same_property_fiber_schema(), fields::field_ed::same_property_fiber_schema(), fields::field_e3_uniform::same_property_fiber_schema(), fields::field_met_ed::same_property_fiber_schema(), fields::field_t4_e3::same_property_fiber_schema(), fields::field_jcb_e13::same_property_fiber_schema(), fields::field_at2::same_property_fiber_schema(), fields::field_t2_e3::same_property_fiber_schema(), fields::field_tp::same_property_fiber_schema(), fields::field_e4::same_property_fiber_schema(), fields::field_t4::same_property_fiber_schema(), fields::field_e3::same_property_fiber_schema(), fields::field_e2_uniform::same_property_fiber_schema(), fields::field_e2::same_property_fiber_schema(), fields::field_e1_uniform::same_property_fiber_schema(), fields::field_e1::same_property_fiber_schema(), fields::field_st4_e3::same_property_fiber_schema(), fields::field_at3_e3::same_property_fiber_schema(), fields::field_st3::same_property_fiber_schema(), fields::field_at2_e3::same_property_fiber_schema(), fields::field_at2_e2::same_property_fiber_schema(), fields::field_at0::same_property_fiber_schema(), fields::field_t3_e3::same_property_fiber_schema(), fields::field_jcb::same_property_fiber_schema(), fields::field_at1::same_property_fiber_schema(), fields::field_met_e2::same_property_fiber_schema(), fields::field_t4_e2::same_property_fiber_schema(), fields::field_met_e1::same_property_fiber_schema(), fields::field_met::same_property_fiber_schema(), fields::field_atp::same_property_fiber_schema(), fields::field_jcb_e23::same_property_fiber_schema(), fields::field_at3::same_property_fiber_schema(), fields::field_jcb_e33::same_property_fiber_schema(), fields::field_vd::same_property_fiber_schema(), fiber_bundle::product_section_space_schema_member::size(), fiber_bundle::binary_section_space_schema_member::size(), fiber_bundle::binary_section_space_schema_member::type(), fiber_bundle::product_section_space_schema_member::type(), fiber_bundle::product_section_space_schema_member::update_row_cache(), fiber_bundle::binary_section_space_schema_member::update_row_cache(), and fiber_bundle::product_section_space_schema_member::update_row_dof_id_space().

◆ fiber_schema() [4/4]

const sheaf::schema_poset_member & fiber_bundle::section_space_schema_member::fiber_schema ( ) const

The fiber schema component of this (const version).

Precondition

Definition at line 419 of file section_space_schema_member.cc.

References same_fiber_schema().

◆ fiber_schema_conforms_to()

bool fiber_bundle::section_space_schema_member::fiber_schema_conforms_to ( const namespace_poset xns,
const poset_path xpath,
const poset_path xfiber_schema_path,
bool  xauto_access = true 
)
static

True if the fiber schema associated with xpath conforms to xfiber_schema_path.

Precondition
  • !xauto_access ? xns.state_is_read_accessible() : true
  • xpath.full()
  • xns.contains_poset_member(xpath)
Hack:
only binary schema supported.
Precondition
  • dynamic_cast<binary_section_space_schema_poset*>(&xns.member_poset(xpath)) != 0
  • xns.contains_poset_member(xfiber_schema_path)

Definition at line 953 of file section_space_schema_member.cc.

References sheaf::namespace_poset::contains_poset_member(), detach_from_state(), fiber_schema(), sheaf::poset_path::full(), sheaf::poset_state_handle::get_read_access(), sheaf::namespace_poset::get_read_access(), sheaf::namespace_poset::member_poset(), sheaf::poset_component::path(), sheaf::poset_state_handle::release_access(), sheaf::namespace_poset::release_access(), section_space_schema_member(), and sheaf::read_write_monitor_handle::state_is_read_accessible().

Referenced by conforms_to().

◆ fiber_schema_id() [1/4]

pod_index_type fiber_bundle::section_space_schema_member::fiber_schema_id ( ) const

The member id of the fiber schema component of this.

◆ fiber_schema_id() [2/4]

void fiber_bundle::section_space_schema_member::fiber_schema_id ( scoped_index result) const

The member id of the fiber schema component of this.

◆ fiber_schema_id() [3/4]

◆ fiber_schema_id() [4/4]

void fiber_bundle::section_space_schema_member::fiber_schema_id ( scoped_index result) const

The member id of the fiber schema component of this.

Postcondition

Definition at line 393 of file section_space_schema_member.cc.

References fiber_schema(), sheaf::scoped_index::put(), and sheaf::scoped_index::same_scope().

◆ fiber_schema_id_space() [1/4]

const index_space_handle& fiber_bundle::section_space_schema_member::fiber_schema_id_space ( bool  xis_table_dofs) const

The id space for the dofs in the down set of the fiber schema of this.

◆ fiber_schema_id_space() [2/4]

const index_space_handle& fiber_bundle::section_space_schema_member::fiber_schema_id_space ( bool  xis_table_dofs,
bool  xauto_access 
) const

The id space for the dofs in the down set of the fiber schema of this.

◆ fiber_schema_id_space() [3/4]

◆ fiber_schema_id_space() [4/4]

const sheaf::index_space_handle & fiber_bundle::section_space_schema_member::fiber_schema_id_space ( bool  xis_table_dofs,
bool  xauto_access 
) const

The id space for the dofs in the down set of the fiber schema of this.

Precondition
  • state_is_auto_read_accessible(xauto_access)

Definition at line 1673 of file section_space_schema_member.cc.

References size().

◆ fiber_size() [1/4]

size_type fiber_bundle::section_space_schema_member::fiber_size ( ) const

The number of bytes in the fiber.

◆ fiber_size() [2/4]

size_type fiber_bundle::section_space_schema_member::fiber_size ( bool  xauto_access) const

The number of bytes in the fiber.

◆ fiber_size() [3/4]

◆ fiber_size() [4/4]

sheaf::size_type fiber_bundle::section_space_schema_member::fiber_size ( bool  xauto_access) const

The number of bytes in the fiber.

Precondition
  • state_is_auto_read_accessible(xauto_access)

Definition at line 2045 of file section_space_schema_member.cc.

References component_size().

◆ fiber_space() [1/6]

poset& fiber_bundle::section_space_schema_member::fiber_space ( )

The fiber space for section spaces on this schema (mutable version).

◆ fiber_space() [2/6]

const poset& fiber_bundle::section_space_schema_member::fiber_space ( ) const

The fiber space for section spaces on this schema (const version).

◆ fiber_space() [3/6]

sheaf::poset & fiber_bundle::section_space_schema_member::fiber_space ( )

The fiber space for section spaces on this schema (mutable version).

Precondition

Definition at line 450 of file section_space_schema_member.cc.

Referenced by attach_to_state(), fields::body_pusher::body_pusher(), fiber_space(), fiber_bundle::sec_e1_uniform::new_host(), fiber_bundle::sec_e2_uniform::new_host(), fiber_bundle::sec_e3_uniform::new_host(), fiber_bundle::sec_met::new_host(), fiber_bundle::sec_met_ed::new_host(), fiber_bundle::sec_jcb_ed::new_host(), fiber_bundle::sec_t2::new_host(), fiber_bundle::sec_t3::new_host(), fiber_bundle::sec_t4::new_host(), fiber_bundle::sec_at2::new_host(), fiber_bundle::sec_st2::new_host(), fiber_bundle::sec_at3::new_host(), fiber_bundle::sec_st3::new_host(), fiber_bundle::sec_st4::new_host(), fiber_bundle::sec_ed::new_host(), fiber_bundle::sec_stp::new_host(), fiber_bundle::sec_at1::new_host(), fiber_bundle::sec_atp::new_host(), fiber_bundle::sec_e1::new_host(), fiber_bundle::sec_t2_e2::new_host(), fiber_bundle::sec_at2_e2::new_host(), fiber_bundle::sec_met_e1::new_host(), fiber_bundle::sec_met_e2::new_host(), fiber_bundle::sec_e3::new_host(), fiber_bundle::sec_st2_e3::new_host(), fiber_bundle::sec_st3_e3::new_host(), fiber_bundle::sec_e4::new_host(), fiber_bundle::sec_st4_e2::new_host(), fiber_bundle::sec_st4_e3::new_host(), fiber_bundle::sec_t2_e3::new_host(), fiber_bundle::sec_t3_e3::new_host(), fiber_bundle::sec_t4_e2::new_host(), fiber_bundle::sec_t4_e3::new_host(), fiber_bundle::sec_e2::new_host(), fiber_bundle::sec_at2_e3::new_host(), fiber_bundle::sec_met_e3::new_host(), fiber_bundle::sec_st2_e2::new_host(), fiber_bundle::sec_at3_e3::new_host(), fiber_bundle::sec_at0::new_host(), fiber_bundle::sec_jcb_e13::new_host(), fiber_bundle::sec_jcb_e33::new_host(), fiber_bundle::sec_jcb_e23::new_host(), fiber_bundle::sec_tp::new_host(), fiber_bundle::sec_jcb::new_host(), fiber_bundle::sec_vd::new_host(), fiber_bundle::sec_tuple::new_host(), fiber_bundle::sec_atp_space::new_table(), fiber_bundle::sec_at1_space::new_table(), fiber_bundle::sec_stp_space::new_table(), fiber_bundle::sec_at0_space::new_table(), fiber_bundle::sec_vd_space::new_table(), fiber_bundle::sec_tp_space::new_table(), fiber_bundle::sec_tuple_space::new_table(), fiber_bundle::sec_jcb_space::new_table(), fiber_bundle::operator<<(), fiber_bundle::print_prereq_paths(), same_fiber_schema(), fiber_bundle::sec_vd_space::same_scalar_fiber_space(), fiber_bundle::sec_jcb_space::same_vector_fiber_space(), fiber_bundle::sec_e1_uniform::standard_host(), fiber_bundle::sec_e2_uniform::standard_host(), fiber_bundle::sec_e3_uniform::standard_host(), fiber_bundle::sec_st4_e3::standard_host(), fiber_bundle::sec_met_e2::standard_host(), fiber_bundle::sec_at2_e2::standard_host(), fiber_bundle::sec_e1::standard_host(), fiber_bundle::sec_t2_e2::standard_host(), fiber_bundle::sec_met_e1::standard_host(), fiber_bundle::sec_e4::standard_host(), fiber_bundle::sec_e3::standard_host(), fiber_bundle::sec_st2_e3::standard_host(), fiber_bundle::sec_st3_e3::standard_host(), fiber_bundle::sec_st4_e2::standard_host(), fiber_bundle::sec_e2::standard_host(), fiber_bundle::sec_t2_e3::standard_host(), fiber_bundle::sec_st2_e2::standard_host(), fiber_bundle::sec_at3_e3::standard_host(), fiber_bundle::sec_met_e3::standard_host(), fiber_bundle::sec_t4_e2::standard_host(), fiber_bundle::sec_at2_e3::standard_host(), fiber_bundle::sec_t4_e3::standard_host(), fiber_bundle::sec_t3_e3::standard_host(), fiber_bundle::sec_at0::standard_host(), fiber_bundle::sec_jcb_e33::standard_host(), fiber_bundle::sec_jcb_e13::standard_host(), and fiber_bundle::sec_jcb_e23::standard_host().

◆ fiber_space() [4/6]

const sheaf::poset & fiber_bundle::section_space_schema_member::fiber_space ( ) const

The fiber space for section spaces on this schema (const version).

Precondition

Definition at line 469 of file section_space_schema_member.cc.

References db().

◆ fiber_space() [5/6]

template<typename F >
F & fiber_bundle::section_space_schema_member::fiber_space ( )

The fiber space for section spaces on this schema, downcast to fiber space type F.

Precondition
  • dynamic_cast<F*>(&fiber_space()) != 0

Definition at line 27 of file section_space_schema_member.impl.h.

References fiber_space().

◆ fiber_space() [6/6]

template<typename F >
const F & fiber_bundle::section_space_schema_member::fiber_space ( ) const

The fiber space for section spaces on this schema, downcast to fiber space type F, const version.

Precondition
  • dynamic_cast<F*>(&fiber_space()) != 0

Definition at line 47 of file section_space_schema_member.impl.h.

References fiber_space().

◆ get_ext_id() [1/2]

virtual pod_index_type fiber_bundle::section_space_schema_member::get_ext_id ( const std::string &  xid_space_name) const
virtual

Gets an external id corresponding to index() in the id space with name xid_space_name. /.

Hack:
the product subposet hack, version 2. / This member exists only to encapsulate the hack. /

Reimplemented from sheaf::schema_poset_member.

◆ get_ext_id() [2/2]

sheaf::pod_index_type fiber_bundle::section_space_schema_member::get_ext_id ( const std::string &  xid_space_name) const
virtual

Gets an external id corresponding to index() in the id space with name xid_space_name. /.

Hack:
the product subposet hack, version 2. / This member exists only to encapsulate the hack. /
Precondition
Hack:
product subposet hack, ver 2. Section space schema member external ids are really base space external ids.
Precondition
Error:
product subposet hack, ver 2 The base space schema member can not be a implicit member or the host()->base_space().get_ext_id(base_space_id(), xid_space_name, false) will violate a precondition. The following precondition has been added to publish this error.
Precondition
Postcondition
  • result >= 0

Reimplemented from sheaf::schema_poset_member.

Definition at line 2146 of file section_space_schema_member.cc.

References unrestricted_schema().

Referenced by component_size(), fiber_bundle::binary_section_space_schema_member::get_int_id(), and update_table_dof_descriptors().

◆ greatest_jem()

section_space_schema_member* fiber_bundle::section_space_schema_member::greatest_jem ( ) const
inline

The largest member which is join-equivalent to this.

Definition at line 1061 of file section_space_schema_member.h.

References sheaf::abstract_poset_member::greatest_jem().

◆ host() [1/2]

section_space_schema_poset* fiber_bundle::section_space_schema_member::host ( ) const
inline

The poset which this is a handle to a component of.

Definition at line 905 of file section_space_schema_member_2.h.

References sheaf::poset_component::host().

◆ host() [2/2]

section_space_schema_poset* fiber_bundle::section_space_schema_member::host ( ) const
inline

The poset which this is a handle to a component of.

Definition at line 1387 of file section_space_schema_member.h.

References sheaf::poset_component::host().

Referenced by attach_to_state(), fields::base_space_map::base_space_map(), fields::body_pusher::body_pusher(), fields::field_vd::delete_field_spaces(), fields::field_factory::delete_field_spaces(), fiber_bundle::sec_vd_algebra::extrema(), fiber_bundle::sparse_field_dof_map::get_discretization_dofs(), fiber_bundle::sparse_field_dof_map::get_dof(), fiber_bundle::section_component_iterator::has_visited(), fiber_bundle::section_eval_iterator::has_visited(), fiber_bundle::product_section_space_schema_member::host(), fiber_bundle::binary_section_space_schema_member::host(), fiber_bundle::section_iteration_state::initialize(), fields::field_eval_iterator::initialize_coordinate_schema(), fiber_bundle::eval_iterator::initialize_schema_anchor(), geometry::array_cylindrical_point_locator::is_dlinear_quads(), geometry::array_cylindrical_point_locator::is_dlinear_triangles(), tool::vtk_unstructured_grid_builder::is_tensor(), fiber_bundle::sec_rep_space_member::new_jrm_state(), fiber_bundle::operator<<(), fiber_bundle::sec_at1_space::prereq_id(), fiber_bundle::sec_at0_space::prereq_id(), fiber_bundle::sec_jcb_space::prereq_id(), fiber_bundle::sec_vd_space::prereq_id(), fiber_bundle::sec_tp_space::prereq_id(), tool::visualization_iterator::put_anchor(), fiber_bundle::section_dof_iterator::put_anchor(), fiber_bundle::section_component_iterator::put_anchor(), fiber_bundle::sparse_field_dof_map::put_discretization_dofs(), fiber_bundle::sparse_field_dof_map::put_dof(), fiber_bundle::eval_iterator::put_schema_anchor(), fiber_bundle::section_eval_iterator::reset(), fiber_bundle::section_dof_iterator::section_dof_iterator(), fiber_bundle::section_dof_map::section_dof_map(), fiber_bundle::section_eval_iterator::section_eval_iterator(), and geometry::db0_point_locator< DC >::update().

◆ host_is_ancestor_of() [1/2]

virtual bool fiber_bundle::section_space_schema_member::host_is_ancestor_of ( const poset_state_handle other) const
virtual

◆ host_is_ancestor_of() [2/2]

bool fiber_bundle::section_space_schema_member::host_is_ancestor_of ( const poset_state_handle other) const
virtual

True if other conforms to host.

Reimplemented from sheaf::poset_component.

Reimplemented in fiber_bundle::binary_section_space_schema_member, and fiber_bundle::product_section_space_schema_member.

Definition at line 2849 of file section_space_schema_member.cc.

References is_ancestor_of().

Referenced by attach_to_state(), and detach_from_state().

◆ intersection_id_space_name() [1/4]

static string fiber_bundle::section_space_schema_member::intersection_id_space_name ( const subposet xsp,
const pod_index_type  xindex 
)
static

The name of the id space for intersection of xsp with the down set of the member with index xindex.

◆ intersection_id_space_name() [2/4]

static string fiber_bundle::section_space_schema_member::intersection_id_space_name ( const subposet xsp,
const scoped_index xindex 
)
static

The name of the id space for intersection of xsp with the down set of the member with index xindex.

◆ intersection_id_space_name() [3/4]

string fiber_bundle::section_space_schema_member::intersection_id_space_name ( const subposet xsp,
const pod_index_type  xhub_id 
)
static

The name of the id space for intersection of xsp with the down set of the member with hub id xhub_id.

Precondition
  • xsp.state_is_read_accessible()
Postcondition
  • !result.empty()

Definition at line 838 of file section_space_schema_member.cc.

References sheaf::subposet::name(), and sheaf::read_write_monitor_handle::state_is_read_accessible().

Referenced by evaluator_family_name(), is_factorable(), fiber_bundle::product_section_space_schema_member::update_row_cache(), and fiber_bundle::product_section_space_schema_member::update_row_cache_without_disc_id_space().

◆ intersection_id_space_name() [4/4]

string fiber_bundle::section_space_schema_member::intersection_id_space_name ( const subposet xsp,
const scoped_index xid 
)
static

The name of the id space for intersection of xsp with the down set of the member with id xid.

Precondition
  • xsp.state_is_read_accessible()
  • xid.in_scope()
Postcondition
  • !result.empty()

Definition at line 870 of file section_space_schema_member.cc.

References dof_iterator(), sheaf::scoped_index::hub_pod(), sheaf::scoped_index::in_scope(), sheaf::subposet::name(), and sheaf::read_write_monitor_handle::state_is_read_accessible().

◆ invariant() [1/2]

virtual bool fiber_bundle::section_space_schema_member::invariant ( ) const
virtual

◆ invariant() [2/2]

bool fiber_bundle::section_space_schema_member::invariant ( ) const
virtual

◆ is_ancestor_of() [1/2]

virtual bool fiber_bundle::section_space_schema_member::is_ancestor_of ( const any other) const
virtual

◆ is_ancestor_of() [2/2]

bool fiber_bundle::section_space_schema_member::is_ancestor_of ( const any other) const
virtual

True if other conforms to this.

Reimplemented from sheaf::schema_poset_member.

Reimplemented in fiber_bundle::binary_section_space_schema_member, and fiber_bundle::product_section_space_schema_member.

Definition at line 2879 of file section_space_schema_member.cc.

References invariant().

Referenced by attach_to_state(), and host_is_ancestor_of().

◆ is_dof()

virtual bool fiber_bundle::section_space_schema_member::is_dof ( bool  xin_table_dofs) const
pure virtual

True if this is in the table dofs part (xin_table_dofs == true) or in the row dofs part (xin_table_dofs == false) of some schema.

Reimplemented from sheaf::schema_poset_member.

Implemented in fiber_bundle::binary_section_space_schema_member.

◆ is_factorable()

◆ is_multivalued()

bool fiber_bundle::section_space_schema_member::is_multivalued ( ) const

Switch that tells the user if the multivalued subposet exists.

Definition at line 683 of file section_space_schema_member.cc.

References multivalued().

Referenced by fiber_bundle::discretization_iterator::is_multivalued(), and same_discretization().

◆ jim_ct()

int fiber_bundle::section_space_schema_member::jim_ct ( ) const
virtual

The number of members in the set of jims contained in the down set of this member.

Postcondition
  • is_jem(&(host()->bottom())) ? result == 0 : result > 0

Reimplemented from sheaf::abstract_poset_member.

Definition at line 2397 of file section_space_schema_member.cc.

References jims().

Referenced by up_pa().

◆ jims()

sheaf::subposet * fiber_bundle::section_space_schema_member::jims ( )
virtual

The set of jims contained in the down set of this member, auto-allocated.

Precondition
Not Implemented.
Postcondition
  • result != 0
  • postcondition_of(jims_pa)

Reimplemented from sheaf::abstract_poset_member.

Definition at line 2418 of file section_space_schema_member.cc.

References jims_pa().

Referenced by jim_ct().

◆ jims_pa()

void fiber_bundle::section_space_schema_member::jims_pa ( subposet result)
virtual

The set of jims contained in the down set of this member, pre-allocated.

Precondition
Not Implemented.
Postcondition
  • -unexecutable( result is jims set of this )

Reimplemented from sheaf::abstract_poset_member.

Definition at line 2446 of file section_space_schema_member.cc.

References sheaf::subposet::invariant(), and maximal_jim_ct().

Referenced by jims().

◆ l_join()

section_space_schema_member* fiber_bundle::section_space_schema_member::l_join ( abstract_poset_member other,
bool  xnew_jem = true 
)
inline

lattice join of this with other, auto-, pre-, and self-allocated versions the lattice join is the least upper bound in the lattice generated by the jims in the poset

Error:
host is immutable; does not support lattice algebra; remove this facet.

Not Implemented.

Definition at line 1233 of file section_space_schema_member.h.

◆ l_meet()

section_space_schema_member* fiber_bundle::section_space_schema_member::l_meet ( abstract_poset_member other,
bool  xnew_jem = true 
)
inline

lattice meet of this with other, auto-, pre-, and self-allocated versions the lattice meet is the greatest lower bound in the lattice generated by the jims in the poset

Not Implemented.

Definition at line 1244 of file section_space_schema_member.h.

◆ l_not()

section_space_schema_member* fiber_bundle::section_space_schema_member::l_not ( bool  xnew_jem = true) const
inline

lattice pseudo-complement of this, auto-, pre- and self allocated versions The lattice pseudo-complement is the largest lattice member m for which this.l_meet(m) = 0

Not Implemented.

Definition at line 1255 of file section_space_schema_member.h.

References sheaf::abstract_poset_member::attach_to_state().

◆ least_jem()

section_space_schema_member* fiber_bundle::section_space_schema_member::least_jem ( ) const
inline

The smallest member which is join-equivalent to this.

Definition at line 1069 of file section_space_schema_member.h.

References sheaf::abstract_poset_member::least_jem().

◆ make_schema_info()

void fiber_bundle::section_space_schema_member::make_schema_info ( bool  xis_table_dof)
protectedvirtual

Makes the table or row dof subposets, client id maps, and other schema info for this. /.

Error:
host is immutable; remove this member. /
Precondition
Error:
host is immutable; remove this member.

Not Implemented.

Postcondition
  • -unexecutable( schema info initialized )

Definition at line 1046 of file section_space_schema_member.cc.

References attach_handle_data_members().

Referenced by section_space_schema_member().

◆ make_standard_schema()

void fiber_bundle::section_space_schema_member::make_standard_schema ( namespace_poset xns)
static

Creates the standard schema for this class in namespace xns.

Precondition
  • xns.state_is_read_write_accessible()
  • xns.contains_poset(standard_schema_path(), false)
  • !xns.contains_poset_member(standard_schema_path(), false)
Postcondition
  • xns.contains_poset_member(standard_schema_path())

Definition at line 82 of file section_space_schema_member.cc.

References class_name(), sheaf::namespace_poset::contains_poset(), sheaf::namespace_poset::contains_poset_member(), sheaf::schema_poset_member::detach_from_state(), sheaf::namespace_poset::member_poset(), and sheaf::read_write_monitor_handle::state_is_read_write_accessible().

Referenced by fiber_bundle::fiber_bundles_namespace::make_section_space_schema_schema_members(), and standard_schema_path().

◆ maximal_jim_ct()

int fiber_bundle::section_space_schema_member::maximal_jim_ct ( ) const
virtual

The number of maximal members in the set of jims contained in the down set of this member.

Postcondition
  • is_jem(&(host()->bottom())) ? result == 0 : result > 0

Reimplemented from sheaf::abstract_poset_member.

Definition at line 2470 of file section_space_schema_member.cc.

References maximal_jims().

Referenced by jims_pa().

◆ maximal_jims()

sheaf::subposet * fiber_bundle::section_space_schema_member::maximal_jims ( )
virtual

The maximal members of the set of jims contained in this member, auto-allocated.

Precondition
Not Implemented.
Postcondition
  • has_same_host(result)
  • postcondition_of(maximal_jims_pa)

Reimplemented from sheaf::abstract_poset_member.

Definition at line 2492 of file section_space_schema_member.cc.

References maximal_jims_pa().

Referenced by maximal_jim_ct().

◆ maximal_jims_pa()

void fiber_bundle::section_space_schema_member::maximal_jims_pa ( subposet result) const
virtual

The maximal members of the set of jims contained in this member, pre-allocated.

Precondition
  • has_same_host(result)
Not Implemented.
Postcondition
  • -unexecutable( result is union of maximal_jims of this with old result )

Reimplemented from sheaf::abstract_poset_member.

Definition at line 2520 of file section_space_schema_member.cc.

References sheaf::subposet::invariant(), and p_join_pa().

Referenced by maximal_jims().

◆ merge_jem()

virtual void fiber_bundle::section_space_schema_member::merge_jem ( const abstract_poset_member xjem)
inlinevirtual

Merge the join-equivalence class of xjem under the join equivalence class of this /.

Error:
host is immutable; remove this member. /

Not Implemented.

Reimplemented from sheaf::abstract_poset_member.

Definition at line 1079 of file section_space_schema_member.h.

References sheaf::abstract_poset_member::down_ct(), and sheaf::abstract_poset_member::up_ct().

◆ multivalued() [1/2]

sheaf::subposet & fiber_bundle::section_space_schema_member::multivalued ( )

The multivalued subposet for section spaces on this schema (mutable version).

Definition at line 700 of file section_space_schema_member.cc.

Referenced by fiber_bundle::discretization_iterator::is_multivalued(), and is_multivalued().

◆ multivalued() [2/2]

const sheaf::subposet & fiber_bundle::section_space_schema_member::multivalued ( ) const

The multivalued subposet for section spaces on this schema (const version).

Definition at line 717 of file section_space_schema_member.cc.

References evaluation().

◆ new_jem_state() [1/2]

virtual void fiber_bundle::section_space_schema_member::new_jem_state ( abstract_poset_member xother,
bool  xgreatest,
bool  xauto_access 
)
inlinevirtual

Creates a new jrm state in xhost which is join equivalent to xother and attaches this to it.

Not Implemented.

Reimplemented from sheaf::abstract_poset_member.

Definition at line 264 of file section_space_schema_member.h.

◆ new_jem_state() [2/2]

virtual void fiber_bundle::section_space_schema_member::new_jem_state ( poset_state_handle xhost,
pod_index_type  xhub_id,
bool  xgreatest,
bool  xauto_access 
)
inlinevirtual

Creates a new jrm state in xhost which is join equivalent to xother and attaches this to it.

Not Implemented.

Reimplemented from sheaf::abstract_poset_member.

Definition at line 275 of file section_space_schema_member.h.

◆ new_jim_state() [1/4]

virtual void fiber_bundle::section_space_schema_member::new_jim_state ( poset_dof_map xdof_map = 0,
bool  xcopy_dof_map = false,
bool  xauto_access = true 
)
inlinevirtual

Creates a new jim (join-irreducible member) state in xhost and attaches this to it.

Not Implemented.

Reimplemented from sheaf::abstract_poset_member.

Definition at line 170 of file section_space_schema_member.h.

Referenced by fiber_bundle::product_section_space_schema_member::product_section_space_schema_member().

◆ new_jim_state() [2/4]

virtual void fiber_bundle::section_space_schema_member::new_jim_state ( pod_index_type  xtuple_id,
bool  xauto_access = true 
)
inlinevirtual

Creates a new jim (join-irreducible member) state in host() and attaches this to it. The existing dof map with index xtuple_id is used as the dof map.

Not Implemented.

Reimplemented from sheaf::abstract_poset_member.

Definition at line 181 of file section_space_schema_member.h.

◆ new_jim_state() [3/4]

virtual void fiber_bundle::section_space_schema_member::new_jim_state ( poset_state_handle xhost,
poset_dof_map xdof_map = 0,
bool  xcopy_dof_map = false,
bool  xauto_access = true 
)
inlinevirtual

Creates a new jim (join-irreducible member) state in xhost and attaches this to it.

Not Implemented.

Reimplemented from sheaf::abstract_poset_member.

Definition at line 191 of file section_space_schema_member.h.

◆ new_jim_state() [4/4]

virtual void fiber_bundle::section_space_schema_member::new_jim_state ( poset_state_handle xhost,
pod_index_type  xtuple_id,
bool  xauto_access = true 
)
inlinevirtual

Creates a new jim (join-irreducible member) state in host() and attaches this to it. The existing dof map with index xtuple_id is used as the dof map.

Not Implemented.

Reimplemented from sheaf::abstract_poset_member.

Definition at line 203 of file section_space_schema_member.h.

◆ new_jrm_state() [1/4]

virtual void fiber_bundle::section_space_schema_member::new_jrm_state ( bool  xauto_access = true)
inlinevirtual

Creates a new jrm (join-reducible member) state in host() and attaches this to it.

Not Implemented.

Reimplemented from sheaf::abstract_poset_member.

Definition at line 214 of file section_space_schema_member.h.

Referenced by fiber_bundle::product_section_space_schema_member::product_section_space_schema_member().

◆ new_jrm_state() [2/4]

virtual void fiber_bundle::section_space_schema_member::new_jrm_state ( poset_state_handle xhost,
bool  xauto_access = true 
)
inlinevirtual

Creates a new jrm (join-reducible member) state in xhost and attaches this to it.

Not Implemented.

Reimplemented from sheaf::abstract_poset_member.

Definition at line 223 of file section_space_schema_member.h.

◆ new_jrm_state() [3/4]

virtual void fiber_bundle::section_space_schema_member::new_jrm_state ( const scoped_index xexpansion,
int  xexpansion_ct,
const tern xnew_jem,
bool  xauto_access = true 
)
inlinevirtual

Computes the join of the members with the indices given in xexpansion. If the join already exists and !xnew_jim, attaches this to the existing join. Otherwise, creates a new jrm (join reducible member) state in xhost and attaches this to it.

Not Implemented.

Reimplemented from sheaf::abstract_poset_member.

Definition at line 235 of file section_space_schema_member.h.

◆ new_jrm_state() [4/4]

virtual void fiber_bundle::section_space_schema_member::new_jrm_state ( poset_state_handle xhost,
const scoped_index xexpansion,
int  xexpansion_ct,
const tern xnew_jem,
bool  xauto_access = true 
)
inlinevirtual

Computes the join of the members with the indices given in xexpansion. If the join already exists and !xnew_jim, attaches this to the existing join. Otherwise, creates a new jrm (join reducible member) state in xhost and attaches this to it.

Not Implemented.

Reimplemented from sheaf::abstract_poset_member.

Definition at line 249 of file section_space_schema_member.h.

References sheaf::abstract_poset_member::new_jem_state().

◆ offset() [1/6]

virtual size_type fiber_bundle::section_space_schema_member::offset ( pod_index_type  xdof_id,
bool  xis_table_dof 
) const
pure virtual

The offset for the table dof (xis_table_dof true) or row dof referred to by xdof_id in the schema defined by this.

Reimplemented from sheaf::schema_poset_member.

Implemented in fiber_bundle::product_section_space_schema_member.

◆ offset() [2/6]

virtual size_type fiber_bundle::section_space_schema_member::offset ( pod_index_type  xdisc_id,
pod_index_type  xfiber_dof_id,
bool  xis_table_dof 
) const
pure virtual

The offset for the table dof (xis_table_dof true) or row dof referred to by xdisc_id, xfiber_dof_id in the schema defined by this.

Implemented in fiber_bundle::product_section_space_schema_member.

◆ offset() [3/6]

virtual size_type fiber_bundle::section_space_schema_member::offset ( const scoped_index xdisc_id,
const scoped_index xfiber_dof_id,
bool  xis_table_dof,
bool  xauto_access 
) const
pure virtual

The offset for the table dof (xis_table_dof true) or row dof referred to by xdisc_id, xfiber_dof_id in the schema defined by this.

Implemented in fiber_bundle::product_section_space_schema_member.

◆ offset() [4/6]

sheaf::size_type fiber_bundle::section_space_schema_member::offset ( pod_index_type  xdof_id,
bool  xis_table_dof 
) const
virtual

The offset for the table dof (xis_table_dof true) or row dof referred to by xdof_id in the schema defined by this.

Precondition
  • xis_table_dof ? fiber_schema_id_space(xis_table_dof).contains(xdof_id) : true

Reimplemented from sheaf::schema_poset_member.

Reimplemented in fiber_bundle::product_section_space_schema_member.

Definition at line 1922 of file section_space_schema_member.cc.

References sheaf::tuple().

Referenced by fiber_bundle::array_section_dof_map::dof_in_bounds(), fiber_bundle::array_section_dof_map::fiber_in_bounds(), offset(), type(), and update_table_dof_descriptors().

◆ offset() [5/6]

sheaf::size_type fiber_bundle::section_space_schema_member::offset ( pod_index_type  xdisc_id,
pod_index_type  xfiber_dof_id,
bool  xis_table_dof 
) const

The offset for the table dof (xis_table_dof true) or row dof referred to by xdisc_id, xfiber_dof_id in the schema defined by this.

Precondition
  • fiber_schema_id_space(xis_table_dof).contains(xfiber_dof_id)

Definition at line 1957 of file section_space_schema_member.cc.

References offset().

◆ offset() [6/6]

sheaf::size_type fiber_bundle::section_space_schema_member::offset ( const scoped_index xdisc_id,
const scoped_index xfiber_dof_id,
bool  xis_table_dof,
bool  xauto_access 
) const

The offset for the table dof (xis_table_dof true) or row dof referred to by xdisc_id, xfiber_dof_id in the schema defined by this.

Precondition
  • fiber_schema_id_space(xis_table_dof, xauto_access).contains(xfiber_dof_id)

Definition at line 1987 of file section_space_schema_member.cc.

References fiber_size().

◆ operator=() [1/4]

virtual section_space_schema_member& fiber_bundle::section_space_schema_member::operator= ( const abstract_poset_member xother)
virtual

Assignment operator; attaches this to the same state as xother.

Reimplemented from sheaf::schema_poset_member.

Reimplemented in fiber_bundle::binary_section_space_schema_member, and fiber_bundle::product_section_space_schema_member.

◆ operator=() [2/4]

section_space_schema_member& fiber_bundle::section_space_schema_member::operator= ( const section_space_schema_member xother)

Assignment operator.

◆ operator=() [3/4]

fiber_bundle::section_space_schema_member & fiber_bundle::section_space_schema_member::operator= ( const abstract_poset_member xother)
virtual

Assignment operator; attaches this to the same state as xother.

Postcondition
  • is_same_state(&xother)

Reimplemented from sheaf::schema_poset_member.

Reimplemented in fiber_bundle::binary_section_space_schema_member, and fiber_bundle::product_section_space_schema_member.

Definition at line 201 of file section_space_schema_member.cc.

Referenced by standard_member_name().

◆ operator=() [4/4]

fiber_bundle::section_space_schema_member & fiber_bundle::section_space_schema_member::operator= ( const section_space_schema_member xother)

Assignment operator.

Precondition
  • is_ancestor_of(&xother)
Not Implemented.
Postcondition

Definition at line 220 of file section_space_schema_member.cc.

References ~section_space_schema_member().

◆ p_join()

section_space_schema_member* fiber_bundle::section_space_schema_member::p_join ( abstract_poset_member other) const
inline

Poset join of this with other, auto-aloocated version. The poset join is the least upper bound in the poset.

Definition at line 1186 of file section_space_schema_member.h.

References sheaf::abstract_poset_member::p_join().

◆ p_join_pa()

void fiber_bundle::section_space_schema_member::p_join_pa ( abstract_poset_member other,
abstract_poset_member result 
) const
virtual

Poset join of this with other, pre-allocated. The poset join is the least upper bound in the poset.

Precondition
  • has_same_host(other)
  • result->is_ancestor_of(this)
Not Implemented.
Postcondition
  • -unexecutable( result is least upper bound in host of this and other )

Reimplemented from sheaf::abstract_poset_member.

Definition at line 2553 of file section_space_schema_member.cc.

References sheaf::abstract_poset_member::is_ancestor_of(), sheaf::poset_component::is_attached(), and p_meet_pa().

Referenced by maximal_jims_pa().

◆ p_meet()

section_space_schema_member* fiber_bundle::section_space_schema_member::p_meet ( abstract_poset_member other)
inline

Poset meet of this with other, auto-allocated version. The poset meet is the greatest lower bound in the poset.

Definition at line 1201 of file section_space_schema_member.h.

References sheaf::abstract_poset_member::p_meet().

◆ p_meet_pa()

void fiber_bundle::section_space_schema_member::p_meet_pa ( abstract_poset_member other,
abstract_poset_member result 
)
virtual

Poset meet of this with other, pre-allocated version. The poset meet is the greatest lower bound in the poset.

Precondition
  • has_same_host(other)
  • result->is_ancestor_of(this)
Not Implemented.
Postcondition
  • -unexecutable( result is least upper bound in host of this and other )

Reimplemented from sheaf::abstract_poset_member.

Definition at line 2579 of file section_space_schema_member.cc.

References sheaf::abstract_poset_member::is_ancestor_of(), sheaf::poset_component::is_attached(), and put_version().

Referenced by p_join_pa().

◆ put_standard_name()

void fiber_bundle::section_space_schema_member::put_standard_name ( bool  xunique,
bool  xauto_access 
)

Sets the name of this member to a standard name; if xunique, make xname the only name.

Precondition
  • state_is_auto_read_write_accessible(xauto_access)
Postcondition

Definition at line 2659 of file section_space_schema_member.cc.

References attach_to_state().

Referenced by put_version(), and fiber_bundle::section_dof_map::section_dof_map().

◆ put_version()

void fiber_bundle::section_space_schema_member::put_version ( int  xversion,
bool  xunalias = false 
)
virtual

Sets version to (possibly aliased) xversion. If unalias == true, set version to the actual version alias refers to.

Precondition
  • has_version(xversion)
  • !xunalias ? xversion != CURRENT_MEMBER_VERSION : true
Hack:
section_space_schema version hack: version of this is same as version of base space.
Postcondition
  • xunalias ? version(false) == unaliased_version(xversion) : version(false) == xversion

Reimplemented from sheaf::poset_component.

Definition at line 2616 of file section_space_schema_member.cc.

References put_standard_name().

Referenced by p_meet_pa(), and fiber_bundle::section_dof_map::section_dof_map().

◆ rep() [1/4]

sec_rep_descriptor& fiber_bundle::section_space_schema_member::rep ( )

The representation for section spaces on this schema (mutable version).

◆ rep() [2/4]

const sec_rep_descriptor& fiber_bundle::section_space_schema_member::rep ( ) const

The representation for section spaces on this schema (const version).

◆ rep() [3/4]