fiber_bundle::binary_section_space_schema_member Class Reference

A client handle for a poset member which has been prepared for use as a schema for a section space. See class binary_section_space_schema_poset for a description of the schema represented by this class. More...

#include <binary_section_space_schema_member.h>

Inheritance diagram for fiber_bundle::binary_section_space_schema_member:

Public Member Functions
template<typename S >
sheaf::poset_path	standard_host_path (const poset_path &xbase_path, const poset_path &xrep_path, const std::string &xfiber_suffix)
template<typename S >
sheaf::poset_path	standard_member_path (const poset_path &xbase_path, const poset_path &xrep_path, const std::string &xfiber_suffix)
template<typename S >
fiber_bundle::binary_section_space_schema_member::host_type &	standard_host (namespace_type &xns, const poset_path &xbase_path, const poset_path &xrep_path, const std::string &xfiber_suffix, bool xauto_access)
template<typename S >
sheaf::poset_path	standard_member (namespace_type &xns, const poset_path &xbase_path, const poset_path &xrep_path, const std::string &xfiber_suffix, bool xauto_access)
Public Member Functions inherited from fiber_bundle::section_space_schema_member
virtual const std::string &	class_name () const
	The name of this class. More...
section_space_schema_member &	operator= (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_member *	clone (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_descriptor &	rep ()
	The representation for section spaces on this schema (mutable version). More...
const sec_rep_descriptor &	rep () 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_member &	base_space ()
	The base space component of this (mutable version). More...
const total_poset_member &	base_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_member &	fiber_schema ()
	The fiber schema component of this (mutable version). More...
const schema_poset_member &	fiber_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...
poset &	fiber_space ()
	The fiber space for section spaces on this schema (mutable version). More...
const poset &	fiber_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...
subposet &	discretization ()
	The discretization subposet for section spaces on this schema (mutable version). More...
const subposet &	discretization () 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...
subposet &	multivalued ()
	The multivalued subposet for section spaces on this schema (mutable version). More...
const subposet &	multivalued () const
	The multivalued subposet for section spaces on this schema (const version). More...
subposet &	evaluation ()
	The evaluation subposet for section spaces on this schema (mutable version). More...
const subposet &	evaluation () 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...
std::string	evaluator_family_name () const
	The name of the evaluator family for section spaces on schemae hosted by this. More...
section_dof_iterator *	table_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_iterator *	row_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...
section_space_schema_member &	operator= (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_member *	clone (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_descriptor &	rep ()
	The representation for section spaces on this schema (mutable version). More...
const sec_rep_descriptor &	rep () 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_member &	base_space ()
	The base space component of this (mutable version). More...
const total_poset_member &	base_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_member &	fiber_schema ()
	The fiber schema component of this (mutable version). More...
const schema_poset_member &	fiber_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...
poset &	fiber_space ()
	The fiber space for section spaces on this schema (mutable version). More...
const poset &	fiber_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...
subposet &	discretization ()
	The discretization subposet for section spaces on this schema (mutable version). More...
const subposet &	discretization () 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...
subposet &	evaluation ()
	The evaluation subposet for section spaces on this schema (mutable version). More...
const subposet &	evaluation () 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 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...
const index_space_handle &	discretization_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_handle &	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). More...
index_space_handle &	discretization_id_space ()
	The id space for the discretization members in the down set of the base space of this (mutable version). More...
index_space_handle &	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). More...
const index_space_handle &	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. More...
const index_space_handle &	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. 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_handle &	discretization_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_handle &	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). More...
index_space_handle &	discretization_id_space ()
	The id space for the discretization members in the down set of the base space of this (mutable version). More...
index_space_handle &	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). More...
const index_space_handle &	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. More...
const index_space_handle &	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. 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...
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...
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 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...
virtual schema_poset_member &	unrestricted_schema ()
	The unrestricted schema for this poset member (mutable version). More...
virtual const schema_poset_member &	unrestricted_schema () const
	The unrestricted schema for this poset member (const version). More...
virtual schema_poset_member &	unrestricted_schema ()
	The unrestricted schema for this poset member (mutable version). More...
virtual const schema_poset_member &	unrestricted_schema () const
	The unrestricted schema for this poset member (const version). More...
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_member *	greatest_jem () const
	The largest member which is join-equivalent to this. More...
section_space_schema_member *	least_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...
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 subposet *	down () 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 subposet *	up () 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 subposet *	jims ()
	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 subposet *	maximal_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...
section_space_schema_member *	p_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_member *	p_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...
section_space_schema_member *	l_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_member *	l_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_member *	l_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...
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...
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...
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...
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	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...
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...
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	detach_from_state ()
	Detach this handle from its state, if any. More...
section_space_schema_poset *	host () const
	The poset which this is a handle to a component of. More...
section_space_schema_poset *	host () const
	The poset which this is a handle to a component of. More...
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...
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_member *	clone (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_member &	operator= (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_index &	table_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_index &	row_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_index &	dof_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_iterator *	table_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_iterator *	row_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_array *	dof_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_array *	table_dof_descriptors () const
	The dof_descriptors_array for the table dof tuple defined by this schema. Synonym for dof_descriptors(true). More...
dof_descriptor_array *	row_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_handle &	dof_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_handle &	dof_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_handle &	table_dof_id_space () const
	The table dof id space for the schema defined by this. More...
const index_space_handle &	table_dof_id_space (bool xauto_access) const
	The table dof id space for the schema defined by this. More...
const index_space_handle &	row_dof_id_space () const
	The row dof id space for the schema defined by this. More...
const index_space_handle &	row_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...
index_iterator *	bound_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 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_member *	greatest_jem () const
	The largest member which is join-equivalent to this. More...
schema_poset_member *	least_jem () const
	The smallest member which is join-equivalent to this. More...
schema_poset_member *	p_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_member *	p_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_member *	l_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_member *	l_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_member *	l_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_member &	operator= (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_member *	clone (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_member &	schema ()
	The schema for this member (mutable version). More...
virtual const schema_poset_member &	schema () 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_member *	greatest_jem () const
	The largest member which is join-equivalent to this. More...
total_poset_member *	least_jem () const
	The smallest member which is join-equivalent to this. More...
total_poset_member *	p_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_member *	p_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_member *	l_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_member *	l_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_member *	l_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_member *	clone (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_member &	schema (bool xauto_access)
	The schema for this poset member, auto-accessible (mutable version). More...
const schema_poset_member &	schema (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_member *	greatest_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_member *	least_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_handle &	get_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_iterator &	get_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 subposet *	atoms () 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_member *	p_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_member *	p_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_member *	l_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_member *	l_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_member *	l_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_family &	id_spaces () const
	The id space family for this member. More...
virtual const hub_index_space_handle &	hub_id_space () const
	The hub id space; const version. More...
virtual const scoped_index &	hub_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_index &	index () 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_handle *	host () 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_poset *	name_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...

HOAT FACTORY FACET
typedef binary_section_space_schema_poset	host_type
	The type of host poset. More...
static const poset_path &	standard_schema_path ()
	The path to the standard schema for this class. More...
static void	make_standard_schema (namespace_poset &xns)
	Creates standard schema for this class in namespace xns. More...
static host_type &	new_host (namespace_type &xns, const poset_path &xhost_path, const poset_path &xschema_path, const poset_path &xbase_path, const poset_path &xfiber_path, const poset_path &xrep_path, bool xauto_access)
	Creates a new host for members of this type in namespace xns with path xhost_path, schema specified by xschema_path, and table attributes base_space_path, fiber_space_path, and rep_path specified by xbase_path, xfiber_path, and xrep_path, respectively. More...
template<typename S >
static poset_path	standard_host_path (const poset_path &xbase_path, const poset_path &xrep_path, const std::string &xfiber_suffix)
	The standard path for the host of a schema for sections of type S with base space specified by xbase_path, fiber suffix xfiber_suffix, and representation specified by xrep_path. More...
template<typename S >
static poset_path	standard_member_path (const poset_path &xbase_path, const poset_path &xrep_path, const std::string &xfiber_suffix)
	The standard path for a schema member for sections of type S with base space sepcified by xbase_path, fiber suffix xfiber_suffix, and representation specified by xrep_path. More...
template<typename S >
static bool	standard_host_is_available (namespace_poset &xns, const poset_path &xbase_path, const poset_path &xrep_path, const std::string &xfiber_suffix, bool xauto_access)
	True if and only if the host specified by standard_host_path<S>(xbase_path, xrep_path, xfiber_suffix) does not exist, or it exists and conforms to host_type. More...
template<typename S >
static host_type &	standard_host (namespace_type &xns, const poset_path &xbase_path, const poset_path &xrep_path, const std::string &xfiber_suffix, bool xauto_access)
	The standard host of a schema for sections of type S with base space sepcified by xbase_path, fiber suffix xfiber_suffix, and representation specified by xrep_path. More...
template<typename S >
static poset_path	standard_member (namespace_type &xns, const poset_path &xbase_path, const poset_path &xrep_path, const std::string &xfiber_suffix, bool xauto_access)
	The path for standard schema member for sections of type S with base space sepcified by xbase_path, fiber suffix xfiber_suffix, and representation specified by xrep_path.Creates the standard host and member if they do not already exist. More...

BINARY_SECTION_SPACE_SCHEMA_MEMBER FACET
	binary_section_space_schema_member ()
	Default constructor; creates a new, unattached binary_section_space_schema_member handle. More...
	binary_section_space_schema_member (const binary_section_space_schema_member &xother)
	Copy constructor; creates a new binary_section_space_schema_member handle attached to the same state as xother. More...
virtual binary_section_space_schema_member &	operator= (const abstract_poset_member &xother)
	Assignment operator; attaches this to the same state as xother. More...
binary_section_space_schema_member &	operator= (const binary_section_space_schema_member &xother)
	Assignment operator. More...
virtual	~binary_section_space_schema_member ()
	Destructor; deletes a poset member and its attached state, if any. More...
binary_section_space_schema_member *	clone (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...
	binary_section_space_schema_member (const binary_section_space_schema_poset *xhost, pod_index_type xhub_id)
	Creates a new binary_section_space_schema_member handle attached to the member state with hub id xhub_id in xhost. More...
	binary_section_space_schema_member (const binary_section_space_schema_poset *xhost, const scoped_index &xid)
	Creates a new binary_section_space_schema_member handle attached to the member state with id xid in xhost. More...
	binary_section_space_schema_member (const binary_section_space_schema_poset *xhost, const std::string &xname)
	Creates a new binary_section_space_schema_member handle attached to the member state with name xname in xhost. More...
	binary_section_space_schema_member (const binary_section_space_schema_poset *xhost, pod_index_type xbase_space_id, pod_index_type xfiber_schema_id)
	Create a new handle attached to the state in xhost with component ids xbase_id and xfiber_schema_id. More...
	binary_section_space_schema_member (const binary_section_space_schema_poset *xhost, const scoped_index &xbase_space_id, const scoped_index &xfiber_schema_id)
	Create a new handle attached to the state in xhost with component ids xbase_id and xfiber_schema_id. More...
	binary_section_space_schema_member (const binary_section_space_schema_poset *xhost, const poset_path &xbase_path, const poset_path &xfiber_schema_path)
	Create a new handle attached to the state in xhost specified by paths xbase_path and xfiber_schema_path. More...
	binary_section_space_schema_member (const namespace_poset &xns, const poset_path &xpath, bool xauto_access=true)
	Creates a new binary_section_space_schema_member handle attached to the member state specified by xpath in the namespace xns. More...

SECTION_SPACE_SCHEMA_MEMBER FACET
virtual binary_section_component_iterator *	component_iterator () const
	A postorder iterator over the components defined by this. More...

SCHEMA_POSET_MEMBER FACET
virtual primitive_type	dof_tuple_type (bool xis_table_dof) const
	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_array *	dof_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. Not implemented for xis_table_dof false. More...
virtual bool	is_dof (bool xin_table_dofs) const
	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...
virtual size_t	size () const
	The number of bytes in this dof. More...
virtual size_t	alignment () const
	The alignment for this dof. More...
virtual sheaf::primitive_type	type () const
	The primitive type index of the dof defined by this. More...
virtual binary_section_dof_iterator *	dof_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...
binary_section_dof_iterator *	table_dof_iterator (int xversion=CURRENT_MEMBER_VERSION) const
	A postorder iterator over the table dofs defined by this. Synonym for dof_iterator(true). More...
binary_section_dof_iterator *	row_dof_iterator (int xversion=CURRENT_MEMBER_VERSION) const
	A postorder iterator over the row dofs defined by this. More...
virtual void	update_row_cache (bool xupdate_id_map=false) const
	Updates cached row properties. More...

I/O SUPPORT FACET
virtual index_iterator *	get_decomposition (pod_index_type xindex) const
	An iterator over the members of the decomposition identified by xindex. 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 namexid_space_name. More...
virtual schema_poset_member &	ext_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...

DEGREE OF FREEDOM (DOF) TUPLE FACET
virtual primitives_poset_dof_map &	dof_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_map &	dof_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...

ORDERING RELATION FACET
binary_section_space_schema_member *	greatest_jem () const
	The largest member which is join-equivalent to this. More...
binary_section_space_schema_member *	least_jem () const
	The smallest member which is join-equivalent to this. More...

POSET ALGEBRA FACET
binary_section_space_schema_member *	p_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...
binary_section_space_schema_member *	p_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...

LATTICE ALGEBRA FACET
binary_section_space_schema_member *	l_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...
binary_section_space_schema_member *	l_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...
binary_section_space_schema_member *	l_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...

STATE FACET
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...
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...
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...

HOST POSET FACET
binary_section_space_schema_poset *	host () 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 binary_section_space_schema_member *	clone () const
	Make a new handle, no state instance of current. More...
virtual bool	invariant () const
	Class invariant. More...

Additional Inherited Members
Public Types inherited from fiber_bundle::section_space_schema_member
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...
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...
Static Public Member Functions inherited from fiber_bundle::section_space_schema_member
static const poset_path &	standard_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...
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...
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_path &	standard_schema_path ()
	The path to the standard schema for this class. More...
static host_type &	new_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_type &	standard_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_type &	new_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 fiber_bundle::section_space_schema_member
	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...
virtual void	update_table_cache () const
	Updates cached table properties. 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...
Protected Member Functions inherited from sheaf::schema_poset_member
subposet_state *	dof_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_state *	state_obj () const
	The state this component handle is attached to. More...
poset_powerset_state *	powerset () const
	The set of subposets of host(). More...
poset_crg_state *	crg () const
	The cover relation graph of host(). More...
virtual subposet_state *	powerset_member (const scoped_index &xindex) const
	The hidden state of the subposet asocciated with index xindex. More...
poset_dof_map *	row_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 fiber_bundle::section_space_schema_member
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...
index_space_handle *	_discretization_id_space
	The id space for the discretization members in the down set of the base space of this. 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. See class binary_section_space_schema_poset for a description of the schema represented by this class.

Definition at line 62 of file binary_section_space_schema_member.h.

Member Typedef Documentation

host_type

typedef binary_section_space_schema_poset fiber_bundle::binary_section_space_schema_member::host_type

The type of host poset.

Definition at line 75 of file binary_section_space_schema_member.h.

Constructor & Destructor Documentation

binary_section_space_schema_member() [1/9]

fiber_bundle::binary_section_space_schema_member::binary_section_space_schema_member

(

)

Default constructor; creates a new, unattached binary_section_space_schema_member handle.

Postcondition

• invariant()

• !is_attached()

• !is_valid(base_space_id())

• !is_valid(fiber_schema_id())

• !base_space().is_attached()

• !fiber_schema().is_attached()

Definition at line 157 of file binary_section_space_schema_member.cc.

References fiber_bundle::section_space_schema_member::base_space(), fiber_bundle::section_space_schema_member::base_space_id(), fiber_bundle::section_space_schema_member::fiber_schema(), fiber_bundle::section_space_schema_member::fiber_schema_id(), invariant(), sheaf::poset_component::is_attached(), and sheaf::is_valid().

Referenced by binary_section_space_schema_member(), clone(), new_host(), and ~binary_section_space_schema_member().

binary_section_space_schema_member() [2/9]

fiber_bundle::binary_section_space_schema_member::binary_section_space_schema_member ( const binary_section_space_schema_member &  xother )

explicit

Copy constructor; creates a new binary_section_space_schema_member handle attached to the same state as xother.

Postcondition

• invariant()

• is_attached() == xother.is_attached()

Definition at line 179 of file binary_section_space_schema_member.cc.

References attach_to_state(), invariant(), sheaf::poset_component::is_attached(), and operator=().

~binary_section_space_schema_member()

fiber_bundle::binary_section_space_schema_member::~binary_section_space_schema_member ( )

virtual

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

Definition at line 235 of file binary_section_space_schema_member.cc.

References binary_section_space_schema_member().

Referenced by operator=().

binary_section_space_schema_member() [3/9]

fiber_bundle::binary_section_space_schema_member::binary_section_space_schema_member	(	const binary_section_space_schema_poset *	xhost,
		pod_index_type	xhub_id
	)

Creates a new binary_section_space_schema_member handle attached to the member state with hub id xhub_id in xhost.

Precondition

• xhost->state_is_read_accessible()

• xhost->contains_member(xhub_id)

Postcondition

• invariant()

• host() == xhost

• index() == xhub_id

• is_attached()

Definition at line 256 of file binary_section_space_schema_member.cc.

References attach_to_state(), binary_section_space_schema_member(), fiber_bundle::section_space_schema_poset::contains_member(), host(), sheaf::poset_component::index(), invariant(), sheaf::poset_component::is_attached(), and sheaf::read_write_monitor_handle::state_is_read_accessible().

binary_section_space_schema_member() [4/9]

fiber_bundle::binary_section_space_schema_member::binary_section_space_schema_member	(	const binary_section_space_schema_poset *	xhost,
		const scoped_index &	xid
	)

Creates a new binary_section_space_schema_member handle attached to the member state with id xid in xhost.

Precondition

• xhost->state_is_read_accessible()

• xhost->contains_member(xid)

Postcondition

• invariant()

• host() == xhost

• index() ==~ xid

• is_attached()

Definition at line 277 of file binary_section_space_schema_member.cc.

References attach_to_state(), binary_section_space_schema_member(), fiber_bundle::section_space_schema_poset::contains_member(), host(), sheaf::scoped_index::hub_pod(), sheaf::poset_component::index(), invariant(), sheaf::poset_component::is_attached(), and sheaf::read_write_monitor_handle::state_is_read_accessible().

binary_section_space_schema_member() [5/9]

fiber_bundle::binary_section_space_schema_member::binary_section_space_schema_member	(	const binary_section_space_schema_poset *	xhost,
		const std::string &	xname
	)

Creates a new binary_section_space_schema_member handle attached to the member state with name xname in xhost.

Precondition

• xhost != 0

• xhost->state_is_read_accessible()

• !xname.empty()

• xhost->contains_member(xname)

Postcondition

• invariant()

• host() == xhost

• name() == xname

• is_attached()

Definition at line 298 of file binary_section_space_schema_member.cc.

References attach_to_state(), binary_section_space_schema_member(), fiber_bundle::section_space_schema_poset::contains_member(), host(), invariant(), sheaf::poset_component::is_attached(), sheaf::abstract_poset_member::name(), and sheaf::read_write_monitor_handle::state_is_read_accessible().

binary_section_space_schema_member() [6/9]

fiber_bundle::binary_section_space_schema_member::binary_section_space_schema_member	(	const binary_section_space_schema_poset *	xhost,
		pod_index_type	xbase_space_id,
		pod_index_type	xfiber_schema_id
	)

Create a new handle attached to the state in xhost with component ids xbase_id and xfiber_schema_id.

Precondition

• precondition_of(attach_to_state(same args))

Postcondition

• postcondition_of(attach_to_state(same args))

Definition at line 322 of file binary_section_space_schema_member.cc.

References attach_to_state(), and binary_section_space_schema_member().

binary_section_space_schema_member() [7/9]

fiber_bundle::binary_section_space_schema_member::binary_section_space_schema_member	(	const binary_section_space_schema_poset *	xhost,
		const scoped_index &	xbase_space_id,
		const scoped_index &	xfiber_schema_id
	)

Create a new handle attached to the state in xhost with component ids xbase_id and xfiber_schema_id.

Precondition

• precondition_of(attach_to_state(same args))

Postcondition

• postcondition_of(attach_to_state(same args))

Definition at line 344 of file binary_section_space_schema_member.cc.

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

binary_section_space_schema_member() [8/9]

fiber_bundle::binary_section_space_schema_member::binary_section_space_schema_member	(	const binary_section_space_schema_poset *	xhost,
		const poset_path &	xbase_path,
		const poset_path &	xfiber_schema_path
	)

Create a new handle attached to the state in xhost specified by paths xbase_path and xfiber_schema_path.

Precondition

• precondition_of(attach_to_state(same args))

Postcondition

• postcondition_of(attach_to_state(same args))

Definition at line 368 of file binary_section_space_schema_member.cc.

References attach_to_state(), and binary_section_space_schema_member().

binary_section_space_schema_member() [9/9]

fiber_bundle::binary_section_space_schema_member::binary_section_space_schema_member	(	const namespace_poset &	xns,
		const poset_path &	xpath,
		bool	xauto_access = true
	)

Creates a new binary_section_space_schema_member handle attached to the member state specified by xpath in the namespace xns.

Precondition

• precondition_of(attach_to_state(same args))

Postcondition

• postcondition_of(attach_to_state(same args))

Definition at line 390 of file binary_section_space_schema_member.cc.

References attach_to_state(), and component_iterator().

Member Function Documentation

alignment()

size_t fiber_bundle::binary_section_space_schema_member::alignment ( ) const

virtual

The alignment for this dof.

Precondition

• state_is_read_accessible()

• fiber_schema().is_jim()

Implements fiber_bundle::section_space_schema_member.

Definition at line 564 of file binary_section_space_schema_member.cc.

References sheaf::schema_poset_member::alignment(), fiber_bundle::section_space_schema_member::fiber_schema(), sheaf::abstract_poset_member::is_jim(), sheaf::read_write_monitor_handle::state_is_read_accessible(), and type().

Referenced by size().

attach_to_state() [1/3]

void fiber_bundle::binary_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.

Precondition

• state_is_read_accessible()

• host()->base_space().contains_member(xbase_space_id)

• host()->fiber_schema().contains_member(xfiber_schema_id)

Issue:

what are the dof subposets?

Postcondition

• base_space_id() == xbase_space_id

• base_space().is_attached()

• fiber_schema_id() == xfiber_schema_id

• fiber_schema().is_attached()

Implements fiber_bundle::section_space_schema_member.

Definition at line 890 of file binary_section_space_schema_member.cc.

References sheaf::poset_component::_index, sheaf::poset_component::_version, fiber_bundle::section_space_schema_member::attach_handle_data_members(), fiber_bundle::section_space_schema_member::base_space(), fiber_bundle::section_space_schema_member::base_space_id(), fiber_bundle::section_space_schema_member::fiber_schema(), fiber_bundle::section_space_schema_member::fiber_schema_id(), host(), sheaf::abstract_poset_member::hub_id(), sheaf::poset_component::is_attached(), and sheaf::read_write_monitor_handle::state_is_read_accessible().

Referenced by attach_to_state(), binary_section_space_schema_member(), dof_map(), operator=(), and fiber_bundle::binary_section_dof_iterator::update_item().

attach_to_state() [2/3]

void fiber_bundle::binary_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.

Precondition

• xhost != 0

• host_is_ancestor_of(xhost)

• xhost->state_is_read_accessible()

• xhost->base_space().contains_member(xbase_space_id)

• xhost->fiber_schema().contains_member(xfiber_schema_id)

Issue:

what are the dof subposets?

Postcondition

• base_space_id() == xbase_space_id

• base_space().is_attached()

• fiber_schema_id() == xfiber_schema_id

• fiber_schema().is_attached()

Implements fiber_bundle::section_space_schema_member.

Definition at line 922 of file binary_section_space_schema_member.cc.

References sheaf::poset_component::_host, sheaf::poset_component::_index, sheaf::poset_component::_version, fiber_bundle::section_space_schema_member::attach_handle_data_members(), attach_to_state(), fiber_bundle::section_space_schema_poset::base_space(), fiber_bundle::section_space_schema_member::base_space(), fiber_bundle::section_space_schema_member::base_space_id(), sheaf::poset_state_handle::contains_member(), fiber_bundle::section_space_schema_poset::fiber_schema(), fiber_bundle::section_space_schema_member::fiber_schema(), fiber_bundle::section_space_schema_member::fiber_schema_id(), host(), host_is_ancestor_of(), sheaf::abstract_poset_member::hub_id(), sheaf::poset_component::is_attached(), and sheaf::read_write_monitor_handle::state_is_read_accessible().

attach_to_state() [3/3]

void fiber_bundle::binary_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.

Precondition

• xhost != 0

• host_is_ancestor_of(xhost)

• xhost->state_is_read_accessible()

• 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())

Postcondition

• is_attached()

• base_space().has_path(xbase_path, false)

• fiber_schema().has_path(xfiber_schema_path, false)

Implements fiber_bundle::section_space_schema_member.

Definition at line 958 of file binary_section_space_schema_member.cc.

References attach_to_state(), fiber_bundle::section_space_schema_poset::base_space(), fiber_bundle::section_space_schema_member::base_space(), sheaf::poset_state_handle::contains_member(), fiber_bundle::section_space_schema_poset::fiber_schema(), fiber_bundle::section_space_schema_member::fiber_schema(), sheaf::poset_path::full(), sheaf::poset_component::has_path(), host_is_ancestor_of(), sheaf::poset_component::is_attached(), sheaf::poset_state_handle::member_id(), sheaf::poset_path::member_name(), and sheaf::read_write_monitor_handle::state_is_read_accessible().

clone() [1/2]

binary_section_space_schema_member* fiber_bundle::binary_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 202 of file binary_section_space_schema_member.h.

References fiber_bundle::section_space_schema_member::alignment(), fiber_bundle::section_space_schema_member::clone(), fiber_bundle::section_space_schema_member::size(), and fiber_bundle::section_space_schema_member::type().

clone() [2/2]

fiber_bundle::binary_section_space_schema_member * fiber_bundle::binary_section_space_schema_member::clone ( ) const

virtual

Make a new handle, no state instance of current.

Postcondition

• result != 0

• result->invariant()

Implements fiber_bundle::section_space_schema_member.

Definition at line 1051 of file binary_section_space_schema_member.cc.

References binary_section_space_schema_member(), and invariant().

Referenced by is_ancestor_of().

component_iterator()

fiber_bundle::binary_section_component_iterator * fiber_bundle::binary_section_space_schema_member::component_iterator ( ) const

virtual

A postorder iterator over the components defined by this.

Precondition

• state_is_read_accessible()

Postcondition

• result != 0

Reimplemented from fiber_bundle::section_space_schema_member.

Definition at line 424 of file binary_section_space_schema_member.cc.

References dof_tuple_type(), and sheaf::read_write_monitor_handle::state_is_read_accessible().

Referenced by binary_section_space_schema_member().

dof_descriptors()

sheaf::dof_descriptor_array * fiber_bundle::binary_section_space_schema_member::dof_descriptors ( bool  xis_table_dof ) const

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.

Precondition

• state_is_read_accessible()

• xis_table_dof

Postcondition

• -unexecutable( result != 0 implies it points to a buffer of length table_dof_ct()+1 )

Implements fiber_bundle::section_space_schema_member.

Definition at line 481 of file binary_section_space_schema_member.cc.

References sheaf::schema_poset_member::dof_descriptors(), fiber_bundle::section_space_schema_member::fiber_schema(), is_dof(), fiber_bundle::length(), sheaf::read_write_monitor_handle::state_is_read_accessible(), and sheaf::schema_poset_member::table_dof_ct().

Referenced by dof_tuple_type().

dof_iterator()

fiber_bundle::binary_section_dof_iterator * fiber_bundle::binary_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

• state_is_read_accessible()

• has_version(xversion)

Postcondition

• result != 0

Reimplemented from fiber_bundle::section_space_schema_member.

Definition at line 610 of file binary_section_space_schema_member.cc.

References sheaf::poset_component::has_version(), sheaf::read_write_monitor_handle::state_is_read_accessible(), and update_row_cache().

Referenced by type().

dof_map() [1/2]

sheaf::primitives_poset_dof_map & fiber_bundle::binary_section_space_schema_member::dof_map ( bool  xrequire_write_access = false )

virtual

The map from schema member ids or client ids to dof values for this poset member (mutable version)

Precondition

• xrequire_write_access ? state_is_read_write_accessible() : state_is_read_accessible()

• is_jim(false)

Reimplemented from sheaf::schema_poset_member.

Definition at line 833 of file binary_section_space_schema_member.cc.

References sheaf::schema_poset_member::dof_map(), fiber_bundle::section_space_schema_member::fiber_schema(), sheaf::abstract_poset_member::is_jim(), sheaf::read_write_monitor_handle::state_is_read_accessible(), and sheaf::read_write_monitor_handle::state_is_read_write_accessible().

Referenced by ext_data_type_ct().

dof_map() [2/2]

const sheaf::primitives_poset_dof_map & fiber_bundle::binary_section_space_schema_member::dof_map ( bool  xrequire_write_access = false ) const

virtual

The map from schema member ids or client ids to dof values for this poset member (const version)

Precondition

• xrequire_write_access ? state_is_read_write_accessible() : state_is_read_accessible()

• is_jim(false)

Reimplemented from sheaf::schema_poset_member.

Definition at line 856 of file binary_section_space_schema_member.cc.

References attach_to_state(), sheaf::schema_poset_member::dof_map(), fiber_bundle::section_space_schema_member::fiber_schema(), sheaf::abstract_poset_member::is_jim(), sheaf::read_write_monitor_handle::state_is_read_accessible(), and sheaf::read_write_monitor_handle::state_is_read_write_accessible().

dof_tuple_type()

sheaf::primitive_type fiber_bundle::binary_section_space_schema_member::dof_tuple_type ( bool  xis_table_dof ) const

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.

Precondition

• state_is_read_accessible()

Postcondition

• xis_table_dof ? result == NOT_A_PRIMITIVE_TYPE : true

Implements fiber_bundle::section_space_schema_member.

Definition at line 458 of file binary_section_space_schema_member.cc.

References dof_descriptors(), sheaf::schema_poset_member::dof_tuple_type(), fiber_bundle::section_space_schema_member::fiber_schema(), and sheaf::read_write_monitor_handle::state_is_read_accessible().

Referenced by component_iterator().

ext_data_type_ct()

size_t fiber_bundle::binary_section_space_schema_member::ext_data_type_ct ( bool  xis_table_schema ) const

virtual

The number of instances of the external data type needed to represent this schema.

Precondition

• state_is_read_accessible()

Reimplemented from sheaf::schema_poset_member.

Definition at line 799 of file binary_section_space_schema_member.cc.

References fiber_bundle::section_space_schema_member::discretization_ct(), dof_map(), and sheaf::read_write_monitor_handle::state_is_read_accessible().

Referenced by ext_data_type_schema().

ext_data_type_schema()

sheaf::schema_poset_member & fiber_bundle::binary_section_space_schema_member::ext_data_type_schema ( )

virtual

The schema for the external data type associated with this schema.

Reimplemented from sheaf::schema_poset_member.

Definition at line 792 of file binary_section_space_schema_member.cc.

References ext_data_type_ct(), and fiber_bundle::section_space_schema_member::fiber_schema().

Referenced by get_ext_ids().

get_decomposition()

sheaf::index_iterator * fiber_bundle::binary_section_space_schema_member::get_decomposition ( pod_index_type  xindex ) const

virtual

An iterator over the members of the decomposition identified by xindex.

Hack:

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

Hack:

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

Precondition

• state_is_read_accessible()

• host()->base_space().includes_subposet(xindex)

Reimplemented from sheaf::schema_poset_member.

Definition at line 671 of file binary_section_space_schema_member.cc.

References fiber_bundle::section_space_schema_member::base_space(), sheaf::poset_component::detach_from_state(), fiber_bundle::section_space_schema_member::fiber_schema_id(), sheaf::zn_to_bool::force(), fiber_bundle::binary_section_space_schema_poset::get_index_from_components(), get_int_id(), host(), sheaf::index_iterator::index(), sheaf::subposet::indexed_member_iterator(), sheaf::index_iterator::is_done(), sheaf::index_iterator::next(), sheaf::scoped_index::pod(), and sheaf::read_write_monitor_handle::state_is_read_accessible().

Referenced by update_row_cache().

get_ext_ids()

void fiber_bundle::binary_section_space_schema_member::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

virtual

Gets the external ids of this in the id space with namexid_space_name.

Hack:

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

Precondition

• state_is_read_accessible()

• host()->member_id_spaces(false).contains(xid_space_name)

• host()->base_space().member_id_spaces(false).contains(xid_space_name)

• host()->base_space().member_id_spaces(false).contains_hub(xid_space_name, base_space_id())

• host()->fiber_schema().member_id_spaces(false).contains(xid_space_name)

• host()->fiber_schema().member_id_spaces(false).contains_hub(xid_space_name, fiber_schema_id())

Reimplemented from sheaf::schema_poset_member.

Definition at line 741 of file binary_section_space_schema_member.cc.

References fiber_bundle::section_space_schema_poset::base_space(), fiber_bundle::section_space_schema_member::base_space(), fiber_bundle::section_space_schema_member::base_space_id(), ext_data_type_schema(), fiber_bundle::section_space_schema_poset::fiber_schema(), fiber_bundle::section_space_schema_member::fiber_schema(), fiber_bundle::section_space_schema_member::fiber_schema_id(), sheaf::poset_state_handle::get_ext_id(), host(), sheaf::poset_component::index(), sheaf::invalid_pod_index(), sheaf::poset_component::name_space(), and sheaf::read_write_monitor_handle::state_is_read_accessible().

Referenced by get_int_id().

get_int_id()

sheaf::pod_index_type fiber_bundle::binary_section_space_schema_member::get_int_id ( pod_index_type  xext_id, const std::string &  xid_space_name  ) const

virtual

Gets the internal id corresponding to xext_id 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

• state_is_read_accessible()

• precondition_of(host()->base_space().get_ext_id(index(), xid_space_name))

Hack:

product subposet hack, ver 2. Section space schema member external ids are really base space external ids.

Postcondition

• host()->contains_member(result)

Reimplemented from sheaf::schema_poset_member.

Definition at line 712 of file binary_section_space_schema_member.cc.

References fiber_bundle::section_space_schema_poset::base_space(), fiber_bundle::section_space_schema_member::base_space(), fiber_bundle::section_space_schema_member::fiber_schema_id(), fiber_bundle::section_space_schema_member::get_ext_id(), get_ext_ids(), fiber_bundle::binary_section_space_schema_poset::get_index_from_components(), sheaf::poset_state_handle::get_int_id(), host(), sheaf::poset_component::index(), and sheaf::read_write_monitor_handle::state_is_read_accessible().

Referenced by get_decomposition().

greatest_jem()

binary_section_space_schema_member* fiber_bundle::binary_section_space_schema_member::greatest_jem ( ) const

inline

The largest member which is join-equivalent to this.

Definition at line 482 of file binary_section_space_schema_member.h.

References sheaf::abstract_poset_member::greatest_jem().

host()

binary_section_space_schema_poset* fiber_bundle::binary_section_space_schema_member::host ( ) const

inline

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

Definition at line 628 of file binary_section_space_schema_member.h.

References fiber_bundle::section_space_schema_member::host().

Referenced by attach_to_state(), fiber_bundle::binary_section_dof_iterator::binary_section_dof_iterator(), binary_section_space_schema_member(), get_decomposition(), get_ext_ids(), get_int_id(), fiber_bundle::binary_section_dof_iterator::initialize(), and is_dof().

host_is_ancestor_of()

bool fiber_bundle::binary_section_space_schema_member::host_is_ancestor_of ( const poset_state_handle *  other ) const

virtual

True if other conforms to host.

Reimplemented from fiber_bundle::section_space_schema_member.

Definition at line 1002 of file binary_section_space_schema_member.cc.

References is_ancestor_of().

Referenced by attach_to_state().

invariant()

bool fiber_bundle::binary_section_space_schema_member::invariant ( ) const

virtual

Class invariant.

Issue:

what are the invariants for this class

Todo:

implement binary_section_space_schema_member::invariant() const

Reimplemented from fiber_bundle::section_space_schema_member.

Definition at line 1075 of file binary_section_space_schema_member.cc.

References sheaf::any::disable_invariant_check(), sheaf::any::enable_invariant_check(), sheaf::schema_poset_member::invariant(), and sheaf::any::invariant_check().

Referenced by binary_section_space_schema_member(), clone(), and operator=().

is_ancestor_of()

bool fiber_bundle::binary_section_space_schema_member::is_ancestor_of ( const any *  other ) const

virtual

True if other conforms to this.

Reimplemented from fiber_bundle::section_space_schema_member.

Definition at line 1032 of file binary_section_space_schema_member.cc.

References clone().

Referenced by host_is_ancestor_of(), and operator=().

is_dof()

bool fiber_bundle::binary_section_space_schema_member::is_dof ( bool  xin_table_dofs ) const

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.

Precondition

• state_is_read_accessible()

Implements fiber_bundle::section_space_schema_member.

Definition at line 508 of file binary_section_space_schema_member.cc.

References fiber_bundle::section_space_schema_member::_base_space_id, sheaf::subposet::contains_member(), fiber_bundle::section_space_schema_poset::discretization(), fiber_bundle::section_space_schema_member::fiber_schema(), host(), sheaf::schema_poset_member::is_row_dof(), sheaf::schema_poset_member::is_table_dof(), size(), and sheaf::read_write_monitor_handle::state_is_read_accessible().

Referenced by dof_descriptors().

l_join()

binary_section_space_schema_member* fiber_bundle::binary_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

Definition at line 546 of file binary_section_space_schema_member.h.

References sheaf::abstract_poset_member::l_join().

l_meet()

binary_section_space_schema_member* fiber_bundle::binary_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

Definition at line 556 of file binary_section_space_schema_member.h.

References sheaf::abstract_poset_member::l_meet().

l_not()

binary_section_space_schema_member* fiber_bundle::binary_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

Definition at line 566 of file binary_section_space_schema_member.h.

References fiber_bundle::section_space_schema_member::attach_to_state(), and sheaf::abstract_poset_member::l_not().

least_jem()

binary_section_space_schema_member* fiber_bundle::binary_section_space_schema_member::least_jem ( ) const

inline

The smallest member which is join-equivalent to this.

Definition at line 490 of file binary_section_space_schema_member.h.

References sheaf::abstract_poset_member::least_jem().

make_standard_schema()

void fiber_bundle::binary_section_space_schema_member::make_standard_schema ( namespace_poset &  xns )

static

Creates standard schema for this class in namespace xns.

Precondition

• xns.state_is_read_write_accessible()

• xns.contains_poset(standard_schema_path(), false)

• xns.member_poset(standard_schema_path(), false).state_is_read_write_accessible()

• !xns.contains_poset_member(standard_schema_path(), false)

Postcondition

• xns.contains_poset_member(standard_schema_path())

Definition at line 62 of file binary_section_space_schema_member.cc.

References sheaf::namespace_poset::contains_poset(), sheaf::namespace_poset::contains_poset_member(), sheaf::namespace_poset::member_poset(), new_host(), 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().

new_host()

fiber_bundle::binary_section_space_schema_member::host_type & fiber_bundle::binary_section_space_schema_member::new_host ( namespace_type &  xns, const poset_path &  xhost_path, const poset_path &  xschema_path, const poset_path &  xbase_path, const poset_path &  xfiber_path, const poset_path &  xrep_path, bool  xauto_access  )

static

Creates a new host for members of this type in namespace xns with path xhost_path, schema specified by xschema_path, and table attributes base_space_path, fiber_space_path, and rep_path specified by xbase_path, xfiber_path, and xrep_path, respectively.

Precondition

• xns.state_is_auto_read_write_accessible(xauto_access)

• !xhost_path.empty()

• !xns.contains_path(xhost_path, xauto_access)

• xschema_path.full()

• xns.path_is_auto_read_accessible(xschema_path, xauto_access)

• schema_poset_member::conforms_to(xns, xschema_path, host_type::standard_schema_path(), xauto_access)

• xbase_path.full()

• xns.path_is_auto_read_accessible<base_space_poset>(xbase_path, xauto_access)

• !xfiber_path.empty()

• xns.path_is_auto_read_accessible(xfiber_path, xauto_access)

• xrep_path.full()

• xns.path_is_auto_read_accessible<sec_rep_descriptor_poset>(xrep_path, xauto_access)

Postcondition

• xns.owns(result, xauto_access)

• result.path(true) == xhost_path

• result.state_is_not_read_accessible()

• result.schema(true).path(xauto_access) == xschema_path

• result.base_space_path(true).poset_name() == xbase_path.poset_name()

• result.fiber_space_path(true) == xfiber_path

• result.rep_path(true) == xrep_path

Definition at line 94 of file binary_section_space_schema_member.cc.

References fiber_bundle::section_space_schema_poset::base_space_path(), binary_section_space_schema_member(), sheaf::namespace_poset::contains_path(), sheaf::poset_path::empty(), fiber_bundle::section_space_schema_poset::fiber_space_path(), sheaf::poset_path::full(), sheaf::namespace_poset::owns(), sheaf::poset_component::path(), sheaf::poset_state_handle::path(), sheaf::namespace_poset::path_is_auto_read_accessible(), sheaf::poset_path::poset_name(), fiber_bundle::section_space_schema_poset::rep_path(), sheaf::poset_state_handle::schema(), sheaf::read_write_monitor_handle::state_is_auto_read_write_accessible(), and sheaf::read_write_monitor_handle::state_is_not_read_accessible().

Referenced by make_standard_schema().

operator=() [1/2]

fiber_bundle::binary_section_space_schema_member & fiber_bundle::binary_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 fiber_bundle::section_space_schema_member.

Definition at line 195 of file binary_section_space_schema_member.cc.

References attach_to_state(), and sheaf::poset_component::is_same_state().

Referenced by binary_section_space_schema_member().

operator=() [2/2]

fiber_bundle::binary_section_space_schema_member & fiber_bundle::binary_section_space_schema_member::operator=

(

const binary_section_space_schema_member &

xother

)

Assignment operator.

Precondition

• is_ancestor_of(&xother)

Not Implemented.

Postcondition

• invariant()

Definition at line 214 of file binary_section_space_schema_member.cc.

References invariant(), is_ancestor_of(), and ~binary_section_space_schema_member().

p_join()

binary_section_space_schema_member* fiber_bundle::binary_section_space_schema_member::p_join ( abstract_poset_member *  other ) const

inline

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

Definition at line 513 of file binary_section_space_schema_member.h.

References sheaf::abstract_poset_member::p_join().

p_meet()

binary_section_space_schema_member* fiber_bundle::binary_section_space_schema_member::p_meet ( abstract_poset_member *  other )

inline

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

Definition at line 522 of file binary_section_space_schema_member.h.

References sheaf::abstract_poset_member::p_meet().

row_dof_iterator()

binary_section_dof_iterator* fiber_bundle::binary_section_space_schema_member::row_dof_iterator ( int  xversion = CURRENT_MEMBER_VERSION ) const

inline

A postorder iterator over the row dofs defined by this.

Definition at line 374 of file binary_section_space_schema_member.h.

size()

size_t fiber_bundle::binary_section_space_schema_member::size ( ) const

virtual

The number of bytes in this dof.

Precondition

• state_is_read_accessible()

• fiber_schema().is_jim()

Implements fiber_bundle::section_space_schema_member.

Definition at line 542 of file binary_section_space_schema_member.cc.

References alignment(), fiber_bundle::section_space_schema_member::fiber_schema(), sheaf::abstract_poset_member::is_jim(), sheaf::schema_poset_member::size(), and sheaf::read_write_monitor_handle::state_is_read_accessible().

Referenced by is_dof().

standard_host() [1/2]

template<typename S >

static host_type& fiber_bundle::binary_section_space_schema_member::standard_host ( namespace_type &  xns, const poset_path &  xbase_path, const poset_path &  xrep_path, const std::string &  xfiber_suffix, bool  xauto_access  )

static

The standard host of a schema for sections of type S with base space sepcified by xbase_path, fiber suffix xfiber_suffix, and representation specified by xrep_path.

Referenced by standard_host_is_available().

standard_host() [2/2]

template<typename S >

fiber_bundle::binary_section_space_schema_member::host_type& fiber_bundle::binary_section_space_schema_member::standard_host	(	namespace_type &	xns,
		const poset_path &	xbase_path,
		const poset_path &	xrep_path,
		const std::string &	xfiber_suffix,
		bool	xauto_access
	)

Precondition

• xns.state_is_auto_read_write_accessible(xauto_access)

• xbase_path.full()

• xns.path_is_auto_read_accessible<base_space_poset>(xbase_path, xauto_access)

• xrep_path.full()

• xns.path_is_auto_read_accessible<sec_rep_descriptor_poset>(xrep_path, xauto_access)

• xfiber_suffix.empty() || poset_path::is_valid_name(xfiber_suffix)

• S::fiber_type::template standard_host_is_available<typename S::fiber_type>(xns, xfiber_suffix, xauto_access)

• standard_host_is_available<S>(xns, xbase_path, xrep_path, xfiber_suffix, xauto_access)

Postcondition

• xns.owns(result, xauto_access)

• result.path(true) == standard_host_path<S>(xbase_path, xrep_path, xfiber_suffix)

• result.state_is_not_read_accessible()

• result.schema(true).path(xauto_access) == host_type::standard_schema_path()

• result.base_space_path(true).poset_name() == xbase_path.poset_name()

• result.fiber_space_path(true) == S::fiber_type::template standard_host_path<typename S::fiber_type>(xfiber_suffix)

• result.rep_path(true) == xrep_path

Definition at line 165 of file binary_section_space_schema_member.impl.h.

References fiber_bundle::section_space_schema_poset::base_space_path(), sheaf::namespace_poset::contains_path(), fiber_bundle::section_space_schema_poset::fiber_space_path(), sheaf::poset_path::full(), sheaf::poset_path::is_valid_name(), sheaf::namespace_poset::member_poset(), sheaf::namespace_poset::owns(), sheaf::poset_path::path(), sheaf::poset_component::path(), sheaf::poset_state_handle::path(), sheaf::namespace_poset::path_is_auto_read_accessible(), sheaf::poset_path::poset_name(), fiber_bundle::section_space_schema_poset::rep_path(), sheaf::poset_state_handle::schema(), standard_member(), sheaf::read_write_monitor_handle::state_is_auto_read_write_accessible(), and sheaf::read_write_monitor_handle::state_is_not_read_accessible().

standard_host_is_available()

template<typename S >

bool fiber_bundle::binary_section_space_schema_member::standard_host_is_available ( namespace_poset &  xns, const poset_path &  xbase_path, const poset_path &  xrep_path, const std::string &  xfiber_suffix, bool  xauto_access  )

static

True if and only if the host specified by standard_host_path<S>(xbase_path, xrep_path, xfiber_suffix) does not exist, or it exists and conforms to host_type.

Precondition

• xns.state_is_auto_read_write_accessible(xauto_access)

• xbase_path.full()

• xns.path_is_auto_read_accessible<base_space_poset>(xbase_path, xauto_access)

• xrep_path.empty() || xrep_path.full()

• xrep_path.empty() || xns.path_is_auto_read_accessible<sec_rep_descriptor_poset>(xrep_path, xauto_access)

• xfiber_suffix.empty() || poset_path::is_valid_name(xfiber_suffix)

Definition at line 126 of file binary_section_space_schema_member.impl.h.

References sheaf::poset_path::empty(), sheaf::poset_path::full(), sheaf::poset_path::is_valid_name(), sheaf::namespace_poset::path_is_auto_read_accessible(), sheaf::namespace_poset::path_is_available(), standard_host(), and sheaf::read_write_monitor_handle::state_is_auto_read_write_accessible().

Referenced by standard_member_path().

standard_host_path() [1/2]

template<typename S >

sheaf::poset_path fiber_bundle::binary_section_space_schema_member::standard_host_path	(	const poset_path &	xbase_path,
		const poset_path &	xrep_path,
		const std::string &	xfiber_suffix
	)

Precondition

• xbase_path.full()

• xrep_path.empty() || xrep_path.full()

• xfiber_suffix.empty() || poset_path::is_valid_name(xfiber_suffix)

Postcondition

• !result.full()

Definition at line 49 of file binary_section_space_schema_member.impl.h.

References sheaf::poset_path::empty(), sheaf::poset_path::full(), sheaf::poset_path::is_valid_name(), sheaf::poset_path::member_name(), sheaf::poset_path::poset_name(), and standard_member_path().

standard_host_path() [2/2]

template<typename S >

static poset_path fiber_bundle::binary_section_space_schema_member::standard_host_path ( const poset_path &  xbase_path, const poset_path &  xrep_path, const std::string &  xfiber_suffix  )

static

The standard path for the host of a schema for sections of type S with base space specified by xbase_path, fiber suffix xfiber_suffix, and representation specified by xrep_path.

standard_member() [1/2]

template<typename S >

static poset_path fiber_bundle::binary_section_space_schema_member::standard_member ( namespace_type &  xns, const poset_path &  xbase_path, const poset_path &  xrep_path, const std::string &  xfiber_suffix, bool  xauto_access  )

static

The path for standard schema member for sections of type S with base space sepcified by xbase_path, fiber suffix xfiber_suffix, and representation specified by xrep_path.Creates the standard host and member if they do not already exist.

Referenced by standard_host().

standard_member() [2/2]

template<typename S >

sheaf::poset_path fiber_bundle::binary_section_space_schema_member::standard_member	(	namespace_type &	xns,
		const poset_path &	xbase_path,
		const poset_path &	xrep_path,
		const std::string &	xfiber_suffix,
		bool	xauto_access
	)

Precondition

• precondition_of(standard_host<S>(xns, xbase_path, xrep_path, xfiber_suffix, xauto_access))

Postcondition

• postcondition_of(standard_host<S>(xns, xbase_path, xrep_path, xfiber_suffix, xauto_access))

• result == standard_member_path<S>(xbase_path, xrep_path, xfiber_suffix)

• xns.contains_path(result, xauto_access)

Definition at line 241 of file binary_section_space_schema_member.impl.h.

References fiber_bundle::section_space_schema_poset::contains_member(), fiber_bundle::section_space_schema_poset::fiber_space(), sheaf::poset_component::path(), sheaf::abstract_poset_member::put_name(), and sheaf::poset_state_handle::schema().

standard_member_path() [1/2]

template<typename S >

sheaf::poset_path fiber_bundle::binary_section_space_schema_member::standard_member_path	(	const poset_path &	xbase_path,
		const poset_path &	xrep_path,
		const std::string &	xfiber_suffix
	)

Precondition

• xbase_path.full()

• xrep_path.empty() || xrep_path.full()

• xfiber_suffix.empty() || poset_path::is_valid_name(xfiber_suffix)

Postcondition

• result.full()

Definition at line 89 of file binary_section_space_schema_member.impl.h.

References sheaf::poset_path::empty(), sheaf::poset_path::full(), sheaf::poset_path::is_valid_name(), sheaf::poset_path::member_name(), sheaf::poset_path::put_member_name(), and standard_host_is_available().

standard_member_path() [2/2]

template<typename S >

static poset_path fiber_bundle::binary_section_space_schema_member::standard_member_path ( const poset_path &  xbase_path, const poset_path &  xrep_path, const std::string &  xfiber_suffix  )

static

The standard path for a schema member for sections of type S with base space sepcified by xbase_path, fiber suffix xfiber_suffix, and representation specified by xrep_path.

Referenced by standard_host_path().

standard_schema_path()

const sheaf::poset_path & fiber_bundle::binary_section_space_schema_member::standard_schema_path ( )

static

The path to the standard schema for this class.

Postcondition

• result.full()

Definition at line 42 of file binary_section_space_schema_member.cc.

References sheaf::poset_path::full(), and make_standard_schema().

table_dof_iterator()

binary_section_dof_iterator* fiber_bundle::binary_section_space_schema_member::table_dof_iterator ( int  xversion = CURRENT_MEMBER_VERSION ) const

inline

A postorder iterator over the table dofs defined by this. Synonym for dof_iterator(true).

Definition at line 366 of file binary_section_space_schema_member.h.

type()

sheaf::primitive_type fiber_bundle::binary_section_space_schema_member::type ( ) const

virtual

The primitive type index of the dof defined by this.

Precondition

• state_is_read_accessible()

• fiber_schema().is_jim()

Postcondition

• is_primitive_index(result)

Implements fiber_bundle::section_space_schema_member.

Definition at line 586 of file binary_section_space_schema_member.cc.

References dof_iterator(), fiber_bundle::section_space_schema_member::fiber_schema(), sheaf::abstract_poset_member::is_jim(), sheaf::is_primitive_index(), sheaf::read_write_monitor_handle::state_is_read_accessible(), and sheaf::schema_poset_member::type().

Referenced by alignment().

update_row_cache()

void fiber_bundle::binary_section_space_schema_member::update_row_cache ( bool  xupdate_id_map = false ) const

protectedvirtual

Updates cached row properties.

Reimplemented from fiber_bundle::section_space_schema_member.

Definition at line 636 of file binary_section_space_schema_member.cc.

References fiber_bundle::section_space_schema_member::_discretization_ct, sheaf::schema_poset_member::_row_cache_index, sheaf::schema_poset_member::_row_cache_version, sheaf::schema_poset_member::_row_dof_ct, sheaf::schema_poset_member::_row_dof_descriptors, sheaf::schema_poset_member::_row_dof_tuple_ub, fiber_bundle::section_space_schema_member::fiber_schema(), get_decomposition(), sheaf::poset_component::index(), sheaf::schema_poset_member::row_dof_ct(), sheaf::schema_poset_member::row_dof_tuple_ub(), fiber_bundle::section_space_schema_member::update_row_cache(), and sheaf::poset_component::version().

Referenced by dof_iterator().

---

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

• binary_section_space_schema_member.h
• binary_section_space_schema_member.cc
• binary_section_space_schema_member.impl.h