20 #ifndef DOF_TUPLE_RECORD_SET_H 21 #define DOF_TUPLE_RECORD_SET_H 23 #ifndef SHEAF_DLL_SPEC_H 24 #include "SheafSystem/sheaf_dll_spec.h" 28 #include "SheafSystem/record_set.h" 32 #include "SheafSystem/zn_to_bool.h" 83 virtual bool invariant()
const;
88 virtual bool is_ancestor_of(
const any* other)
const;
99 int xrecord_buffer_ub,
105 virtual const std::string& suffix()
const;
126 void externalize_domain(
const scoped_index& xtuple_ext_id,
161 virtual hid_t create_dataset();
166 virtual void create_int_data_type();
176 void read_selection();
181 void write_selection();
204 hsize_t (*_hdf_int_selection)[1];
209 hsize_t (*_hdf_ext_selection)[1];
283 size_t& xbuf_remainder);
291 size_t xbuf_remainder);
296 void populate_internal_dof_map(
const poset_dof_map& xext_dof_map,
302 char* get_next_record(
char* xbuf);
330 void externalize_one_domain(
const scoped_index& xtuple_id,
343 #endif // ifndef DOF_TUPLE_RECORD_SET_H An encapsulation of an HDF file containing sheaf data.
size_type _record_size
The size in bytes of a record.
char * _hdf_buf
The HDF buffer.
pod_index_type _next_record_pod
The index of the next buffer record to allocate for a read or write operation.
The general, abstract map from dof ids to dof values.
record_map< pod_index_type, pod_index_type > _hdf_buf_record_map
The record id map for the hdf buffer.
Abstract base class with useful features for all objects.
A map from Zn (the integers mod n) to bools. A characteristic function used to represent subsets of Z...
record_queue _record_queue
The record queue.
An index within the external ("client") scope of a given id space.
unsigned long size_type
An unsigned integral type used to represent sizes and capacities.
An abstract, indexed collection of records on secondary storage.
int _hdf_selection_ct
The number of records selected.
size_t _hdf_buf_ub
The HDF buffer upper bound.
int _hdf_selection_ub
The HDF record selection buffers upper bound.
A record_set which contains dof tuple records. Supports both record selection and record restriction ...
zn_to_bool _record_is_full
True if i-th record is full and should be written out.
size_t _hdf_scratch_buf_ub
The size of the scratch buffer in bytes.
A queue for record read requests.
bool _writing
True if current operation is a write operation.
int_type pod_index_type
The plain old data index type.
Namespace for the sheaves component of the sheaf system.
A poset specific collection of data converters, various buffers and other data used while transferrin...
A client handle for a poset member which has been prepared for use as a schema.
char * _hdf_scratch_buf
Scratch buffer for internalizing dofs that span record boundaries.