21 #include "SheafSystem/sec_st3.h" 23 #include "SheafSystem/assert_contract.h" 24 #include "SheafSystem/binary_section_space_schema_member.impl.h" 25 #include "SheafSystem/binary_section_space_schema_poset.h" 26 #include "SheafSystem/fiber_bundles_namespace.h" 27 #include "SheafSystem/sec_at0.h" 28 #include "SheafSystem/sec_at0_space.h" 29 #include "SheafSystem/sec_stp_space.h" 30 #include "SheafSystem/sec_tuple_space.impl.h" 31 #include "SheafSystem/section_space_schema_member.impl.h" 32 #include "SheafSystem/section_space_schema_poset.h" 33 #include "SheafSystem/stp.h" 34 #include "SheafSystem/stp_space.h" 63 require(!xhost_path.
empty());
66 require(xschema_path.
full());
68 require(host_type::fiber_space_conforms<fiber_type::host_type>(xns, xschema_path, xauto_access));
72 require(host_type::same_scalar_fiber_space(xns, xschema_path, xscalar_space_path, xauto_access));
76 host_type& result = host_type::new_table(xns, xhost_path, xschema_path, xscalar_space_path, xauto_access);
80 ensure(xns.
owns(result, xauto_access));
81 ensure(result.
path(
true) == xhost_path);
83 ensure(result.
schema(
true).
path(xauto_access) == xschema_path);
87 ensure(result.
d(
true) == result.
dd(
true));
90 ensure(result.
p(
true) == 3);
134 attach_to_state(xhost, xhub_id);
140 ensure(index() == xhub_id);
141 ensure(is_attached());
142 ensure(!is_restricted());
156 attach_to_state(xhost, xid.
hub_pod());
162 ensure(index() ==~ xid);
163 ensure(is_attached());
164 ensure(!is_restricted());
175 require(!xname.empty());
180 attach_to_state(xhost, xname);
186 ensure(name() == xname);
187 ensure(is_attached());
188 ensure(!is_restricted());
201 require(precondition_of(attach_to_state(same args)));
205 attach_to_state(xnamespace, xpath, xauto_access);
209 ensure(postcondition_of(attach_to_state(same args)));
223 require(xother != 0);
227 attach_to_state(xother);
232 ensure(is_attached());
233 ensure(is_same_state(xother));
234 ensure(is_same_restriction(xother));
244 require(precondition_of(new_jim_state(xhost, xdof_map,
false, xauto_access)));
248 new_jim_state(xhost, xdof_map,
false, xauto_access);
252 ensure(postcondition_of(new_jim_state(xhost, xdof_map,
false, xauto_access)));
268 require(precondition_of(new_jim_state(xhost, xbase_mbr, xbase_version, xauto_access)));
272 new_jim_state(xhost, xbase_mbr, xbase_version, xauto_access);
276 ensure(postcondition_of(new_jim_state(xhost, xbase_mbr, xbase_version, xauto_access)));
289 require(is_ancestor_of(&xother));
290 require(precondition_of(attach_to_state(&xother)));
294 attach_to_state(&xother);
298 ensure(postcondition_of(attach_to_state(&xother)));
311 require(precondition_of(attach_to_state(&xother)));
315 attach_to_state(&xother);
319 ensure(postcondition_of(attach_to_state(&xother)));
332 require(precondition_of(sec_vd::operator=(xfiber)));
336 sec_vd::operator=(xfiber);
340 ensure(postcondition_of(sec_vd::operator=(xfiber)));
353 require(precondition_of(sec_vd::operator=(xfiber)));
357 sec_vd::operator=(xfiber);
361 ensure(postcondition_of(sec_vd::operator=(xfiber)));
459 const string& result = static_class_name();
463 ensure(!result.empty());
478 static const string result(
"sec_st3");
482 ensure(!result.empty());
531 require(xother != 0);
538 bool result =
dynamic_cast<const st3*
>(xother) != 0;
557 require(xother != 0);
564 bool result =
dynamic_cast<const sec_st3*
>(xother) != 0;
588 invariance(sec_stp::invariant());
590 if (invariant_check())
594 disable_invariant_check();
596 invariance(is_attached() ? p() == 3 :
true);
600 enable_invariant_check();
605 ensure(is_derived_query);
virtual bool invariant() const
Class invariant, intended to be redefined in each descendant. See below for template for invariant in...
static int factor_ct(int xd)
Factor_ct() as a function of dimension xd.
virtual poset_path path(bool xauto_access=true) const
The path of this poset.
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 ...
An abstract symmetric tensor section space of degree p.
bool full() const
True if both poset name and member name are not empty.
A Cartesian product section space.
The abstract map from section dof ids to section dof values of heterogeneous type.
poset_path path(bool xauto_access=true) const
A path to this component.
The default name space; a poset which contains other posets as members.
bool state_is_read_accessible() const
True if this is attached and if the state is accessible for read or access control is disabled...
bool path_is_auto_read_accessible(const poset_path &xpath, bool xauto_access) const
True if the state referred to xpath exists and is auto read accessible.
The standard fiber bundles name space; extends the standard sheaves namespace by defining base space...
A path defined by a poset name and a member name separated by a forward slash ('/'). For example: "cell_definitions/triangle".
A member of a sec_rep_space; a section.
poset_path vector_space_path() const
The path of the underlying vector space.
A schema poset for a section space. A binary Cartesian product subspace of the binary tensor product ...
virtual sec_st3 * clone() const
Make a new handle, no state instance of current.
virtual sec_st3 & operator=(const abstract_poset_member &xother)
Assignment operator; synonym for attach_to_state(&xother).
Abstract base class with useful features for all objects.
int p() const
The tensor degree of this space.
virtual section_space_schema_member & schema()
The schema for this poset (mutable version)
bool is_ancestor_of(const any *xother) const
True if xother conforms to current.
virtual int d(int xp, int xdd) const
Dimension d() as a function of degree xp and domain dimension xdd.
bool owns(const poset_state_handle &xposet, bool xauto_access) const
True if and only if this contains the poset xposet. synonym for contains_poset(xposet.poset_path(true), xauto_access)
An index within the external ("client") scope of a given id space.
bool contains_path(const poset_path &xpath, bool xauto_access=true) const
True if this contains the poset or poset member specified by xpath.
virtual bool contains_member(pod_index_type xmbr_hub_id, bool xauto_access=true) const
True if some version of this poset contains poset member with hub id xmbr_hub_id. ...
bool fiber_is_ancestor_of(const any *xother) const
True if xother conforms to an instance of the fiber of current.
A symmetric rank 3 tensor over an abstract vector space (persistent version).
int dd() const
The dimension of the underlying ("domain") vector space.
A symmetric rank 3 tensor over an abstract vector space. (volatile version).
bool empty() const
True if both poset name and member name are empty.
A section of a bundle with fiber type st3.
static const std::string & static_class_name()
The name of this class.
virtual const std::string & class_name() const
The name of this class.
int_type pod_index_type
The plain old data index type.
poset_path scalar_space_path() const
The path of the underlying space of scalars.
poset & fiber_space()
The fiber space for section spaces on this schema (mutable version).
An abstract client handle for a member of a poset.
static host_type & new_host(namespace_type &xns, const poset_path &xhost_path, const poset_path &xschema_path, const poset_path &xscalar_space_path, bool xauto_access)
Creates a new host table for members of this type. The poset is created in namespace xns with path xh...
sec_st3()
Default constructor.
An abstract symmetric tensor space of degree p.
Namespace for the fiber_bundles component of the sheaf system.
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...
virtual const fiber_type & fiber_prototype() const
Virtual constructor for the associated fiber type.
bool invariant() const
Class invariant.
pod_type hub_pod() const
The pod value of this mapped to the unglued hub id space.
A handle for a poset whose members are numerical representations of sections of a fiber bundle...