20 #include "SheafSystem/poset_data_type_map.h" 22 #include "SheafSystem/assert_contract.h" 23 #include "SheafSystem/data_converter.h" 74 result = result && ((0 <= _toc_index) && (_toc_index < PRIMITIVE_TYPE_END));
75 result = result && ((0 <= _dof_tuple_id_index) && (_dof_tuple_id_index < PRIMITIVE_TYPE_END));
76 result = result && ((0 <= _offset_index) && (_offset_index < PRIMITIVE_TYPE_END));
120 sheaf::poset_data_type_map::
132 _dof_tuple_id_index = INT;
133 _offset_index = SIZE_TYPE;
145 sheaf::poset_data_type_map::
154 _toc_index = xother._toc_index;
155 _dof_tuple_id_index = xother._dof_tuple_id_index;
156 _offset_index = xother._offset_index;
193 int xdof_tuple_id_index,
205 _toc_index = xtoc_index;
206 _dof_tuple_id_index = xdof_tuple_id_index;
207 _offset_index = xoffset_index;
219 sheaf::poset_data_type_map::
220 poset_data_type_map()
virtual bool invariant() const
Class invariant.
virtual ~poset_data_type_map()
Destructor.
virtual poset_data_type_map * clone() const
Virtual constructor; makes a new instance of the same type as this.
Abstract base class with useful features for all objects.
A poset specific collection of data converters, various buffers and other data used while transferrin...
void put_member_record_type_aliases(int xtoc_index, int xdof_tuple_id_index, int xoffset_index)
Sets the member record specific data types These features are logically members of class member_recor...
SHEAF_DLL_SPEC bool is_primitive_index(pod_index_type xindex)
True if xindex is a valid primitive index.
void disable_invariant_check() const
Disable invariant check. Intended for preventing recursive calls to invariant and for suppressing inv...
bool invariant_check() const
True if invariant checking is enabled.
virtual bool is_ancestor_of(const any *other) const
Conformance test; true if other conforms to this.
A collection of data converters that map data types between internal and external representations...
virtual bool invariant() const
Class invariant.
bool is_same_type(const any *other) const
True if other is the same type as this.
void enable_invariant_check() const
Enable invariant checking.