SheafSystem  0.0.0.0
fiber_bundle::sec_rep_space_member Class Reference

A member of a sec_rep_space; a section. More...

#include <sec_rep_space_member.h>

Inheritance diagram for fiber_bundle::sec_rep_space_member:
sheaf::poset_member sheaf::partial_poset_member sheaf::abstract_poset_member sheaf::poset_component sheaf::read_write_monitor_handle sheaf::any fiber_bundle::sec_tuple fiber_bundle::sec_vd fiber_bundle::sec_jcb fiber_bundle::sec_tp fiber_bundle::sec_jcb_ed fiber_bundle::sec_atp fiber_bundle::sec_stp fiber_bundle::sec_t2 fiber_bundle::sec_t3 fiber_bundle::sec_t4 fiber_bundle::sec_jcb_e13 fiber_bundle::sec_jcb_e23 fiber_bundle::sec_jcb_e33 fiber_bundle::sec_at0 fiber_bundle::sec_at1 fiber_bundle::sec_at2 fiber_bundle::sec_at3 fiber_bundle::sec_st2 fiber_bundle::sec_st3 fiber_bundle::sec_st4 fiber_bundle::sec_t2_e2 fiber_bundle::sec_t2_e3 fiber_bundle::sec_t3_e3 fiber_bundle::sec_t4_e2 fiber_bundle::sec_t4_e3

SEC_REP_SPACE_MEMBER FACET

typedef binary_section_space_schema_member schema_type
 The schema type. More...
 
typedef binary_section_space_schema_poset schema_host_type
 The host type of the schema. More...
 
virtual const std::string & class_name () const
 The name of this class. More...
 
 sec_rep_space_member ()
 Default constructor; creates an unattached handle. More...
 
 sec_rep_space_member (const sec_rep_space_member &xother, bool xnew_jem=false)
 Copy constructor; creates new sec_rep_space_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...
 
virtual sec_rep_space_memberoperator= (const abstract_poset_member &xother)
 Assignment operator; synonym for attach_to_state(xother). More...
 
sec_rep_space_memberoperator= (const sec_rep_space_member &xother)
 Assignment operator; synonym for attach_to_state(xother). More...
 
 ~sec_rep_space_member ()
 Destructor. More...
 
sec_rep_space_memberclone (bool xnew_state, bool xauto_access=true) const
 Make a new handle instance of current. Attach the new instance to a new state if xnew_state is true. Otherwise, attach the new instance to the current state. More...
 
 sec_rep_space_member (sec_rep_space *xhost, section_dof_map *xdof_map=0, bool xauto_access=true)
 Creates a new section handle attached to a new jim state ("explicit prevents interpretation as implicit conversion from sec_rep_space* to sec_rep_space_member&) More...
 
 sec_rep_space_member (sec_rep_space *xhost, abstract_poset_member &xbase_mbr, int xbase_version=CURRENT_HOST_VERSION, bool xauto_access=true)
 Creates a new section handle attached to a new jim state, a partial section defined only on version xbase_version of base space member xbase_mbr. More...
 
 sec_rep_space_member (sec_rep_space *xhost, const subposet &xbase_parts, bool xauto_access)
 Creates a new handle attached to a new jrm state which is a multi-section with a branch for each member of the base space contained in xbase_parts. More...
 
 sec_rep_space_member (sec_rep_space *xhost, 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 jims with the indices given in xjims_indices. More...
 
 sec_rep_space_member (const sec_rep_space *xhost, pod_index_type xindex)
 Creates a new sec_rep_space_member handle attached to the member state with index xindex in xhost. More...
 
 sec_rep_space_member (const sec_rep_space *xhost, const scoped_index &xindex)
 Creates a new sec_rep_space_member handle attached to the member state with index xindex in xhost. More...
 
 sec_rep_space_member (const sec_rep_space *xhost, const std::string &xname)
 Creates a new sec_rep_space_member handle attached to the member state with name xname in xhost. More...
 
 sec_rep_space_member (const namespace_poset *xnamespace, const poset_path &xpath, bool xauto_access=true)
 Creates a new sec_rep_space_member handle attached to the member state with path xpath in the namespace xnamespace. More...
 
 sec_rep_space_member (const namespace_poset *xnamespace, pod_index_type xposet_index, pod_index_type xmember_index)
 Creates a new sec_rep_space_member handle attached to the member state with index xmember_index in the poset with index xposet_index in the namespace xnamespace. More...
 
 sec_rep_space_member (const namespace_poset *xnamespace, const scoped_index &xposet_index, const scoped_index &xmember_index)
 Creates a new sec_rep_space_member handle attached to the member state with index xmember_index in the poset with index xposet_index in the namespace xnamespace. More...
 
 sec_rep_space_member (const sec_rep_space_member *xother)
 Creates a new sec_rep_space_member handle attached to the same state as xother. ("explicit" prevents interpretation as implicit conversion from sec_rep_space_member* to sec_rep_space_member&) More...
 
void new_jim_state (abstract_poset_member &xbase_mbr, int xbase_version=CURRENT_HOST_VERSION, bool xauto_access=true)
 Creates a new jim state in host() and attaches this handle to the state. The state is a partial section defined only on version xbase_version of base space member xbase_mbr. More...
 
void new_jim_state (sec_rep_space *xhost, const abstract_poset_member &xbase_mbr, int xbase_version=CURRENT_HOST_VERSION, bool xauto_access=true)
 Creates a new jim state in host xhost and attaches this handle to the state. The state is a partial section defined only on version xbase_version of base space member xbase_mbr. More...
 
void new_jrm_state (sec_rep_space *xhost, const subposet &xbase_parts, bool xauto_access)
 Multisection constructor; creates a new jrm state which is a multi-section with a branch for each member of the base space contained in xbase_parts and attaches this to it. More...
 
static const std::string & static_class_name ()
 The name of this class. More...
 
static std::string standard_schema_poset_name (const std::string &xschema_member_name)
 The standard name for the section_space_schema_poset constructed for the schema member with name xschema_member_name. /. More...
 
static std::string standard_fiber_space_name (const poset_path &xschema_path)
 The standard name for the fiber space constructed for the schema member with path xschema_path. More...
 
static std::string standard_section_space_name (const std::string &xfiber_space_name, const std::string &xbase_space_name)
 The standard name for the section space with fiber space poset name xfiber_space_name and base space poset name xbase_space_name. More...
 

MULTISECTION FACET

bool is_multisection (bool xauto_access) const
 True if this is a multisection. More...
 
bool has_branch_id_space (bool xauto_access) const
 True if this is a multisection and it has a branch sequence id space. More...
 
scattered_insertion_index_space_handleget_branch_id_space (bool xauto_access)
 Allocate an id space handle from the handle pool attached to the branch id space for this member. More...
 
void release_branch_id_space (index_space_handle &xid_space, bool xauto_access) const
 Returns the id space handle xid_space to the handle pool. More...
 
bool allocated_branch_handle (index_space_handle &xid_space, bool xauto_access) const
 True if the handle pool allocated xid_space. More...
 
index_space_iteratorget_branch_id_space_iterator (bool xauto_access) const
 Allocates an iterator from the iterator pool attached to the branch id space for this member. More...
 
void release_branch_id_space_iterator (index_space_iterator &xitr, bool xauto_access) const
 Returns the iterator xitr to the iterator pool. More...
 
bool allocated_branch_iterator (index_space_iterator &xitr, bool xauto_access) const
 True if the id space iterator xitr was allocated by the iterator pool. More...
 

SCHEMA FACET

virtual section_space_schema_memberschema ()
 The restricted schema for this (mutable version). More...
 
virtual const section_space_schema_memberschema () const
 The restricted schema for this (const version). More...
 
section_space_schema_memberschema (bool xauto_access)
 The schema for this, auto-accessible (mutable version). More...
 
const section_space_schema_memberschema (bool xauto_access) const
 The schema for this, auto-accessible (const version). More...
 
virtual section_space_schema_memberunrestricted_schema ()
 The unrestricted schema for this poset membe (mutable version). More...
 
virtual const section_space_schema_memberunrestricted_schema () const
 The unrestricted schema for this poset member (const version). More...
 

RESTRICTION FACET

abstract_poset_memberbase ()
 The restricted base of this section space member (mutable version) More...
 
const abstract_poset_memberbase () const
 The restricted base of this section space member (const version) More...
 
bool same_base (const sec_rep_space_member *xother) const
 True if this has the same base as xother. More...
 
virtual int db () const
 The dimension of the restricted base. More...
 
bool same_rep (const sec_rep_space_member *xother) const
 True if this has the same rep and same base as xother. /. More...
 
int discretization_ct () const
 The number of members of the discretization subposet contained in the down set of the restricted base. More...
 
int discretization_ct (bool xaxto_access) const
 The number of members of the discretization subposet contained in the down set of the restricted base. More...
 
int evaluation_ct () const
 The number of members of the evaluation subposet contained in the down set of the restricted base. More...
 
schema_poset_memberfiber_schema ()
 The schema of the restricted fiber of this section space member (mutable version) More...
 
const schema_poset_memberfiber_schema () const
 The schema of the restricted fiber of this section space member (const version) More...
 
posetfiber ()
 The unrestricted fiber of host() (mutable version). More...
 
const posetfiber () const
 The unrestricted fiber of host() (const version). More...
 
int df () const
 The dimension of the restricted fiber. More...
 
virtual void restrict_to (pod_index_type xbase_id, pod_index_type xfiber_schema_id)
 Restricts this section to base with index xbase_id and fiber schema with index xfiber_schema_id. More...
 
void restrict_to (const scoped_index &xbase_id, const scoped_index &xfiber_schema_id)
 Restricts this section to base with index xbase_id and fiber schema with index xfiber_schema_id. More...
 
virtual void restrict_to (const abstract_poset_member *xbase, const abstract_poset_member *xfiber_schema)
 Restricts this section to base xbase and fiber schema xfiber_schema. More...
 
bool base_is_restricted () const
 True if base() is not the same as host()->base();. More...
 
bool fiber_schema_is_restricted () const
 True if fiber_schema() is not the same as host()->fiber_schema(). More...
 
int version () const
 The base space version this section is defined on. More...
 

NEW DOF ACCESS FACET

virtual void get_dof (pod_index_type xdisc_id, pod_index_type xfiber_dof_id, void *xdof, size_type xdof_size) const
 Copies the dof referred to by xdisc_id, xfiber_dof_id into xdof. More...
 
void get_dof (const scoped_index &xdisc_id, const scoped_index &xfiber_dof_id, void *xdof, size_type xdof_size, bool xauto_access) const
 Copies the dof referred to by xdisc_id, xfiber_dof_id into xdof. More...
 
virtual void put_dof (pod_index_type xdisc_id, pod_index_type xfiber_dof_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 &xdisc_id, const scoped_index &xfiber_dof_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...
 
void get_fiber (pod_index_type xdisc_id, void *xfiber, size_type xfiber_size) const
 Sets xfiber to the fiber referred to by discretization id xdisc_id. More...
 
void get_fiber (const scoped_index &xdisc_id, void *xfiber, size_type xfiber_size, bool xauto_access) const
 Sets xfiber to the fiber referred to by discretization id xdisc_id. More...
 
void put_fiber (pod_index_type xdisc_id, const void *xfiber, size_type xfiber_size)
 Sets the fiber referred to by discretization id xdisc_id to xfiber. More...
 
void put_fiber (const scoped_index &xdisc_id, const void *xfiber, size_type xfiber_size, bool xauto_access)
 Sets the fiber referred to by discretization id xdisc_id to xfiber. More...
 
void force_fiber (pod_index_type xdisc_id, const void *xfiber, size_type xfiber_size)
 Sets the fiber referred to by discretization id xdisc_id to xfiber; reallocates dof map memory if necessary. More...
 
void force_fiber (const scoped_index &xdisc_id, const void *xfiber, size_type xfiber_size, bool xauto_access)
 Sets the fiber referred to by discretization id xdisc_id to xfiber; reallocates dof map memory if necessary. More...
 
void get_component (pod_index_type xfiber_dof_id, void *xcomponent, size_type xcomponent_size) const
 Sets xcomponent to the component referred to by fiber id xfiber_dof_id. More...
 
void get_component (const scoped_index &xfiber_dof_id, void *xcomponent, size_type xcomponent_size, bool xauto_access) const
 Sets xcomponent to the component referred to by fiber id xfiber_dof_id. More...
 
void put_component (pod_index_type xfiber_dof_id, const void *xcomponent, size_type xcomponent_size)
 Sets the xcomponent referred to by fiber id xfiber_dof_id to xcomponent. More...
 
void put_component (const scoped_index &xfiber_dof_id, const void *xcomponent, size_type xcomponent_size, bool xauto_access)
 Sets the component referred to by fiber id xfiber_dof_id to xcomponent. More...
 

DEGREE OF FREEDOM (DOF) TUPLE FACET

size_t dof_tuple_size ()
 Get the size in bytes of the restricted dof tuple for this member. More...
 
size_t fiber_size ()
 Get the size in bytes of the restricted fiber for this member. More...
 
virtual section_dof_mapdof_map (bool xrequire_write_access=false)
 The map from client_ids to dof values for this poset member (mutable version) More...
 
virtual const section_dof_mapdof_map (bool xrequire_write_access=false) const
 The map from client_ids to dof values for this poset member (const version) More...
 
virtual bool dof_map_is_ancestor_of (const poset_dof_map *xdof_map) const
 True if xdof_map conforms to (is derived from) the type of dof map required by this handle. More...
 

HOST POSET FACET

sec_rep_spacehost () const
 The section representation space this is a member of. More...
 
virtual bool host_is_ancestor_of (const poset_state_handle *xother) const
 True if other conforms to host. More...
 

ANY FACET

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

Additional Inherited Members

- Public Types inherited from sheaf::abstract_poset_member
typedef namespace_poset namespace_type
 The type of namespace for this type of member. More...
 
typedef poset host_type
 The type of host poset for this type of member. More...
 
typedef abstract_poset_member_table_dofs_type table_dofs_type
 The type of the table dofs. More...
 
typedef abstract_poset_member_row_dofs_type row_dofs_type
 The type of the row dofs. More...
 
- Public Member Functions inherited from sheaf::poset_member
 poset_member ()
 Default constructor; creates a new, unattached poset_member handle. More...
 
 poset_member (const abstract_poset_member &xother, bool xnew_jem=false)
 Copy constructor; creates a new 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...
 
poset_memberoperator= (const poset_member &xother)
 Assignment operator; synonym for attach_to_state(xother). More...
 
virtual ~poset_member ()
 Destructor; deletes a poset member and its attached state, if any. More...
 
poset_memberclone (bool xnew_state, bool xauto_access=true) const
 Make a new handle instance of current. Attach the new instance to a new state if xnew_state is true. Otherwise, attach the new instance to the current state. More...
 
 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. ("explicit" prevents interpretation as implicit conversion from poset_state_handle* to poset_member&) More...
 
 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...
 
 poset_member (const poset_state_handle *xhost, pod_index_type xhub_id)
 Creates a new poset_member handle attached to the member state with hub id xhub_id in xhost. More...
 
 poset_member (const poset_state_handle *xhost, const scoped_index &xid)
 Creates a new poset_member handle attached to the member state with id xid in xhost. More...
 
 poset_member (const poset_state_handle *xhost, const std::string &xname)
 Creates a new poset_member handle attached to the member state with name xname in xhost. More...
 
 poset_member (const namespace_poset *xnamespace, const poset_path &xpath, bool xauto_access=true)
 Creates a new poset_member handle attached to the member state with path xpath in the namespace xnamespace. More...
 
virtual void restrict_to (const abstract_poset_member *xschema)
 Restricts this handle to the down set of xschema. More...
 
virtual void restrict_to_same (const abstract_poset_member *xother)
 Restricts this handle to the same restriction as xother. More...
 
virtual void unrestrict ()
 Removes any restriction; schema to the schema of host. More...
 
poset_membergreatest_jem () const
 The largest member which is join-equivalent to this. More...
 
poset_memberleast_jem () const
 The smallest member which is join-equivalent to this. More...
 
poset_memberp_join (poset_member *other) const
 poset join of this with other, auto-allocated
the poset join is the least upper bound in the poset More...
 
poset_memberp_meet (poset_member *other)
 poset meet of this with other, auto-allocated
the poset meet is the greatest lower bound in the poset More...
 
poset_memberl_join (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...
 
poset_memberl_meet (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...
 
poset_memberl_not (bool xnew_jem=true) const
 lattice pseudo-complement of this, auto-allocated
The lattice pseudo-complement is the largest lattice member m for which this.l_meet(m) = 0 More...
 
- Public Member Functions inherited from sheaf::partial_poset_member
 partial_poset_member ()
 Default constructor; creates a new, unattached partial_poset_member handle. More...
 
 partial_poset_member (const abstract_poset_member &xother, bool xnew_jem=false)
 Copy constructor; creates a new partial_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...
 
partial_poset_memberoperator= (const partial_poset_member &xother)
 Assignment operator; attaches this to the same state as xother. More...
 
virtual ~partial_poset_member ()
 Destructor; deletes a poset member and its attached state, if any. More...
 
partial_poset_memberclone (bool xnew_state, bool xauto_access=true) const
 Make a new handle instance of current. Attach the new instance to a new state if xnew_state is true. Otherwise, attach the new instance to the current state. More...
 
 partial_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. ("explicit" prevents interpretation as implicit conversion from poset_state_handle* to partial_poset_member&) More...
 
 partial_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...
 
 partial_poset_member (const poset_state_handle *xhost, pod_index_type xhub_id)
 Creates a new partial_poset_member handle attached to the member state with hub id xhub_id in xhost. More...
 
 partial_poset_member (const poset_state_handle *xhost, const scoped_index &xid)
 Creates a new partial_poset_member handle attached to the member state with id xid in xhost. More...
 
 partial_poset_member (const poset_state_handle *xhost, const std::string &xname)
 Creates a new partial_poset_member handle attached to the member state with name xname in xhost. More...
 
 partial_poset_member (const namespace_poset *xnamespace, const poset_path &xpath, bool xauto_access=true)
 Creates a new partial_poset_member handle attached to the member state with path xpoath in the namespace xnamespace. More...
 
 partial_poset_member (schema_poset_member *xschema)
 Covariant constructor. More...
 
virtual int dof_ct () const
 The number of dofs in restricted schema of this poset member. More...
 
partial_poset_membergreatest_jem () const
 The largest member which is join-equivalent to this. More...
 
partial_poset_memberleast_jem () const
 The smallest member which is join-equivalent to this. More...
 
partial_poset_memberp_join (partial_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...
 
partial_poset_memberp_meet (partial_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...
 
partial_poset_memberl_join (partial_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...
 
partial_poset_memberl_meet (partial_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...
 
partial_poset_memberl_not (bool xnew_jem=true) const
 lattice pseudo-complement of this, auto-, pre- and self allocated versions The lattice pseudo-complement is the largest lattice member m for which this.l_meet(m) = 0 More...
 
virtual void detach_from_state ()
 Detach this handle from its state, if any. More...
 
- Public Member Functions inherited from sheaf::abstract_poset_member
virtual ~abstract_poset_member ()
 Destructor; deletes a poset member and its attached state, if any. More...
 
abstract_poset_memberclone (bool xnew_state, bool xauto_access=true) const
 Virtual constructor; makes a new handle of the same type as this, attached to a new state (xnew_state true) or attached to the same state as this (xnew_state false). More...
 
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 host() and attaches this to it. 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...
 
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...
 
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...
 
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 xhost 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...
 
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 &xgreatest, bool xauto_access=true)
 Computes the join of the members with the indices given in xexpansion. If the join already exists and xgreatest_jem: is_true(), creates a new greatest jem of the existing join and attaches to it; is_false(), creates a new least jem of the existing join and attaches to it; is_neither(), attaches to the existing join;. More...
 
virtual void new_jrm_state (poset_state_handle *xhost, const scoped_index *xexpansion, int xexpansion_ct, const tern &xgreatest, bool xauto_access=true)
 Computes the join of the members with the indices given in xexpansion. If the join already exists and xgreatest_jem: is_true(), creates a new greatest jem of the existing join and attaches to it; is_false(), creates a new least jem of the existing join and attaches to it; is_neither(), attaches to the existing join;. More...
 
virtual void new_jem_state (abstract_poset_member *xother, bool xgreatest, bool xauto_access)
 Creates a new jrm state in host() which is the greatest jem (xgreatest true) or least jem (xgreatest false) of 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 the greatest jem (xgreatest true) or least jem (xgreatest false) of hub id xhub_id and attaches this to it. More...
 
void new_jem_state (poset_state_handle *xhost, const scoped_index &xid, bool xgreatest, bool xauto_access)
 Creates a new jrm state in xhost which is the greatest jem (xgreatest true) or least jem (xgreatest false) of id xid and attaches this to it. More...
 
virtual bool is_jim (bool xin_current_version=true) const
 True if this member is join irreducible in the current version of the host (xin_current_version == true) or in some version of the host (xin_current_version == false). More...
 
virtual bool is_atom () const
 True if this member covers the bottom. More...
 
schema_poset_memberschema (bool xauto_access)
 The schema for this poset member, auto-accessible (mutable version). More...
 
const schema_poset_memberschema (bool xauto_access) const
 The schema for this poset member, auto-accessible (const version). More...
 
bool schema_is (const std::string &xschema_name) const
 True if the schema of this has name xname. More...
 
bool same_schema (const abstract_poset_member *xother) const
 True if xother has the same schema (column poset) as this. More...
 
virtual bool is_restricted () const
 True if handle is a restriction of the state, that is, if schema() is not the same as host()->schema(). More...
 
virtual bool is_same_restriction (const abstract_poset_member *xother) const
 True if this is the same restriction as xother, that is, if schema().is_same_state(xother.schema()). More...
 
void dof_tuple (const void *xbuf, size_t xbuflen) const
 Copies the entire dof tuple between xbuf and internal storage. More...
 
void put_dof_tuple (const void *xbuf, size_t xbuflen)
 Copies the entire dof tuple between xbuf and internal storage. More...
 
pod_index_type dof_tuple_id (bool xauto_access) const
 The dof tuple index of this member. More...
 
void dof_tuple_id (scoped_index &result, bool xauto_access) const
 The dof tuple index of this member. More...
 
void put_dof_tuple_id (pod_index_type xtuple_index, bool xauto_access)
 Sets dof tuple index to xtuple_index. More...
 
void put_dof_tuple_id (const scoped_index &xtuple_index, bool xauto_access)
 Sets dof tuple index to xtuple_index. More...
 
void * table_dofs ()
 The table dofs for this instance (mutable version). More...
 
const void * table_dofs () const
 The table dofs for this instance (const version). More...
 
void * table_dofs (bool xauto_access)
 The table dofs for this instance (mutable auto-access version). More...
 
const void * table_dofs (bool xauto_access) const
 The table dofs for this instance (const auto-access version). More...
 
void * row_dofs ()
 The row dofs for this instance (mutable version). More...
 
const void * row_dofs () const
 The row dofs for this instance (const version). More...
 
void * row_dofs (bool xauto_access)
 The row dofs for this instance (mutable auto-access version). More...
 
const void * row_dofs (bool xauto_access) const
 The row dofs for this instance (const auto-access version). More...
 
primitive_value dof (pod_index_type xdof_id) const
 The dof referred to by xdof_id. More...
 
primitive_value dof (const scoped_index &xdof_id, bool xauto_access) const
 The dof referred to by xdof_id. More...
 
void put_dof (pod_index_type xdof_id, const primitive_value &xdof)
 Sets the dof referred to by xdof_id to xdof. More...
 
void put_dof (const scoped_index &xdof_id, const primitive_value &xdof, bool xauto_access)
 Sets the dof referred to by xdof_id to xdof. More...
 
void get_dof (pod_index_type xdof_id, void *xdof, size_type xdof_size) const
 Copies the dof referred to by xdof_id into xdof. More...
 
void get_dof (const scoped_index &xdof_id, void *xdof, size_type xdof_size, bool xauto_access) const
 Copies the dof referred to by xdof_id into xdof. More...
 
void put_dof (pod_index_type xdof_id, const void *xdof, size_type xdof_size)
 Sets the dof referred to by xdof_id to the value at xdof. More...
 
void put_dof (const scoped_index &xdof_id, const void *xdof, size_type xdof_size, bool xauto_access)
 Sets the dof referred to by xdof_id to the value at xdof. More...
 
bool le (pod_index_type xother_index) const
 True if this is less than or equal to the member with index xother_index. More...
 
bool le (const scoped_index &xother_index) const
 True if this is less than or equal to the member with index xother_index. More...
 
bool le (const abstract_poset_member *other) const
 True if this is less than or equal to other. More...
 
bool leqv (pod_index_type xother_index) const
 True if this is less than or equivalent to the member with index xother_index. More...
 
bool leqv (const scoped_index &xother_index) const
 True if this is less than or equivalent to the member with index xother_index. More...
 
bool lt (pod_index_type xother_index) const
 True if this is strictly less than the member with index xother_index. More...
 
bool lt (const scoped_index &xother_index) const
 True if this is strictly less than the member with index xother_index. More...
 
bool lt (const abstract_poset_member *other) const
 true if this is strictly less than other More...
 
bool ge (pod_index_type xother_index) const
 True if this is greater than or equal to the member with index xother_index. More...
 
bool ge (const scoped_index &xother_index) const
 True if this is greater than or equal to the member with index xother_index. More...
 
bool ge (const abstract_poset_member *other) const
 true if this is greater than or equal to other More...
 
bool geqv (pod_index_type xother_index) const
 True if this is greater than or equivalent to the member with index xother_index. More...
 
bool geqv (const scoped_index &xother_index) const
 True if this is greater than or equivalent to the member with index xother_index. More...
 
bool gt (pod_index_type xother_index) const
 True if this is strictly greater than the member with index xother_index. More...
 
bool gt (const scoped_index &xother_index) const
 True if this is strictly greater than the member with index xother_index. More...
 
bool gt (const abstract_poset_member *other) const
 True if this is strictly greater than other. More...
 
bool is_jem (const abstract_poset_member *xother) const
 True if xother is join equivalent to this. More...
 
abstract_poset_membergreatest_jem () const
 The largest member which is join-equivalent to this. More...
 
void greatest_jem_pa (abstract_poset_member *result) const
 The largest member which is join-equivalent to this. More...
 
abstract_poset_memberleast_jem () const
 The smallest member which is join-equivalent to this. More...
 
void least_jem_pa (abstract_poset_member *result) const
 The smallest member which is join-equivalent to this. More...
 
virtual void merge_jem (const abstract_poset_member *xjem)
 Merge the join-equivalence class of xjem under the join equivalence class of 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...
 
virtual void create_cover_link (abstract_poset_member *xlesser)
 Insert a link from this to lesser; make lesser <= this. More...
 
virtual void delete_cover_link (abstract_poset_member *lesser)
 Delete the link from this to lesser; make lesser incomparable to this. More...
 
index_space_handleget_cover_id_space (bool xlower) const
 Allocates a handle for the lower (xlower true) or upper (xlower false) cover id space of this member from the pool of id spaces. More...
 
void release_cover_id_space (index_space_handle &xcover_id_space) const
 Returns xcover_id_space to the pool of id spaces. More...
 
index_space_iteratorget_cover_id_space_iterator (bool xlower) const
 Allocates an iterator for the lower (xlower true) or upper (xlower false) cover id space of this member from the pool of id space iterators. More...
 
void release_cover_id_space_iterator (index_space_iterator &xcover_itr) const
 Returns xcover_itr to the pool of id spaces. More...
 
bool cover_contains_iterator (bool xlower, const index_space_iterator &xitr) const
 True if and only if the lower (xlower true) or upper (xlower false) cover id space of this is the domain of iterator xitr. More...
 
bool cover_is_empty (bool xlower) const
 True if and only if the lower (xlower true) or upper (xlower false) cover this is empty. More...
 
bool cover_is_singleton (bool xlower) const
 True if and only if the lower (xlower true) or upper (xlower false) cover set of this contains exactly one member. More...
 
virtual size_type cover_ct (bool lower) const
 The number of members in the lower cover (xlower true) or upper cover (xlower false) of this. More...
 
bool cover_contains_member (bool xlower, pod_index_type xother_mbr_index) const
 True if and only if the lower (xlower true) or upper (xlower false) cover set of this contains xother_mbr_index. More...
 
bool cover_contains_member (bool xlower, const scoped_index &xother_mbr_index) const
 True if and only if the lower (xlower true) or upper (xlower false) cover set of this contains xother_mbr_index. More...
 
bool cover_is_equal (bool xlower, pod_index_type xother_mbr_index) const
 True if and only if the lower (xlower true) or upper (xlower false) cover of this contains the same members as the lower or upper cover, respectively, of the member with index xother_mbr_index. More...
 
bool cover_is_equal (bool xlower, const scoped_index &xother_mbr_index) const
 True if and only if the lower (xlower true) or upper (xlower false) cover of this contains the same members as the lower or upper cover, respectively, of the member with index xother_mbr_index. More...
 
pod_index_type first_cover_member (bool xlower) const
 The first member of the lower (xlower true) or upper (xlower false) cover of this. More...
 
void first_cover_member (bool xlower, scoped_index &result) const
 The first member of the lower (xlower true) or upper (xlower false) cover of this. More...
 
void insert_cover_member (pod_index_type xother_mbr_index, bool xlower)
 Inserts xother_mbr_index in the lower (xlower true) or upper (xlower false) cover set of this. More...
 
void insert_cover_member (const scoped_index &xother_mbr_index, bool xlower)
 Inserts xother_mbr_index in the lower (xlower true) or upper (xlower false) cover set of this. More...
 
void remove_cover_member (pod_index_type xother_mbr_index, bool xlower)
 Removes xother_mbr_index from the lower (xlower true) or upper (xlower false) cover set of this. More...
 
void remove_cover_member (const scoped_index &xother_mbr_index, bool xlower)
 Removes xother_mbr_index from the lower (xlower true) or upper (xlower false) cover set of this. If xitr is at the end, forces xitr.is_done(). Otherwise, increments xitr to the next position. More...
 
void remove_cover_member (index_space_iterator &xitr, bool xlower)
 Removes the current item of xitr from the lower (xlower true) or upper (xlower false) cover set of this. More...
 
void clear_cover (bool xlower)
 Clears the lower (xlower true) or upper (xlower false) cover set of this. More...
 
void copy_cover (bool xlower, pod_index_type xother_mbr_index)
 Copies the lower (xlower true) or upper (xlower false) cover of this to the member with index xother_mbr_index. More...
 
void copy_cover (bool xlower, const scoped_index &xother_mbr_index)
 Copies the lower (xlower true) or upper (xlower false) cover of this to the member with index xother_mbr_index. More...
 
int down_ct () const
 The number of members in the down set of this member. More...
 
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...
 
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...
 
virtual subposetdown () const
 The down set of this, auto-allocated version. More...
 
virtual void down_pa (subposet *result) const
 The down set of this, pre-allocated version. 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...
 
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...
 
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 subposetup () const
 The up set of this member, auto- and pre-allocated versions. More...
 
virtual void up_pa (subposet *result) const
 The up set of this member, auto- and pre-allocated versions. More...
 
virtual int jim_ct () const
 The number of members in the set of jims contained in the down set of this member. More...
 
virtual subposetjims ()
 The set of jims contained in the down set of this member, auto-allocated. More...
 
virtual void jims_pa (subposet *result)
 The set of jims contained in the down set of this member, pre-allocated. More...
 
virtual int maximal_jim_ct () const
 The number of maximal members in the set of jims contained in the down set of this member. More...
 
virtual subposetmaximal_jims ()
 The maximal members of the set of jims contained in this member, auto-allocated. More...
 
virtual void maximal_jims_pa (subposet *result) const
 The maximal members of the set of jims contained in this member, pre-allocated. More...
 
virtual int atom_ct () const
 The number of members in the set of atoms contained in the down set of this member. More...
 
virtual subposetatoms () const
 The set of atomss contained in the down set of this member, auto-allocated. More...
 
virtual void atoms_pa (subposet *result) const
 The set of atomss contained in the down set of this member, pre-allocated. More...
 
abstract_poset_memberp_join (abstract_poset_member *other) const
 poset join of this with other, auto-allocated
the poset join is the least upper bound in the poset More...
 
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...
 
void p_join_sa (abstract_poset_member *other)
 poset join of this with other, self-allocated
the poset join is the least upper bound in the poset More...
 
abstract_poset_memberp_meet (abstract_poset_member *other)
 poset meet of this with other, auto-allocated
the poset meet is the greatest lower bound in the poset More...
 
virtual void p_meet_pa (abstract_poset_member *other, abstract_poset_member *result)
 poset meet of this with other, pre-allocated
the poset meet is the greatest lower bound in the poset More...
 
void p_meet_sa (abstract_poset_member *other)
 poset meet of this with other, self-allocated
the poset meet is the greatest lower bound in the poset More...
 
abstract_poset_memberl_join (abstract_poset_member *other, bool xnew_jem=true)
 lattice join of this with other, auto-allocated
the lattice join is the least upper bound in the lattice generated by the jims in the poset More...
 
void l_join_pa (abstract_poset_member *other, abstract_poset_member *result, bool xnew_jem=true)
 lattice join of this with other, pre-allocated
the lattice join is the least upper bound in the lattice generated by the jims in the poset More...
 
void l_join_sa (abstract_poset_member *other, bool xnew_jem=true)
 lattice join of this with other, self-allocated
the lattice join is the least upper bound in the lattice generated by the jims in the poset More...
 
abstract_poset_memberl_meet (abstract_poset_member *other, bool xnew_jem=true)
 lattice meet of this with other, auto-allocated
the lattice meet is the greatest lower bound in the lattice generated by the jims in the poset More...
 
void l_meet_pa (abstract_poset_member *other, abstract_poset_member *result, bool xnew_jem=true)
 lattice meet of this with other, pre-allocated
the lattice meet is the greatest lower bound in the lattice generated by the jims in the poset More...
 
void l_meet_sa (abstract_poset_member *other, bool xnew_jem=true)
 lattice meet of this with other, self-allocated
the lattice meet is the greatest lower bound in the lattice generated by the jims in the poset More...
 
abstract_poset_memberl_not (bool xnew_jem=true) const
 lattice pseudo-complement of this, auto-allocated
The lattice pseudo-complement is the largest lattice member m for which this.l_meet(m) = 0 More...
 
void l_not_pa (abstract_poset_member *result, bool xnew_jem=true) const
 lattice pseudo-complement of this, pre-allocated
The lattice pseudo-complement is the largest lattice member m for which this.l_meet(m) = 0 More...
 
void l_not_sa (bool xnew_jem=true) const
 lattice pseudo-complement of this, self-allocated
The lattice pseudo-complement is the largest lattice member m for which this.l_meet(m) = 0 More...
 
virtual bool is_valid_index (const poset_state_handle *xhost, pod_index_type xhub_id, int xversion=CURRENT_HOST_VERSION) const
 True if there exists a component of the same type as this with hub id xhub_id in version xversion of xhost. More...
 
bool is_valid_index (const poset_state_handle *xhost, const scoped_index &xid, int xversion=CURRENT_HOST_VERSION) const
 True if there exists a component of the same type as this with id xid in version xversion of xhost. More...
 
const index_space_familyid_spaces () const
 The id space family for this member. More...
 
virtual const hub_index_space_handlehub_id_space () const
 The hub id space; const version. More...
 
virtual const scoped_indexhub_id () const
 A id in the hub id space for components of this type; intended for copying to initialize ids to the hub id space. More...
 
virtual scoped_index hub_id (pod_index_type xid) const
 An id in the member hub id space with pod xid. More...
 
virtual pod_index_type get_index_from_name (const poset_state_handle *xhost, const std::string &xname) const
 Gets the index of the component in xhost with name xname. More...
 
virtual void get_index_from_name (const poset_state_handle *xhost, const std::string &xname, scoped_index &result) const
 Gets the index of the component in xhost with name xname. More...
 
std::string name () const
 A name for this. More...
 
virtual std::string name (bool xauto_access) const
 A name for this. More...
 
virtual void all_names (block< std::string > &xresult, bool xauto_access=false) const
 All the names for this. More...
 
virtual size_type name_ct (bool xauto_access) const
 The number of names for this. More...
 
virtual bool has_name (const std::string &xname, bool xauto_access=false) const
 True if xname is a name for this. More...
 
virtual void put_name (const std::string &xname, bool xunique, bool xauto_access)
 Make xname a name for this; if xunique, make xname the only name. More...
 
virtual void delete_name (const std::string &xname, bool xauto_access=false)
 Delete all names for this. More...
 
virtual void delete_all_names (bool xauto_access=false)
 Delete all the names for this. More...
 
void attach_to_state (const namespace_poset *xns, const poset_path &xpath, bool xauto_access=true)
 Attach to the state specified by path xpath in the namespace xns. More...
 
void attach_to_state (const namespace_poset *xnamespace, pod_index_type xposet_index, pod_index_type xmember_index, bool xauto_access=true)
 Attach to the state with name xmember_index in the poset with name xposet_index in the namespace xnamespace. More...
 
void attach_to_state (const namespace_poset *xnamespace, const scoped_index &xposet_index, const scoped_index &xmember_index, bool xauto_access=true)
 Attach to the state with name xmember_index in the poset with name xposet_index in the namespace xnamespace. More...
 
virtual void delete_state (bool xauto_access=false)
 Detachs this from its state and then deletes the state. More...
 
virtual void to_stream (std::ostream &xos=std::cout) const
 Virtual stream insertion. More...
 
- Public Member Functions inherited from sheaf::poset_component
virtual ~poset_component ()
 Destructor. More...
 
const scoped_indexindex () const
 The index of the component state this handle is attached to. More...
 
bool is_valid_index (const poset_state_handle *xhost, const scoped_index &xid, int xversion=CURRENT_HOST_VERSION) const
 True if there exists a component of the same type as this with id xid in version xversion of xhost. More...
 
int version (bool xunalias=true) const
 The (possibly aliased) version of this component. The version of the host used when evaluating properties of this component. If unalias == true, return actual version alias refers to. More...
 
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...
 
int unaliased_version (int xversion) const
 The actual version associated with (possibly aliased) version xversion in this. More...
 
pod_index_type version_index () const
 The subposet index for the filter associated with version(). More...
 
void version_index (scoped_index &result) const
 The subposet index for the filter associated with version(). More...
 
std::string version_name () const
 The subposet name for the filter associated with version(). More...
 
bool has_version (int xversion) const
 True if xversion is a valid version for this. More...
 
std::string name () const
 OBSOLETE: use name(bool xauto_access). A name for this. More...
 
bool is_valid_name (const poset_state_handle *xhost, const std::string &xname) const
 True if there exists a component as the same type as this in xhost with name xname. More...
 
poset_path path (bool xauto_access=true) const
 A path to this component. More...
 
bool has_path (const poset_path &xpath, bool xauto_access) const
 True if and only if xpath refers to this component. More...
 
poset_state_handlehost () const
 The poset which this is a handle to a component of. More...
 
bool has_same_host (const poset_component *xother) const
 True if xother is attached to the same host as this or if both are unattached. More...
 
bool in_same_space (const poset_component *xother) const
 Synonym for has_same_host(xother) More...
 
virtual namespace_posetname_space () const
 The namespace of host() More...
 
virtual bool namespace_is_ancestor_of (const namespace_poset *xother) const
 True if xother conforms to name_space(). More...
 
bool same_namespace (const poset_component *xother) const
 True if the host of xother resides in the same namespace as this or if both are unattached. More...
 
bool same_namespace (const poset_state_handle *xother) const
 True if xother resides in the same namespace as the host of this or if both are unattached. More...
 
void attach_to_state (const poset_state_handle *xhost, pod_index_type xhub_id)
 Attach this handle to the state with hub id xhub_id in the current version of host xhost. More...
 
void attach_to_state (const poset_state_handle *xhost, const scoped_index &xid)
 Attach this handle to the state with id xid in the current version of host xhost. More...
 
void attach_to_state (const poset_state_handle *xhost, const std::string &xname)
 Attach to the member state with name xname in the current version of host xhost. More...
 
void attach_to_state (const namespace_poset *xhost, const std::string &xname)
 
void attach_to_state (const std::string &)
 Attach to the state with name xname in version version() of host host(). More...
 
void attach_to_state (pod_index_type xhub_id)
 Attach to the state with hub id xhub_id in version version() of host host(). More...
 
void attach_to_state (const scoped_index &xid)
 Attach to the state with id xid in version version() of host host(). More...
 
void attach_to_state (const poset_component *xother)
 Attach to the same state as xother. More...
 
void attach_to_state (const poset_component *xother, bool xauto_access)
 Attach to the same state as xother, auto-accessible version. More...
 
virtual bool is_attached () const
 True if this handle is attached to a non-void state. More...
 
bool is_same_state (const poset_state_handle *xhost, pod_index_type xhub_id) const
 True is this is attached to state with hub id xhub_id in host xhost. More...
 
bool is_same_state (const poset_state_handle *xhost, const scoped_index &xid) const
 True is this is attached to state with id xid in host xhost. More...
 
bool is_same_state (const poset_component *xother) const
 True if xother is attached to the same host and same state as this or if both are unattached. More...
 
virtual void get_read_access () const
 Get read access to the state associated with this. More...
 
virtual void get_read_write_access (bool xrelease_read_only_access=false)
 Get read write access to the state associated with this. If release_read_only_access is requested, read only access will be released then read_write_access will be requested, finally the same level of read_access as before will be requested. More...
 
virtual void release_access (bool xall=false) const
 Release access. If xall is true, release all levels of access. Otherwise, release one level of access. More...
 
- Public Member Functions inherited from sheaf::read_write_monitor_handle
virtual ~read_write_monitor_handle ()
 Descturctor. More...
 
bool state_is_read_only_accessible () const
 True if this is attached and the state is accessible for read access but not for write. More...
 
bool state_is_not_read_only_accessible () const
 True if this is attached and the state is not accessible for read only access. More...
 
bool state_is_read_accessible () const
 True if this is attached and if the state is accessible for read or access control is disabled. More...
 
bool state_is_not_read_accessible () const
 True if this is attached and if the state is accessible for read or if access control is disabled. More...
 
bool state_is_auto_read_accessible (bool xauto_access) const
 True if the state is auto accessible for read, that is, if the state is already accessible for read or if this is attached and xuto_access is true. More...
 
bool state_is_read_write_accessible () const
 True if this is attached and if the state is accessible for read and write or access control is disabled. More...
 
bool state_is_not_read_write_accessible () const
 True if state is attached and if not accessible for read and write or access control is disabled. More...
 
bool state_is_auto_read_write_accessible (bool xauto_access) const
 True if state is auto accessible for read and write, that is, if the state is already accessible for read and write or if this is attached and xuto_access is true. or if this is attached and access control is disabled. More...
 
int access_request_depth () const
 The number of times access has been requested and granted without being released. More...
 
bool state_is_mode_locked () const
 Obsolete. More...
 
int mode_lock_ct () const
 Obsolete. More...
 
void get_mode_lock () const
 Obsolete. More...
 
void release_mode_lock ()
 Obsolete. More...
 
bool state_is_modified () const
 True if write access has been granted and released since the last call to clear_state_is_modified(). More...
 
void clear_state_is_modified ()
 Sets the state_is_modified floag to false. More...
 
- Public Member Functions inherited from sheaf::any
bool is_same_type (const any *other) const
 True if other is the same type as this. More...
 
virtual ~any ()
 Destructor. More...
 
bool invariant_check () const
 True if invariant checking is enabled. More...
 
void enable_invariant_check () const
 Enable invariant checking. More...
 
void disable_invariant_check () const
 Disable invariant check. Intended for preventing recursive calls to invariant and for suppressing invariant checking during multi-phase initialization. More...
 
int disable_invariance_check_request_depth () const
 Number of times disable_invariant_check has been called without matching call to enable_invariant_check. More...
 
- Static Public Member Functions inherited from sheaf::abstract_poset_member
static host_typenew_host (namespace_type &xns, const poset_path &xhost_path, const poset_path &xschema_path, bool xauto_access)
 Creates a new host table for members of this type. The poset is created in namespace xns with path xhost_path and schema specified by xschema_path. More...
 
- Static Public Member Functions inherited from sheaf::read_write_monitor_handle
static bool access_control_disabled ()
 True if access control mechanism is disabled. Default value is enabled (false) and access is controlled by the per-thread access control functions. Disabled (true) is equivalent to having read-write access at all times, irrespective of any access control requests. Synonym for read_write_monitor::access_control_disabled(). More...
 
static void enable_access_control ()
 Enables access control. Synonym for read_write_monitor::enable_access_control(). Should only be invoked once at beginning of a program, before any other SheafSystem calls. Once enabled, access control can not be disabled. More...
 
- Protected Member Functions inherited from sheaf::partial_poset_member
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...
 
virtual void attach_handle_data_members ()
 Initializes _schema; intended to be redefined in derived classes to initialize derived data members. More...
 
- Protected Member Functions inherited from sheaf::abstract_poset_member
 abstract_poset_member ()
 Default constructor; creates a new, unattached abstract_poset_member handle. More...
 
char * table_dof_ptr (bool xrequire_write_access=false) const
 Pointer to the table dofs. More...
 
char * row_dof_ptr (bool xrequire_write_access=false)
 Pointer to the row dofs. More...
 
- Protected Member Functions inherited from sheaf::poset_component
 poset_component ()
 Default constructor. More...
 
poset_statestate_obj () const
 The state this component handle is attached to. More...
 
poset_powerset_statepowerset () const
 The set of subposets of host(). More...
 
poset_crg_statecrg () const
 The cover relation graph of host(). More...
 
virtual subposet_statepowerset_member (const scoped_index &xindex) const
 The hidden state of the subposet asocciated with index xindex. More...
 
poset_dof_maprow_dof_tuple (const scoped_index &xindex) const
 The row dof tuple associated with xindex. More...
 
- Protected Member Functions inherited from sheaf::read_write_monitor_handle
bool access_guards_disabled () const
 True if thread of control is still in constructor. More...
 
void disable_access_guards ()
 Disables access guards; intended for use only within constructors of monitored objects, where no other client can possibly have access (yet). More...
 
void enable_access_guards ()
 Re-enables access guards. More...
 
- Protected Member Functions inherited from sheaf::any
 any ()
 default constructor More...
 
- Protected Attributes inherited from sheaf::partial_poset_member
schema_poset_member_schema
 The restricted schema of this member. 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 member of a sec_rep_space; a section.

Definition at line 67 of file sec_rep_space_member.h.

Member Typedef Documentation

◆ schema_host_type

◆ schema_type

Constructor & Destructor Documentation

◆ sec_rep_space_member() [1/13]

fiber_bundle::sec_rep_space_member::sec_rep_space_member ( )

Default constructor; creates an unattached handle.

Postcondition
  • !is_attached()

Definition at line 173 of file sec_rep_space_member.cc.

Referenced by sec_rep_space_member(), standard_section_space_name(), and ~sec_rep_space_member().

◆ sec_rep_space_member() [2/13]

fiber_bundle::sec_rep_space_member::sec_rep_space_member ( const sec_rep_space_member xother,
bool  xnew_jem = false 
)

Copy constructor; creates new sec_rep_space_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.

Precondition
  • xnew_jem ? xother.is_attached() : true
Postcondition
  • is_same_state(&xother)

Definition at line 189 of file sec_rep_space_member.cc.

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

◆ ~sec_rep_space_member()

fiber_bundle::sec_rep_space_member::~sec_rep_space_member ( )

Destructor.

Definition at line 259 of file sec_rep_space_member.cc.

References sec_rep_space_member().

Referenced by operator=().

◆ sec_rep_space_member() [3/13]

fiber_bundle::sec_rep_space_member::sec_rep_space_member ( sec_rep_space xhost,
section_dof_map xdof_map = 0,
bool  xauto_access = true 
)
explicit

Creates a new section handle attached to a new jim state ("explicit prevents interpretation as implicit conversion from sec_rep_space* to sec_rep_space_member&)

Precondition
  • precondition_of(new_jim_state(same args))
Postcondition
  • postcondition_of(new_jim_state(same args))

Definition at line 273 of file sec_rep_space_member.cc.

References sec_rep_space_member().

◆ sec_rep_space_member() [4/13]

fiber_bundle::sec_rep_space_member::sec_rep_space_member ( sec_rep_space xhost,
abstract_poset_member xbase_mbr,
int  xbase_version = CURRENT_HOST_VERSION,
bool  xauto_access = true 
)

Creates a new section handle attached to a new jim state, a partial section defined only on version xbase_version of base space member xbase_mbr.

Precondition
  • precondition_of(\ new_jim_state(xhost, xbase_mbr, xbase_version, xauto_access))
Postcondition
  • postcondition_of(\ new_jim_state(xhost, xbase_mbr, xbase_version, xauto_access))

Definition at line 296 of file sec_rep_space_member.cc.

References sec_rep_space_member().

◆ sec_rep_space_member() [5/13]

fiber_bundle::sec_rep_space_member::sec_rep_space_member ( sec_rep_space xhost,
const subposet xbase_parts,
bool  xauto_access 
)

Creates a new handle attached to a new jrm state which is a multi-section with a branch for each member of the base space contained in xbase_parts.

Precondition
  • precondition_of(new_jrm_state(xhost, xbase_parts, xauto_access))
  • postcondition_of(new_jrm_state(xhost, xbase_parts, xauto_access))

Definition at line 321 of file sec_rep_space_member.cc.

References sec_rep_space_member().

◆ sec_rep_space_member() [6/13]

fiber_bundle::sec_rep_space_member::sec_rep_space_member ( sec_rep_space xhost,
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 jims with the indices given in xjims_indices.

Precondition
  • precondition_of(new_jrm_state(same args))
Postcondition
  • postcondition_of(new_jrm_state(same args))

Definition at line 341 of file sec_rep_space_member.cc.

References sec_rep_space_member().

◆ sec_rep_space_member() [7/13]

fiber_bundle::sec_rep_space_member::sec_rep_space_member ( const sec_rep_space xhost,
pod_index_type  xindex 
)

Creates a new sec_rep_space_member handle attached to the member state with index xindex in xhost.

Precondition
  • xhost->contains_member(xindex)
Postcondition
  • !is_restricted()

Definition at line 365 of file sec_rep_space_member.cc.

References sheaf::poset_state_handle::contains_member(), sec_rep_space_member(), and sheaf::read_write_monitor_handle::state_is_read_accessible().

◆ sec_rep_space_member() [8/13]

fiber_bundle::sec_rep_space_member::sec_rep_space_member ( const sec_rep_space xhost,
const scoped_index xindex 
)

Creates a new sec_rep_space_member handle attached to the member state with index xindex in xhost.

Precondition
  • xhost->contains_member(xindex)
Postcondition
  • !is_restricted()

Definition at line 386 of file sec_rep_space_member.cc.

References sheaf::poset_state_handle::contains_member(), sheaf::scoped_index::hub_pod(), sec_rep_space_member(), and sheaf::read_write_monitor_handle::state_is_read_accessible().

◆ sec_rep_space_member() [9/13]

fiber_bundle::sec_rep_space_member::sec_rep_space_member ( const sec_rep_space xhost,
const std::string &  xname 
)

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

Precondition
  • xhost != 0
  • !xname.empty()
  • xhost->contains_member(xname)
Postcondition
  • !is_restricted()

Definition at line 407 of file sec_rep_space_member.cc.

References sheaf::poset_state_handle::contains_member(), sec_rep_space_member(), and sheaf::read_write_monitor_handle::state_is_read_accessible().

◆ sec_rep_space_member() [10/13]

fiber_bundle::sec_rep_space_member::sec_rep_space_member ( const namespace_poset xnamespace,
const poset_path xpath,
bool  xauto_access = true 
)

Creates a new sec_rep_space_member handle attached to the member state with path xpath in the namespace xnamespace.

Precondition
  • precondition_of(attach_to_state(same args))
Postcondition
  • postcondition_of(attach_to_state(same args))

Definition at line 430 of file sec_rep_space_member.cc.

References sec_rep_space_member().

◆ sec_rep_space_member() [11/13]

fiber_bundle::sec_rep_space_member::sec_rep_space_member ( const namespace_poset xnamespace,
pod_index_type  xposet_index,
pod_index_type  xmember_index 
)

Creates a new sec_rep_space_member handle attached to the member state with index xmember_index in the poset with index xposet_index in the namespace xnamespace.

Precondition
  • precondition_of(attach_to_state(same args))
Postcondition
  • postcondition_of(attach_to_state(same args))

Definition at line 452 of file sec_rep_space_member.cc.

References sec_rep_space_member().

◆ sec_rep_space_member() [12/13]

fiber_bundle::sec_rep_space_member::sec_rep_space_member ( const namespace_poset xnamespace,
const scoped_index xposet_index,
const scoped_index xmember_index 
)

Creates a new sec_rep_space_member handle attached to the member state with index xmember_index in the poset with index xposet_index in the namespace xnamespace.

Precondition
  • precondition_of(attach_to_state(same args))
Postcondition
  • postcondition_of(attach_to_state(same args))

Definition at line 474 of file sec_rep_space_member.cc.

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

◆ sec_rep_space_member() [13/13]

fiber_bundle::sec_rep_space_member::sec_rep_space_member ( const sec_rep_space_member xother)
explicit

Creates a new sec_rep_space_member handle attached to the same state as xother. ("explicit" prevents interpretation as implicit conversion from sec_rep_space_member* to sec_rep_space_member&)

Precondition
  • xother != 0
Postcondition
  • is_same_state(xother)
  • is_same_restriction(xother)

Definition at line 498 of file sec_rep_space_member.cc.

References new_jim_state().

Member Function Documentation

◆ allocated_branch_handle()

bool fiber_bundle::sec_rep_space_member::allocated_branch_handle ( index_space_handle xid_space,
bool  xauto_access 
) const

True if the handle pool allocated xid_space.

Precondition
Postcondition
  • is_basic_query

Definition at line 778 of file sec_rep_space_member.cc.

References get_branch_id_space_iterator().

Referenced by release_branch_id_space().

◆ allocated_branch_iterator()

bool fiber_bundle::sec_rep_space_member::allocated_branch_iterator ( index_space_iterator xitr,
bool  xauto_access 
) const

True if the id space iterator xitr was allocated by the iterator pool.

Precondition
Postcondition
  • is_basic_query

Definition at line 844 of file sec_rep_space_member.cc.

References schema().

Referenced by release_branch_id_space_iterator().

◆ base() [1/2]

sheaf::abstract_poset_member & fiber_bundle::sec_rep_space_member::base ( )

The restricted base of this section space member (mutable version)

Precondition

Definition at line 1049 of file sec_rep_space_member.cc.

Referenced by tool::vtk_unstructured_grid_builder::is_tensor(), fields::average_base_space_map_push_action::operator()(), fiber_bundle::sec_at0::sec_at0(), and unrestricted_schema().

◆ base() [2/2]

const sheaf::abstract_poset_member & fiber_bundle::sec_rep_space_member::base ( ) const

The restricted base of this section space member (const version)

Precondition

Definition at line 1068 of file sec_rep_space_member.cc.

References same_base().

◆ base_is_restricted()

bool fiber_bundle::sec_rep_space_member::base_is_restricted ( ) const

True if base() is not the same as host()->base();.

Precondition

Definition at line 1496 of file sec_rep_space_member.cc.

References fiber_schema_is_restricted().

Referenced by restrict_to().

◆ class_name()

◆ clone() [1/2]

sec_rep_space_member* fiber_bundle::sec_rep_space_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 155 of file sec_rep_space_member.h.

References sheaf::poset_member::clone(), sheaf::abstract_poset_member::get_dof(), sheaf::abstract_poset_member::new_jim_state(), sheaf::abstract_poset_member::new_jrm_state(), sheaf::abstract_poset_member::put_dof(), sheaf::poset_member::restrict_to(), and sheaf::partial_poset_member::schema().

◆ clone() [2/2]

fiber_bundle::sec_rep_space_member * fiber_bundle::sec_rep_space_member::clone ( ) const
virtual

◆ db()

int fiber_bundle::sec_rep_space_member::db ( ) const
virtual

The dimension of the restricted base.

Hack:
virtual so it can be overridden in sec_ed_invertible as workaround for bug in schema().db(). Remove when bug fixed.
Precondition
Postcondition
  • result >= 0

Definition at line 1111 of file sec_rep_space_member.cc.

References same_rep().

Referenced by geometry::sec_ed_invertible::all_points_at_value_ua(), geometry::sec_ed_invertible::branch_points_at_value_ua(), geometry::sec_ed_invertible::initialize_d_array_point_locator(), geometry::sec_ed_invertible::point_at_value(), and same_base().

◆ df()

◆ discretization_ct() [1/2]

int fiber_bundle::sec_rep_space_member::discretization_ct ( ) const

The number of members of the discretization subposet contained in the down set of the restricted base.

Precondition
Postcondition
  • result >= 0

Definition at line 1163 of file sec_rep_space_member.cc.

References sheaf::DOWN, sheaf::depth_first_iterator::index(), sheaf::depth_first_iterator::is_done(), sheaf::NOT_STRICT, and sheaf::depth_first_iterator::truncate().

Referenced by same_rep().

◆ discretization_ct() [2/2]

int fiber_bundle::sec_rep_space_member::discretization_ct ( bool  xaxto_access) const

The number of members of the discretization subposet contained in the down set of the restricted base.

Precondition
Postcondition
  • postcondition_of(discretization_ct())

Definition at line 1220 of file sec_rep_space_member.cc.

References evaluation_ct().

◆ dof_map() [1/2]

fiber_bundle::section_dof_map & fiber_bundle::sec_rep_space_member::dof_map ( bool  xrequire_write_access = false)
virtual

◆ dof_map() [2/2]

const fiber_bundle::section_dof_map & fiber_bundle::sec_rep_space_member::dof_map ( bool  xrequire_write_access = false) const
virtual

The map from client_ids to dof values for this poset member (const version)

Precondition
  • is_jim(false)

Reimplemented from sheaf::abstract_poset_member.

Definition at line 2049 of file sec_rep_space_member.cc.

References dof_map().

◆ dof_map_is_ancestor_of()

bool fiber_bundle::sec_rep_space_member::dof_map_is_ancestor_of ( const poset_dof_map xdof_map) const
virtual

True if xdof_map conforms to (is derived from) the type of dof map required by this handle.

Precondition
  • xdof_map != 0

Reimplemented from sheaf::abstract_poset_member.

Definition at line 2095 of file sec_rep_space_member.cc.

References host().

Referenced by dof_map().

◆ dof_tuple_size()

size_t fiber_bundle::sec_rep_space_member::dof_tuple_size ( )

Get the size in bytes of the restricted dof tuple for this member.

Todo:
implement sec_rep_space_member::dof_tuple_size()

Not Implemented.

Definition at line 2005 of file sec_rep_space_member.cc.

References fiber_size().

Referenced by put_component().

◆ evaluation_ct()

int fiber_bundle::sec_rep_space_member::evaluation_ct ( ) const

The number of members of the evaluation subposet contained in the down set of the restricted base.

Precondition
Todo:
Change member_dof_map to take scoped_index. (WEM)
Postcondition
  • result >= 0

Definition at line 1253 of file sec_rep_space_member.cc.

References sheaf::DOWN, fiber_schema(), sheaf::depth_first_iterator::index(), sheaf::depth_first_iterator::is_done(), sheaf::NOT_STRICT, and sheaf::depth_first_iterator::truncate().

Referenced by discretization_ct().

◆ fiber() [1/2]

sheaf::poset & fiber_bundle::sec_rep_space_member::fiber ( )

The unrestricted fiber of host() (mutable version).

Precondition

Definition at line 1351 of file sec_rep_space_member.cc.

Referenced by fiber_schema().

◆ fiber() [2/2]

const sheaf::poset & fiber_bundle::sec_rep_space_member::fiber ( ) const

The unrestricted fiber of host() (const version).

Precondition

Definition at line 1370 of file sec_rep_space_member.cc.

References df().

◆ fiber_schema() [1/2]

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

The schema of the restricted fiber of this section space member (mutable version)

Precondition

Definition at line 1313 of file sec_rep_space_member.cc.

Referenced by evaluation_ct(), and fiber_bundle::sec_at0::sec_at0().

◆ fiber_schema() [2/2]

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

The schema of the restricted fiber of this section space member (const version)

Precondition

Definition at line 1332 of file sec_rep_space_member.cc.

References fiber().

◆ fiber_schema_is_restricted()

bool fiber_bundle::sec_rep_space_member::fiber_schema_is_restricted ( ) const

True if fiber_schema() is not the same as host()->fiber_schema().

Precondition

Definition at line 1519 of file sec_rep_space_member.cc.

References version().

Referenced by base_is_restricted().

◆ fiber_size()

size_t fiber_bundle::sec_rep_space_member::fiber_size ( )

Get the size in bytes of the restricted fiber for this member.

Precondition

Definition at line 2027 of file sec_rep_space_member.cc.

References dof_map().

Referenced by dof_tuple_size().

◆ force_fiber() [1/2]

void fiber_bundle::sec_rep_space_member::force_fiber ( pod_index_type  xdisc_id,
const void *  xfiber,
size_type  xfiber_size 
)

Sets the fiber referred to by discretization id xdisc_id to xfiber; reallocates dof map memory if necessary.

Precondition
  • schema().discretization_id_space().contains(xdisc_id)
  • -unexecutable( "xfiber points to buffer of size xfiber_size" )

Definition at line 1820 of file sec_rep_space_member.cc.

Referenced by put_fiber().

◆ force_fiber() [2/2]

void fiber_bundle::sec_rep_space_member::force_fiber ( const scoped_index xdisc_id,
const void *  xfiber,
size_type  xfiber_size,
bool  xauto_access 
)

Sets the fiber referred to by discretization id xdisc_id to xfiber; reallocates dof map memory if necessary.

Precondition
  • state_is_auto_read_write_accessible(xauto_access)
  • schema(xauto_access).discretization_id_space(xauto_access).contains(xdisc_id)
  • -unexecutable( "xfiber points to buffer of size xfiber_size" )
  • xfiber_size >= schema(xauto_access).fiber_size(xauto_access)

Definition at line 1843 of file sec_rep_space_member.cc.

References get_component().

◆ get_branch_id_space()

sheaf::scattered_insertion_index_space_handle & fiber_bundle::sec_rep_space_member::get_branch_id_space ( bool  xauto_access)

Allocate an id space handle from the handle pool attached to the branch id space for this member.

Precondition
  • has_branch_id_space(xauto_access)
Postcondition
  • result.is_attached()

Definition at line 733 of file sec_rep_space_member.cc.

References sheaf::explicit_index_space_handle::is_attached(), and release_branch_id_space().

Referenced by fields::base_space_map::base_space_map(), and has_branch_id_space().

◆ get_branch_id_space_iterator()

sheaf::index_space_iterator & fiber_bundle::sec_rep_space_member::get_branch_id_space_iterator ( bool  xauto_access) const

Allocates an iterator from the iterator pool attached to the branch id space for this member.

Precondition
  • has_branch_id_space(xauto_access)
Postcondition
  • result.is_attached()

Definition at line 799 of file sec_rep_space_member.cc.

References sheaf::index_space_iterator::is_attached(), and release_branch_id_space_iterator().

Referenced by allocated_branch_handle().

◆ get_component() [1/2]

void fiber_bundle::sec_rep_space_member::get_component ( pod_index_type  xfiber_dof_id,
void *  xcomponent,
size_type  xcomponent_size 
) const

Sets xcomponent to the component referred to by fiber id xfiber_dof_id.

Precondition
  • schema().fiber_schema_id_space(false).contains(xfiber_dof_id)
  • -unexecutable( "xcomponent points to buffer of size xcomponent_size" )
  • xcomponent_size >= schema().component_size(xfiber_dof_id)

Definition at line 1876 of file sec_rep_space_member.cc.

Referenced by force_fiber().

◆ get_component() [2/2]

void fiber_bundle::sec_rep_space_member::get_component ( const scoped_index xfiber_dof_id,
void *  xcomponent,
size_type  xcomponent_size,
bool  xauto_access 
) const

Sets xcomponent to the component referred to by fiber id xfiber_dof_id.

Precondition
  • state_is_auto_read_accessible(xauto_access)
  • schema(xauto_access).fiber_schema_id_space(false, xauto_access).contains(xfiber_dof_id)
  • -unexecutable( "xcomponent points to buffer of size xcomponent_size" )
  • xcomponent_size >= schema(xauto_access).component_size(xfiber_dof_id, xauto_access)

Definition at line 1899 of file sec_rep_space_member.cc.

References put_component().

◆ get_dof() [1/2]

void fiber_bundle::sec_rep_space_member::get_dof ( pod_index_type  xdisc_id,
pod_index_type  xfiber_dof_id,
void *  xdof,
size_type  xdof_size 
) const
virtual

Copies the dof referred to by xdisc_id, xfiber_dof_id into xdof.

Precondition
  • schema().discretization_id_space().contains(xdisc_id)
  • schema().fiber_schema_id_space(false).contains(xfiber_dof_id)
  • -unexecutable( "xdof points to buffer of size xdof_size" )
  • xdof_size >= schema().size(xdisc_id, xfiber_dof_id, false)

Definition at line 1583 of file sec_rep_space_member.cc.

Referenced by version().

◆ get_dof() [2/2]

void fiber_bundle::sec_rep_space_member::get_dof ( const scoped_index xdisc_id,
const scoped_index xfiber_dof_id,
void *  xdof,
size_type  xdof_size,
bool  xauto_access 
) const

Copies the dof referred to by xdisc_id, xfiber_dof_id into xdof.

Precondition
  • state_is_auto_read_accessible(xauto_access)
  • schema(xauto_access).discretization_id_space(xauto_access).contains(xdisc_id)
  • schema(xauto_access).fiber_schema_id_space(false, xauto_access).contains(xfiber_dof_id)
  • -unexecutable( "xdof points to buffer of size xdof_size" )
  • xdof_size >= schema(xauto_access).size(xdisc_id, xfiber_dof_id, false, xauto_access)

Definition at line 1607 of file sec_rep_space_member.cc.

References put_dof().

◆ get_fiber() [1/2]

void fiber_bundle::sec_rep_space_member::get_fiber ( pod_index_type  xdisc_id,
void *  xfiber,
size_type  xfiber_size 
) const

Sets xfiber to the fiber referred to by discretization id xdisc_id.

Precondition
  • schema().discretization_id_space().contains(xdisc_id)
  • -unexecutable( "xfiber points to buffer of size xfiber_size" )

Definition at line 1706 of file sec_rep_space_member.cc.

Referenced by put_dof().

◆ get_fiber() [2/2]

void fiber_bundle::sec_rep_space_member::get_fiber ( const scoped_index xdisc_id,
void *  xfiber,
size_type  xfiber_size,
bool  xauto_access 
) const

Sets xfiber to the fiber referred to by discretization id xdisc_id.

Precondition
  • state_is_auto_read_accessible(xauto_access)
  • schema(xauto_access).discretization_id_space(xauto_access).contains(xdisc_id)
  • -unexecutable( "xfiber points to buffer of size xfiber_size" )
  • xfiber_size >= schema(xauto_access).fiber_size(xauto_access)

Definition at line 1729 of file sec_rep_space_member.cc.

References put_fiber().

◆ has_branch_id_space()

bool fiber_bundle::sec_rep_space_member::has_branch_id_space ( bool  xauto_access) const

True if this is a multisection and it has a branch sequence id space.

Precondition

Definition at line 710 of file sec_rep_space_member.cc.

References get_branch_id_space().

Referenced by is_multisection().

◆ host()

fiber_bundle::sec_rep_space * fiber_bundle::sec_rep_space_member::host ( ) const

The section representation space this is a member of.

Postcondition
  • (_host != 0) == (result != 0)

Definition at line 2127 of file sec_rep_space_member.cc.

References host_is_ancestor_of().

Referenced by dof_map_is_ancestor_of().

◆ host_is_ancestor_of()

bool fiber_bundle::sec_rep_space_member::host_is_ancestor_of ( const poset_state_handle xother) const
virtual

True if other conforms to host.

Postcondition
  • result == (dynamic_cast<const sec_rep_space*>(xother) != 0)

Reimplemented from sheaf::poset_component.

Reimplemented in fiber_bundle::sec_vd, fiber_bundle::sec_tp, fiber_bundle::sec_at0, fiber_bundle::sec_jcb, fiber_bundle::sec_atp, fiber_bundle::sec_at1, fiber_bundle::sec_stp, and fiber_bundle::sec_tuple.

Definition at line 2148 of file sec_rep_space_member.cc.

References is_ancestor_of().

Referenced by host().

◆ invariant()

◆ is_ancestor_of()

◆ is_multisection()

bool fiber_bundle::sec_rep_space_member::is_multisection ( bool  xauto_access) const

True if this is a multisection.

Precondition

Definition at line 688 of file sec_rep_space_member.cc.

References has_branch_id_space().

Referenced by fields::base_space_map::base_space_map(), fiber_bundle::sec_vd::new_comp(), and new_jrm_state().

◆ new_jim_state() [1/2]

void fiber_bundle::sec_rep_space_member::new_jim_state ( abstract_poset_member xbase_mbr,
int  xbase_version = CURRENT_HOST_VERSION,
bool  xauto_access = true 
)

Creates a new jim state in host() and attaches this handle to the state. The state is a partial section defined only on version xbase_version of base space member xbase_mbr.

Precondition
  • precondition_of(\ new_jim_state(host(), xbase_mbr, xbase_version, xauto_access))
Postcondition
  • postcondition_of\ (new_jim_state(host(), xbase_mbr, xbase_version, xauto_access))

Definition at line 522 of file sec_rep_space_member.cc.

Referenced by fields::section_pusher::push(), and sec_rep_space_member().

◆ new_jim_state() [2/2]

void fiber_bundle::sec_rep_space_member::new_jim_state ( sec_rep_space xhost,
const abstract_poset_member xbase_mbr,
int  xbase_version = CURRENT_HOST_VERSION,
bool  xauto_access = true 
)

Creates a new jim state in host xhost and attaches this handle to the state. The state is a partial section defined only on version xbase_version of base space member xbase_mbr.

Precondition
  • xhost != 0
  • !xauto_access ? xhost->in_jim_edit_mode() : true
  • xbase_mbr.has_version(xbase_version)
Postcondition
  • base().is_same_state(&xbase_mbr)
  • -unexecutable( host()->member_ct() == old host->member_ct() + 1 )
  • !is_restricted()

Definition at line 547 of file sec_rep_space_member.cc.

References fiber_bundle::sec_rep_space::base(), fiber_bundle::sec_rep_space::begin_jim_edit_mode(), fiber_bundle::sec_rep_space::end_jim_edit_mode(), sheaf::poset_component::has_version(), sheaf::poset_state_handle::in_jim_edit_mode(), sheaf::poset_component::index(), sheaf::abstract_poset_member::leqv(), new_jrm_state(), fiber_bundle::sec_rep_space::new_row_dof_map(), and sheaf::scoped_index::pod().

◆ new_jrm_state()

void fiber_bundle::sec_rep_space_member::new_jrm_state ( sec_rep_space xhost,
const subposet xbase_parts,
bool  xauto_access 
)

◆ operator=() [1/2]

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

Assignment operator; synonym for attach_to_state(xother).

Precondition
  • is_ancestor_of(&xother)
  • precondition_of(attach_to_state(&xother))
Postcondition
  • postcondition_of(attach_to_state(&xother))

Reimplemented from sheaf::poset_member.

Reimplemented in fiber_bundle::sec_e1_uniform, fiber_bundle::sec_e2_uniform, fiber_bundle::sec_e3_uniform, fiber_bundle::sec_tuple, fiber_bundle::sec_vd, fiber_bundle::sec_at0, fiber_bundle::sec_e2, fiber_bundle::sec_e3, fiber_bundle::sec_e1, fiber_bundle::sec_at2_e3, fiber_bundle::sec_t2_e3, fiber_bundle::sec_st2_e2, fiber_bundle::sec_t3_e3, fiber_bundle::sec_t4_e2, fiber_bundle::sec_t4_e3, fiber_bundle::sec_e4, fiber_bundle::sec_t2_e2, fiber_bundle::sec_st2_e3, fiber_bundle::sec_st3_e3, fiber_bundle::sec_st4_e2, fiber_bundle::sec_st4_e3, fiber_bundle::sec_jcb_e23, fiber_bundle::sec_jcb_e13, fiber_bundle::sec_jcb_e33, fiber_bundle::sec_tp, fiber_bundle::sec_met_e3, fiber_bundle::sec_met_e1, fiber_bundle::sec_met_e2, fiber_bundle::sec_jcb, fiber_bundle::sec_at1, fiber_bundle::sec_atp, fiber_bundle::sec_stp, fiber_bundle::sec_ed, fiber_bundle::sec_at2, fiber_bundle::sec_at3, fiber_bundle::sec_st2, fiber_bundle::sec_st3, fiber_bundle::sec_st4, fiber_bundle::sec_t2, fiber_bundle::sec_t3, fiber_bundle::sec_t4, fiber_bundle::sec_at3_e3, fiber_bundle::sec_jcb_ed, fiber_bundle::sec_at2_e2, fiber_bundle::sec_met, fiber_bundle::sec_met_ed, and geometry::sec_ed_invertible.

Definition at line 217 of file sec_rep_space_member.cc.

Referenced by sec_rep_space_member().

◆ operator=() [2/2]

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

Assignment operator; synonym for attach_to_state(xother).

Precondition
  • precondition_of(attach_to_state(&xother))
Postcondition
  • is_same_state(&xother)

Definition at line 239 of file sec_rep_space_member.cc.

References ~sec_rep_space_member().

◆ put_component() [1/2]

void fiber_bundle::sec_rep_space_member::put_component ( pod_index_type  xfiber_dof_id,
const void *  xcomponent,
size_type  xcomponent_size 
)

Sets the xcomponent referred to by fiber id xfiber_dof_id to xcomponent.

Precondition
  • schema().fiber_schema_id_space(false).contains(xfiber_dof_id)
  • -unexecutable( "xcomponent points to buffer of size xcomponent_size" )
  • xcomponent_size >= schema().component_size(xfiber_dof_id)

Definition at line 1935 of file sec_rep_space_member.cc.

Referenced by get_component().

◆ put_component() [2/2]

void fiber_bundle::sec_rep_space_member::put_component ( const scoped_index xfiber_dof_id,
const void *  xcomponent,
size_type  xcomponent_size,
bool  xauto_access 
)

Sets the component referred to by fiber id xfiber_dof_id to xcomponent.

Precondition
  • state_is_auto_read_write_accessible(xauto_access)
  • schema(xauto_access).fiber_schema_id_space(false, xauto_access).contains(xfiber_dof_id)
  • -unexecutable( "xcomponent points to buffer of size xcomponent_size" )
  • xcomponent_size >= schema(xauto_access).component_size(xfiber_dof_id, xauto_access)

Definition at line 1958 of file sec_rep_space_member.cc.

References dof_tuple_size().

◆ put_dof() [1/2]

void fiber_bundle::sec_rep_space_member::put_dof ( pod_index_type  xdisc_id,
pod_index_type  xfiber_dof_id,
const void *  xdof,
size_type  xdof_size 
)
virtual

Sets the dof referred to by xdof_id to the value at xdof.

Precondition
  • schema().discretization_id_space().contains(xdisc_id)
  • schema().fiber_schema_id_space(false).contains(xfiber_dof_id)
  • -unexecutable( "xdof points to buffer of size xdof_size" )
  • xdof_size >= schema().size(xdisc_id, xfiber_dof_id, false)

Definition at line 1645 of file sec_rep_space_member.cc.

Referenced by get_dof().

◆ put_dof() [2/2]

void fiber_bundle::sec_rep_space_member::put_dof ( const scoped_index xdisc_id,
const scoped_index xfiber_dof_id,
const void *  xdof,
size_type  xdof_size,
bool  xauto_access 
)

Sets the dof referred to by xdof_id to the value at xdof.

Precondition
  • state_is_auto_read_write_accessible(xauto_access)
  • schema(xauto_access).discretization_id_space(xauto_access).contains(xdisc_id)
  • schema(xauto_access).fiber_schema_id_space(false, xauto_access).contains(xfiber_dof_id)
  • -unexecutable( "xdof points to buffer of size xdof_size" )
  • xdof_size >= schema(xauto_access).size(xdisc_id, xfiber_dof_id, false, xauto_access)

Definition at line 1668 of file sec_rep_space_member.cc.

References get_fiber().

◆ put_fiber() [1/2]

void fiber_bundle::sec_rep_space_member::put_fiber ( pod_index_type  xdisc_id,
const void *  xfiber,
size_type  xfiber_size 
)

Sets the fiber referred to by discretization id xdisc_id to xfiber.

Precondition
  • schema().discretization_id_space().contains(xdisc_id)
  • -unexecutable( "dof_map().fiber_in_bounds(xdisc_id, false)" )
  • -unexecutable( "xfiber points to buffer of size xfiber_size" )

Definition at line 1762 of file sec_rep_space_member.cc.

Referenced by get_fiber().

◆ put_fiber() [2/2]

void fiber_bundle::sec_rep_space_member::put_fiber ( const scoped_index xdisc_id,
const void *  xfiber,
size_type  xfiber_size,
bool  xauto_access 
)

Sets the fiber referred to by discretization id xdisc_id to xfiber.

Precondition
  • state_is_auto_read_write_accessible(xauto_access)
  • schema(xauto_access).discretization_id_space(xauto_access).contains(xdisc_id)
  • -unexecutable( "dof_map().fiber_in_bounds(xdisc_id, false)" )
  • -unexecutable( "xfiber points to buffer of size xfiber_size" )
  • xfiber_size >= schema(xauto_access).fiber_size(xauto_access)

Definition at line 1786 of file sec_rep_space_member.cc.

References force_fiber().

◆ release_branch_id_space()

void fiber_bundle::sec_rep_space_member::release_branch_id_space ( index_space_handle xid_space,
bool  xauto_access 
) const

Returns the id space handle xid_space to the handle pool.

Precondition
  • allocated_branch_handle(xid_space, xauto_access)
Postcondition
  • is_basic_query

Definition at line 756 of file sec_rep_space_member.cc.

References allocated_branch_handle().

Referenced by get_branch_id_space().

◆ release_branch_id_space_iterator()

void fiber_bundle::sec_rep_space_member::release_branch_id_space_iterator ( index_space_iterator xitr,
bool  xauto_access 
) const

Returns the iterator xitr to the iterator pool.

Precondition
  • allocated_branch_iterator(xitr, xauto_access)
Postcondition
  • is_basic_query

Definition at line 822 of file sec_rep_space_member.cc.

References allocated_branch_iterator().

Referenced by get_branch_id_space_iterator().

◆ restrict_to() [1/3]

void fiber_bundle::sec_rep_space_member::restrict_to ( pod_index_type  xbase_id,
pod_index_type  xfiber_schema_id 
)
virtual

Restricts this section to base with index xbase_id and fiber schema with index xfiber_schema_id.

Precondition
Todo:
implement preconditions equivalent to the following: require(xbase != 0); require(xbase->le(&(unrestricted_schema().base_space()))); require(xfiber_schema != 0); require(xfiber_schema->le(&(unrestricted_schema().fiber_schema())));
Todo:
implement postconditions equivalent to the following: ensure(base().is_same_state(xbase)); ensure(fiber_schema().is_same_state(xfiber_schema));

Reimplemented in fiber_bundle::sec_at0, and fiber_bundle::sec_tuple.

Definition at line 1412 of file sec_rep_space_member.cc.

Referenced by fiber_bundle::sec_tuple::clone(), df(), and restrict_to().

◆ restrict_to() [2/3]

void fiber_bundle::sec_rep_space_member::restrict_to ( const scoped_index xbase_id,
const scoped_index xfiber_schema_id 
)

Restricts this section to base with index xbase_id and fiber schema with index xfiber_schema_id.

Precondition
Todo:
implement preconditions equivalent to the following: require(xbase != 0); require(xbase->le(&(unrestricted_schema().base_space()))); require(xfiber_schema != 0); require(xfiber_schema->le(&(unrestricted_schema().fiber_schema())));
Todo:
implement postconditions equivalent to the following: ensure(base().is_same_state(xbase)); ensure(fiber_schema().is_same_state(xfiber_schema));

Definition at line 1441 of file sec_rep_space_member.cc.

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

◆ restrict_to() [3/3]

void fiber_bundle::sec_rep_space_member::restrict_to ( const abstract_poset_member xbase,
const abstract_poset_member xfiber_schema 
)
virtual

Restricts this section to base xbase and fiber schema xfiber_schema.

Precondition
  • xbase != 0
  • xfiber_schema != 0
Postcondition

Reimplemented in fiber_bundle::sec_at0, and fiber_bundle::sec_tuple.

Definition at line 1470 of file sec_rep_space_member.cc.

References base_is_restricted(), sheaf::poset_component::index(), and sheaf::abstract_poset_member::le().

◆ same_base()

bool fiber_bundle::sec_rep_space_member::same_base ( const sec_rep_space_member xother) const

True if this has the same base as xother.

Precondition
  • xother != 0

Definition at line 1087 of file sec_rep_space_member.cc.

References db(), schema(), and sheaf::read_write_monitor_handle::state_is_read_accessible().

Referenced by base().

◆ same_rep()

bool fiber_bundle::sec_rep_space_member::same_rep ( const sec_rep_space_member xother) const

True if this has the same rep and same base as xother. /.

Hack:
this definition used for backwards compatibility / with previous implementation. /
Todo:
distinguish betwee rep desc equality and rep equality. /
Precondition
  • xother != 0
Hack:
this definition used for backwards compatibility with previous implementation.
Todo:
distinguish betwee rep desc equality and rep equality.

Definition at line 1134 of file sec_rep_space_member.cc.

References discretization_ct(), schema(), and sheaf::read_write_monitor_handle::state_is_read_accessible().

Referenced by db().

◆ schema() [1/4]

fiber_bundle::section_space_schema_member & fiber_bundle::sec_rep_space_member::schema ( )
virtual

The restricted schema for this (mutable version).

Precondition
Postcondition
  • result.is_attached()

Reimplemented from sheaf::partial_poset_member.

Definition at line 876 of file sec_rep_space_member.cc.

References sheaf::poset_component::is_attached().

Referenced by geometry::sec_ed_invertible::all_points_at_value_ua(), allocated_branch_iterator(), geometry::array_cylindrical_point_locator::array_cylindrical_point_locator(), fiber_bundle::sec_vd_algebra::assign(), fields::base_space_map::base_space_map(), fields::body_pusher::body_pusher(), geometry::sec_ed_invertible::branch_points_at_value_ua(), tool::vtk_abstract_grid_builder::build(), tool::vtk_poly_data_builder::build(), tool::vtk_poly_data_builder::build_file(), fields::body_builder::build_pa(), tool::vtk_poly_data_builder::build_pa(), tool::vtk_unstructured_grid_builder::build_pa(), tool::vtk_poly_data_builder::construct_property(), geometry::d_array_point_locator< DC, DB >::d_array_point_locator(), geometry::d_tree_point_locator< DC, DB >::d_tree_point_locator(), geometry::d_uniform_point_locator< DC, DB >::d_uniform_point_locator(), fields::field_vd::db(), geometry::db0_point_locator< DC >::db0_point_locator(), fields::field_vd::dc(), fields::field_vd::dp(), fields::field_vd::embed_property(), fiber_bundle::sec_vd_algebra::extrema(), fields::field_at0::field_at0(), fields::field_at1::field_at1(), fields::field_at2::field_at2(), fields::field_at2_e2::field_at2_e2(), fields::field_at2_e3::field_at2_e3(), fields::field_at3::field_at3(), fields::field_at3_e3::field_at3_e3(), fields::field_atp::field_atp(), fields::field_e1::field_e1(), fields::field_e1_uniform::field_e1_uniform(), fields::field_e2::field_e2(), fields::field_e2_uniform::field_e2_uniform(), fields::field_e3::field_e3(), fields::field_e3_uniform::field_e3_uniform(), fields::field_e4::field_e4(), fields::field_ed::field_ed(), fields::field_eval_iterator::field_eval_iterator(), fields::field_jcb::field_jcb(), fields::field_jcb_e13::field_jcb_e13(), fields::field_jcb_e23::field_jcb_e23(), fields::field_jcb_e33::field_jcb_e33(), fields::field_jcb_ed::field_jcb_ed(), fields::field_met::field_met(), fields::field_met_e1::field_met_e1(), fields::field_met_e2::field_met_e2(), fields::field_met_e3::field_met_e3(), fields::field_met_ed::field_met_ed(), fields::field_refinement_buffer::field_refinement_buffer(), fields::field_st2::field_st2(), fields::field_st2_e2::field_st2_e2(), fields::field_st2_e3::field_st2_e3(), fields::field_st3::field_st3(), fields::field_st3_e3::field_st3_e3(), fields::field_st4::field_st4(), fields::field_st4_e2::field_st4_e2(), fields::field_st4_e3::field_st4_e3(), fields::field_stp::field_stp(), fields::field_t2::field_t2(), fields::field_t2_e2::field_t2_e2(), fields::field_t2_e3::field_t2_e3(), fields::field_t3::field_t3(), fields::field_t3_e3::field_t3_e3(), fields::field_t4::field_t4(), fields::field_t4_e2::field_t4_e2(), fields::field_t4_e3::field_t4_e3(), fields::field_tp::field_tp(), fields::field_vd::field_vd(), fields::average_base_space_map_push_action::finalize(), fields::field_eval_iterator::gather_coordinate_dofs(), fields::field_refinement_buffer::gather_coordinate_dofs(), fiber_bundle::eval_iterator::gather_dofs(), fiber_bundle::section_eval_iterator::gather_dofs(), fiber_bundle::section_iteration_state::gather_dofs(), fields::field_refinement_buffer::gather_property_dofs(), fields::property_disc_iterator_1_1::get_prop_disc_values(), fields::property_disc_iterator_4_2::get_prop_disc_values(), fields::property_disc_iterator_4_3::get_prop_disc_values(), fields::property_disc_iterator::get_prop_disc_values(), fields::property_disc_iterator_1_2::get_prop_disc_values(), fields::property_disc_iterator_1_3::get_prop_disc_values(), fields::average_base_space_map_push_action::initialize(), fields::average_push_action::initialize(), geometry::sec_ed_invertible::initialize_d_array_point_locator(), geometry::sec_ed_invertible::initialize_d_tree_point_locator(), geometry::sec_ed_invertible::initialize_d_uniform_point_locator(), fields::property_disc_iterator::initialize_iteration(), geometry::sec_ed_invertible::initialize_point_locator(), geometry::array_cylindrical_point_locator::is_dlinear_quads(), geometry::array_cylindrical_point_locator::is_dlinear_triangles(), tool::vtk_unstructured_grid_builder::is_scalar(), tool::vtk_unstructured_grid_builder::is_tensor(), geometry::sec_ed_invertible::is_uniform(), tool::vtk_unstructured_grid_builder::is_vector(), fiber_bundle::sec_vd_algebra::max(), fiber_bundle::sec_vd_algebra::min(), fiber_bundle::sec_vd::new_comp(), fields::section_pusher_push_action::operator()(), fields::copy_push_action::operator()(), fields::constant_push_action::operator()(), fields::average_push_action::operator()(), fiber_bundle::operator<<(), geometry::sec_ed_invertible::point_at_value(), geometry::sec_ed_invertible::point_at_value_pa(), geometry::sec_ed_invertible::point_at_value_ua(), geometry::point_locator::point_locator(), fields::print_property_dofs_action::print_property_dofs_action(), fields::property_disc_iterator_1_1::property_disc_iterator_1_1(), fields::property_disc_iterator_1_2::property_disc_iterator_1_2(), fields::property_disc_iterator_1_3::property_disc_iterator_1_3(), fields::property_disc_iterator_4_2::property_disc_iterator_4_2(), fields::property_disc_iterator_4_3::property_disc_iterator_4_3(), fields::discretization_pusher::push(), fields::refining_section_pusher::push(), fields::base_space_map::push(), fields::field_vd::put_property_dofs(), fields::put_property_dofs_action::put_property_dofs_action(), fields::field_refiner::refine(), fields::base_space_map::same_base(), fields::section_pusher::same_base(), same_base(), fields::section_pusher::same_discretization(), fields::field_vd::same_discretization(), fields::field_vd::same_evaluation(), fields::refining_section_pusher::same_fiber(), fields::base_space_map::same_fiber(), fields::body_pusher::same_fiber(), fields::field_tp::same_property_fiber_schema(), fields::field_jcb::same_property_fiber_schema(), fields::field_t2_e3::same_property_fiber_schema(), fields::field_met_ed::same_property_fiber_schema(), fields::field_stp::same_property_fiber_schema(), fields::field_jcb_e13::same_property_fiber_schema(), fields::field_t4_e3::same_property_fiber_schema(), fields::field_st3::same_property_fiber_schema(), fields::field_st4_e3::same_property_fiber_schema(), fields::field_met_e3::same_property_fiber_schema(), fields::field_at2_e2::same_property_fiber_schema(), fields::field_e2_uniform::same_property_fiber_schema(), fields::field_at3_e3::same_property_fiber_schema(), fields::field_t2_e2::same_property_fiber_schema(), fields::field_st2_e3::same_property_fiber_schema(), fields::field_at2_e3::same_property_fiber_schema(), fields::field_st2_e2::same_property_fiber_schema(), fields::field_e1::same_property_fiber_schema(), fields::field_e4::same_property_fiber_schema(), fields::field_t4::same_property_fiber_schema(), fields::field_jcb_ed::same_property_fiber_schema(), fields::field_e3::same_property_fiber_schema(), fields::field_met::same_property_fiber_schema(), fields::field_jcb_e23::same_property_fiber_schema(), fields::field_e1_uniform::same_property_fiber_schema(), fields::field_st3_e3::same_property_fiber_schema(), fields::field_e3_uniform::same_property_fiber_schema(), fields::field_st4_e2::same_property_fiber_schema(), fields::field_st2::same_property_fiber_schema(), fields::field_t4_e2::same_property_fiber_schema(), fields::field_met_e1::same_property_fiber_schema(), fields::field_at0::same_property_fiber_schema(), fields::field_t3_e3::same_property_fiber_schema(), fields::field_at3::same_property_fiber_schema(), fields::field_ed::same_property_fiber_schema(), fields::field_at2::same_property_fiber_schema(), fields::field_jcb_e33::same_property_fiber_schema(), fields::field_atp::same_property_fiber_schema(), fields::field_st4::same_property_fiber_schema(), fields::field_met_e2::same_property_fiber_schema(), fields::field_e2::same_property_fiber_schema(), fields::field_at1::same_property_fiber_schema(), fields::field_t2::same_property_fiber_schema(), fields::field_t3::same_property_fiber_schema(), fields::field_vd::same_property_fiber_schema(), fields::base_space_map::same_rep(), same_rep(), fiber_bundle::eval_iterator::scatter_dofs(), fiber_bundle::section_eval_iterator::scatter_dofs(), schema(), fields::section_pusher::section_pusher(), tool::visualization_iterator_1_1::set_vtk_data(), tool::visualization_iterator_4_2::set_vtk_data(), tool::visualization_iterator_4_3::set_vtk_data(), tool::visualization_iterator_1_3::set_vtk_data(), tool::visualization_iterator::set_vtk_data(), geometry::d_bin_point_locator< DC, DB >::update(), geometry::cylindrical_point_locator::update(), and geometry::db0_point_locator< DC >::update().

◆ schema() [2/4]

const fiber_bundle::section_space_schema_member & fiber_bundle::sec_rep_space_member::schema ( ) const
virtual

The restricted schema for this (const version).

Precondition
Postcondition
  • result.is_attached()

Reimplemented from sheaf::partial_poset_member.

Definition at line 901 of file sec_rep_space_member.cc.

References sheaf::poset_component::is_attached(), and schema().

◆ schema() [3/4]

fiber_bundle::section_space_schema_member & fiber_bundle::sec_rep_space_member::schema ( bool  xauto_access)

The schema for this, auto-accessible (mutable version).

Precondition
Postcondition
  • postcondition_of(schema())

Definition at line 926 of file sec_rep_space_member.cc.

References schema().

◆ schema() [4/4]

const fiber_bundle::section_space_schema_member & fiber_bundle::sec_rep_space_member::schema ( bool  xauto_access) const

The schema for this, auto-accessible (const version).

Precondition
Postcondition
  • postcondition_of(schema())

Definition at line 957 of file sec_rep_space_member.cc.

References unrestricted_schema().

◆ standard_fiber_space_name()

std::string fiber_bundle::sec_rep_space_member::standard_fiber_space_name ( const poset_path xschema_path)
static

The standard name for the fiber space constructed for the schema member with path xschema_path.

Postcondition
  • !result.empty()

Definition at line 111 of file sec_rep_space_member.cc.

References sheaf::poset_path::member_name(), and standard_section_space_name().

Referenced by standard_schema_poset_name().

◆ standard_schema_poset_name()

std::string fiber_bundle::sec_rep_space_member::standard_schema_poset_name ( const std::string &  xschema_member_name)
static

The standard name for the section_space_schema_poset constructed for the schema member with name xschema_member_name. /.

Hack:
the "fiber space hack". Currently each section_space_schema_member / used to create a section space must have its own schema poset because the / schema poset owns the fiber space. See additional comments in / section_space_schema_poset. /
Postcondition
  • !result.empty()

Definition at line 91 of file sec_rep_space_member.cc.

References standard_fiber_space_name().

Referenced by static_class_name().

◆ standard_section_space_name()

std::string fiber_bundle::sec_rep_space_member::standard_section_space_name ( const std::string &  xfiber_space_name,
const std::string &  xbase_space_name 
)
static

The standard name for the section space with fiber space poset name xfiber_space_name and base space poset name xbase_space_name.

Precondition
  • poset_path::is_valid_name(xfiber_space_name)
  • poset_path::is_valid_name(xbase_space_name)
Postcondition
  • poset_path::is_valid_name(result)

Definition at line 149 of file sec_rep_space_member.cc.

References sec_rep_space_member().

Referenced by standard_fiber_space_name().

◆ static_class_name()

const std::string & fiber_bundle::sec_rep_space_member::static_class_name ( )
static

The name of this class.

Postcondition
  • !result.empty()

Definition at line 72 of file sec_rep_space_member.cc.

References standard_schema_poset_name().

Referenced by class_name().

◆ unrestricted_schema() [1/2]

fiber_bundle::section_space_schema_member & fiber_bundle::sec_rep_space_member::unrestricted_schema ( )
virtual

The unrestricted schema for this poset membe (mutable version).

Precondition
Postcondition

Reimplemented from sheaf::abstract_poset_member.

Definition at line 988 of file sec_rep_space_member.cc.

References sheaf::poset_component::is_same_state().

Referenced by schema().

◆ unrestricted_schema() [2/2]

const fiber_bundle::section_space_schema_member & fiber_bundle::sec_rep_space_member::unrestricted_schema ( ) const
virtual

The unrestricted schema for this poset member (const version).

Precondition
Postcondition

Reimplemented from sheaf::abstract_poset_member.

Definition at line 1013 of file sec_rep_space_member.cc.

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

◆ version()

int fiber_bundle::sec_rep_space_member::version ( ) const

The base space version this section is defined on.

Precondition
Postcondition

Definition at line 1541 of file sec_rep_space_member.cc.

References get_dof().

Referenced by fiber_schema_is_restricted().


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