SheafSystem  0.0.0.0
Todo List
Member fiber_bundle::array_field_dof_map::get_dofs (const client_index *xclient_ids, int xclient_id_ct, void *xbuf, size_t xbuf_len) const
make the precondition below executable.
Member fiber_bundle::array_field_dof_map::invariant () const
finish array_field_dof_map::invariant() const
Member fiber_bundle::array_field_dof_map::put_dof (const scoped_index &xid, bool xis_poset_id, const void *xbuf, size_t xbuf_len)
make the precondition below executable.
Member fiber_bundle::array_field_dof_map::put_dofs (const client_index *xclient_ids, int xclient_id_ct, const void *xbuf, size_t xbuf_len)
make the precondition below executable.
Member fiber_bundle::array_sec_vd_dof_map::invariant () const
implement array_sec_vd_dof_map::invariant()
Member fiber_bundle::array_section_dof_map::array_section_dof_map (sec_rep_space *xhost, const scoped_index &xbase_id, int xversion, void *xdofs=0, size_t xdofs_ub=0)
make the following executable.
Member fiber_bundle::array_section_dof_map::array_section_dof_map (sec_rep_space *xhost, pod_index_type xbase_id, int xversion, void *xdofs=0, size_t xdofs_ub=0)
make the following executable.
Member fiber_bundle::array_section_dof_map::invariant () const
implement array_section_dof_map::invariant() const
Member fiber_bundle::at0_space::class_name () const

: Return string&.

: Static version.

Member fiber_bundle::at1_space::class_name () const

: Return string&.

: Static version.

Member fiber_bundle::at2_e2::new_tp (int xp, bool xauto_access) const
: Reword these comments.
Member fiber_bundle::atp_algebra::hook (const e3_lite &x0, const e3_lite &x1, at0_lite &xresult)
Postconditions.
Member fiber_bundle::atp_algebra::hook (const at2_e3_lite &x0, const e3_lite &x1, e3_lite &xresult)
Postconditions.
Member fiber_bundle::atp_algebra::hook (const at3_e3_lite &x0, const e3_lite &x1, at2_e3_lite &xresult)
Postconditions.
Member fiber_bundle::atp_algebra::hook (const atp &x0, const atp &x1, atp &xresult, bool xauto_access)
Postconditions.
Member fiber_bundle::atp_algebra::hook (const atp_lite &x0, const atp_lite &x1, atp_lite &xresult)
Postconditions.
Member fiber_bundle::atp_algebra::star (const at2_e2_lite &x0)
Postconditions.
Member fiber_bundle::atp_algebra::star (const at0_lite &x0)
Postconditions.
Member fiber_bundle::atp_algebra::star (const e2_lite &x0, e2_lite &xresult)
Postconditions.
Member fiber_bundle::atp_algebra::star (const at2_e3_lite &x0, e3_lite &xresult)
Postconditions.
Member fiber_bundle::atp_algebra::star (const e3_lite &x0)
Postconditions.
Member fiber_bundle::atp_algebra::star (const at2_e3_lite &x0)
Postconditions.
Member fiber_bundle::atp_algebra::star (const e3_lite &x0, at2_e3_lite &xresult)
Postconditions.
Member fiber_bundle::atp_algebra::star (const at3_e3_lite &x0, at0_lite &xresult)
Postconditions.
Member fiber_bundle::atp_algebra::star (const atp &x0, atp &xresult, bool xauto_access)
Postconditions.
Member fiber_bundle::atp_algebra::star (const atp_lite &x0, atp_lite &xresult)
Postconditions.
Member fiber_bundle::atp_algebra::wedge (const e2_lite &x0, const e2_lite &x1, at2_e2_lite &xresult)
Postconditions.
Member fiber_bundle::atp_algebra::wedge (const e3_lite &x0, const e3_lite &x1, at2_e3_lite &xresult)
Postconditions.
Member fiber_bundle::atp_algebra::wedge (const atp &x0, const atp &x1, atp &xresult, bool xauto_access)
Postconditions.
Member fiber_bundle::atp_algebra::wedge (const atp_lite &x0, const atp_lite &x1, atp_lite &xresult)
Postconditions.
Member fiber_bundle::atp_space::class_name () const

: Return string&.

: Static version.

Member fiber_bundle::base_space_member::d_cells_ct (block< size_type > &xresult, bool xauto_access) const

replace lhost with host() when base_space_member::host is type base_space_poset.

enable when base_space_member::host is type base_space_poset.

enable when base_space_member::host is type base_space_poset.

Member fiber_bundle::base_space_member::host () const
implement the following. Requires support in the io subsystem.
Member fiber_bundle::base_space_member::invariant () const
implement base_space_member::invariant() const
Member fiber_bundle::base_space_member::new_row_dof_map (const poset *xhost, const std::string &xprototype_name)
replace with call to base_space_poset::new_row_dof_map(xprototype_name) when host signature is changed to base_space_poset.
Member fiber_bundle::base_space_member::prototype_path () const
make schema conformance precondition executable.
Member fiber_bundle::base_space_poset::invariant () const
finish base_space_poset::invariant() const What is the invariant?
Member fiber_bundle::bilinear_2d::db () const
xlocal_coords_ub, etc.
Member fiber_bundle::bilinear_2d::integrate (const dof_type xcoord_dofs[], size_type xcoord_dofs_ub, size_type xdf, const dof_type xintegrands[], size_type xintegrands_ub, value_type xresult_integrals[], size_type xresult_integrals_ub)

Get these correct.

Add method number_of_gauss_points().

Add method number_of_gauss_points().

Member fiber_bundle::bilinear_2d::integrate (const dof_type xcoord_dofs[], size_type xcoord_dofs_ub, size_type xdf, const dof_type xintegrand, value_type xresult_integrals[], size_type xresult_integrals_ub)

Get these correct.

Add method number_of_gauss_points().

Add method number_of_gauss_points().

Member fiber_bundle::bilinear_2d::jacobian (const dof_type xcoord_dofs[], size_type xcoord_dofs_ub, size_type xdf, const dof_type xlocal_coords[], size_type xlocal_coords_ub)
Fix!
Member fiber_bundle::bilinear_2d::volume (const dof_type xcoord_dofs[], size_type xcoord_dofs_ub, size_type xdf)
Add method number_of_gauss_points().
Member fiber_bundle::binary_section_space_schema_member::invariant () const
implement binary_section_space_schema_member::invariant() const
Member fiber_bundle::binary_section_space_schema_poset::invariant () const
finish binary_section_space_schema_poset::invariant() const What is the invariant?
Member fiber_bundle::binary_section_space_schema_poset::merge_jems (pod_index_type xjem1, pod_index_type xjem2)
make this class immutable; remove this function.
Member fiber_bundle::binary_section_space_schema_poset::new_state (const poset_path &xpath, const schema_poset_member &xschema, array_poset_dof_map &xdof_map)
fix dof maps schema feature and make this precondition executable.
Member fiber_bundle::chart_point_1d::local_coord (int xi) const
uncomment when invariant changed to invariant() const; ensure(invariant());
Member fiber_bundle::chart_point_1d::put_local_coord (int xi, coord_type xvalue)
uncomment when invariant changed to invariant() const; ensure(invariant());
Member fiber_bundle::chart_point_1d::u ()
uncomment when invariant changed to invariant() const; ensure(invariant());
Member fiber_bundle::chart_point_1d::u () const
uncomment when invariant changed to invariant() const; ensure(invariant());
Member fiber_bundle::chart_point_2d::local_coord (int xi) const
uncomment when invariant changed to invariant() const; ensure(invariant());
Member fiber_bundle::chart_point_2d::put_local_coord (int xi, coord_type xvalue)
uncomment when invariant changed to invariant() const; ensure(invariant());
Member fiber_bundle::chart_point_2d::u () const
uncomment when invariant changed to invariant() const; ensure(invariant());
Member fiber_bundle::chart_point_2d::v () const
uncomment when invariant changed to invariant() const; ensure(invariant());
Member fiber_bundle::chart_point_3d::local_coord (int xi) const
uncomment when invariant changed to invariant() const; ensure(invariant());
Member fiber_bundle::chart_point_3d::put_local_coord (int xi, coord_type xvalue)
uncomment when invariant changed to invariant() const; ensure(invariant());
Member fiber_bundle::chart_point_3d::u () const
uncomment when invariant changed to invariant() const; ensure(invariant());
Member fiber_bundle::chart_point_3d::v () const
uncomment when invariant changed to invariant() const; ensure(invariant());
Member fiber_bundle::chart_point_3d::w () const
uncomment when invariant changed to invariant() const; ensure(invariant());
Member fiber_bundle::constant_fcn_space::integrate (const dof_type xcoord_dofs[], size_type xcoord_dofs_ub, size_type xdf, const dof_type xintegrands[], size_type xintegrands_ub, value_type xresult_integrals[], size_type xresult_integrals_ub)
Get these correct.
Member fiber_bundle::constant_hex::volume (const dof_type xcoord_dofs[], size_type xcoord_dofs_ub, size_type xdf)
Implement const_hex::volume.
Member fiber_bundle::constant_point::volume (const dof_type xcoord_dofs[], size_type xcoord_dofs_ub, size_type xdf)
Implement const_point::volume.
Member fiber_bundle::constant_quad::volume (const dof_type xcoord_dofs[], size_type xcoord_dofs_ub, size_type xdf)
Implement const_quad::volume.
Member fiber_bundle::constant_segment::volume (const dof_type xcoord_dofs[], size_type xcoord_dofs_ub, size_type xdf)
Implement const_segment::volume.
Member fiber_bundle::constant_tet::volume (const dof_type xcoord_dofs[], size_type xcoord_dofs_ub, size_type xdf)
Implement const_tet::volume.
Member fiber_bundle::constant_triangle::operator= (const section_evaluator &xother)
implement constant_triangle::operator=(const constant_triangle& xother)
Member fiber_bundle::constant_triangle::volume (const dof_type xcoord_dofs[], size_type xcoord_dofs_ub, size_type xdf)
Implement const_triangle::volume.
Member fiber_bundle::deep_size (const chart_point_1d &xp, bool xinclude_shallow=true)
Implement correctly.
Member fiber_bundle::deep_size (const chart_point_2d &xp, bool xinclude_shallow=true)
Implement correctly.
Member fiber_bundle::deep_size (const chart_point_3d &xp, bool xinclude_shallow=true)
Implement correctly.
Member fiber_bundle::deep_size (const differentiable_section_evaluator &xe, bool xinclude_shallow=true)
Implement correctly.
Member fiber_bundle::deep_size (const discretization_context &xc, bool xinclude_shallow=true)
Implement correctly.
Member fiber_bundle::deep_size (const e3_lite &x0, bool xinclude_shallow=true)
Implement correctly.
Member fiber_bundle::deep_size (const integrable_section_evaluator &xe, bool xinclude_shallow=true)
Implement correctly.
Member fiber_bundle::deep_size (const sec_tuple &x0, bool xinclude_shallow=true)
Implement correctly.
Member fiber_bundle::deep_size (const sec_vd &x0, bool xinclude_shallow=true)
Implement correctly.
Member fiber_bundle::deep_size (const section_evaluator &xe, bool xinclude_shallow=true)
Implement correctly.
Member fiber_bundle::deep_size (const structured_block &x0, bool xinclude_shallow=true)
Implement correctly.
Member fiber_bundle::differentiable_section_evaluator::jacobian (const dof_type xcoord_dofs[], size_type xcoord_dofs_ub, size_type xdf, const dof_type xlocal_coords[], size_type xlocal_coords_ub)
Implement general version of jacobian using dxi_local; can be optimized in derived classes.
Member fiber_bundle::differentiable_section_evaluator::jacobian_determinant (const dof_type xcoord_dofs[], size_type xcoord_dofs_ub, size_type xdf, const coord_type xlocal_coords[], size_type xlocal_coords_ub)
Implement general version of jacobian_determinant using dxi_local; can be optimixed in derived classes.
Member fiber_bundle::e2::new_tp (int xp, bool xauto_access) const
: Reword these comments.
Member fiber_bundle::e4::new_tp (int xp, bool xauto_access) const
: Reword these comments.
Member fiber_bundle::field_dof_map::get_dofs (const client_index *xclient_ids, int xclient_id_ct, void *xbuf, size_t xbuf_len) const
implement product posets so inheritance is correct.
Member fiber_bundle::gln::lite_type () const
: Fix gln_lite so this works.
Member fiber_bundle::gln_space::class_name () const

: Return string&.

: Static version.

Member fiber_bundle::gln_space::invariant () const
finish gln_space::invariant() const What is the invariant?
Member fiber_bundle::homogeneous_block::contains_adjacency_id_space (pod_index_type xvertex_id, bool xauto_access) const
replace lhost with host() when base_space_member::host is type base_space_poset.
Member fiber_bundle::homogeneous_block::contains_connectivity_id_space (pod_index_type xzone_id, bool xauto_access) const
replace lhost with host() when base_space_member::host is type base_space_poset.
Member fiber_bundle::homogeneous_block::contains_vertex_id_space (bool xauto_access) const
replace lhost with host() when base_space_member::host is type base_space_poset.
Member fiber_bundle::homogeneous_block::contains_zone_id_space (bool xauto_access) const
replace lhost with host() when base_space_member::host is type base_space_poset.
Member fiber_bundle::homogeneous_block::get_adjacency_id_space (pod_index_type xvertex_id, bool xauto_access) const
replace lhost with host() when base_space_member::host is type base_space_poset.
Member fiber_bundle::homogeneous_block::get_adjacency_id_space_iterator (pod_index_type xvertex_id, bool xauto_access) const
replace lhost with host() when base_space_member::host is type base_space_poset.
Member fiber_bundle::homogeneous_block::get_connectivity_id_space (pod_index_type xzone_id, bool xauto_access) const
replace lhost with host() when base_space_member::host is type base_space_poset.
Member fiber_bundle::homogeneous_block::get_connectivity_id_space_iterator (pod_index_type xzone_id, bool xauto_access) const
replace lhost with host() when base_space_member::host is type base_space_poset.
Member fiber_bundle::homogeneous_block::get_vertex_id_space (bool xauto_access) const
replace lhost with host() when base_space_member::host is type base_space_poset.
Member fiber_bundle::homogeneous_block::get_vertex_id_space_iterator (bool xauto_access) const
replace lhost with host() when base_space_member::host is type base_space_poset.
Member fiber_bundle::homogeneous_block::get_zone_id_space (bool xauto_access) const
replace lhost with host() when base_space_member::host is type base_space_poset.
Member fiber_bundle::homogeneous_block::get_zone_id_space_iterator (bool xauto_access) const
replace lhost with host() when base_space_member::host is type base_space_poset.
Member fiber_bundle::homogeneous_block::hub_id_space () const
Need to export the preconditions in the implicit interval object.
Member fiber_bundle::homogeneous_block::local_id_space () const
Need to export the preconditions in the implicit interval object.
Member fiber_bundle::homogeneous_block::release_adjacency_id_space (index_space_handle &xid_space, bool xauto_access) const
replace lhost with host() when base_space_member::host is type base_space_poset.
Member fiber_bundle::homogeneous_block::release_adjacency_id_space_iterator (index_space_iterator &xid_space, bool xauto_access) const
replace lhost with host() when base_space_member::host is type base_space_poset.
Member fiber_bundle::homogeneous_block::release_connectivity_id_space (index_space_handle &xid_space, bool xauto_access) const
replace lhost with host() when base_space_member::host is type base_space_poset.
Member fiber_bundle::homogeneous_block::release_connectivity_id_space_iterator (index_space_iterator &xid_space, bool xauto_access) const
replace lhost with host() when base_space_member::host is type base_space_poset.
Member fiber_bundle::homogeneous_block::release_vertex_id_space (index_space_handle &xid_space, bool xauto_access) const
replace lhost with host() when base_space_member::host is type base_space_poset.
Member fiber_bundle::homogeneous_block::release_vertex_id_space_iterator (index_space_iterator &xitr, bool xauto_access) const
replace lhost with host() when base_space_member::host is type base_space_poset.
Member fiber_bundle::homogeneous_block::release_zone_id_space (index_space_handle &xid_space, bool xauto_access) const
replace lhost with host() when base_space_member::host is type base_space_poset.
Member fiber_bundle::homogeneous_block::release_zone_id_space_iterator (index_space_iterator &xitr, bool xauto_access) const
replace lhost with host() when base_space_member::host is type base_space_poset.
Member fiber_bundle::i_adjacency_index_space_interval::delete_product_structure (pod_type xlocal_id)
Implement.
Member fiber_bundle::i_adjacency_index_space_interval::explicit_state (pod_type xlocal_id) const
Check to see if there is an override.
Member fiber_bundle::i_adjacency_index_space_interval::has_product_structure (pod_type xlocal_id) const
Implement.
Member fiber_bundle::i_adjacency_index_space_interval::new_product_structure (pod_type xlocal_id, const abstract_product_structure &xproduct)
Implement.
Member fiber_bundle::i_adjacency_index_space_interval::product_structure (pod_type xlocal_id) const
Implement.
Member fiber_bundle::i_adjacency_index_space_interval::product_structure (pod_type xlocal_id)
Implement.
Member fiber_bundle::i_adjacency_index_space_interval::remove (pod_type xlocal_id)
Remove or implement.
Member fiber_bundle::i_connectivity_index_space_interval::delete_product_structure (pod_type xlocal_id)
Implement.
Member fiber_bundle::i_connectivity_index_space_interval::explicit_state (pod_type xlocal_id) const
Check to see if there is an override.
Member fiber_bundle::i_connectivity_index_space_interval::has_product_structure (pod_type xlocal_id) const
Implement.
Member fiber_bundle::i_connectivity_index_space_interval::new_product_structure (pod_type xlocal_id, const abstract_product_structure &xproduct)
Implement.
Member fiber_bundle::i_connectivity_index_space_interval::remove (pod_type xlocal_id)
Remove or implement.
Member fiber_bundle::ij_adjacency_index_space_interval::delete_product_structure (pod_type xlocal_id)
Implement.
Member fiber_bundle::ij_adjacency_index_space_interval::explicit_state (pod_type xlocal_id) const
Check to see if there is an override.
Member fiber_bundle::ij_adjacency_index_space_interval::has_product_structure (pod_type xlocal_id) const
Implement.
Member fiber_bundle::ij_adjacency_index_space_interval::new_product_structure (pod_type xlocal_id, const abstract_product_structure &xproduct)
Implement.
Member fiber_bundle::ij_adjacency_index_space_interval::product_structure (pod_type xlocal_id) const
Implement.
Member fiber_bundle::ij_adjacency_index_space_interval::product_structure (pod_type xlocal_id)
Implement.
Member fiber_bundle::ij_adjacency_index_space_interval::remove (pod_type xlocal_id)
Remove or implement.
Member fiber_bundle::ij_connectivity_index_space_interval::delete_product_structure (pod_type xlocal_id)
Implement.
Member fiber_bundle::ij_connectivity_index_space_interval::explicit_state (pod_type xlocal_id) const
Check to see if there is an override.
Member fiber_bundle::ij_connectivity_index_space_interval::has_product_structure (pod_type xlocal_id) const
Implement.
Member fiber_bundle::ij_connectivity_index_space_interval::new_product_structure (pod_type xlocal_id, const abstract_product_structure &xproduct)
Implement.
Member fiber_bundle::ij_connectivity_index_space_interval::product_structure (pod_type xlocal_id) const
Implement.
Member fiber_bundle::ij_connectivity_index_space_interval::product_structure (pod_type xlocal_id)
Implement.
Member fiber_bundle::ij_connectivity_index_space_interval::remove (pod_type xlocal_id)
Remove or implement.
Member fiber_bundle::ijk_adjacency_index_space_interval::delete_product_structure (pod_type xlocal_id)
Implement.
Member fiber_bundle::ijk_adjacency_index_space_interval::explicit_state (pod_type xlocal_id) const
Check to see if there is an override.
Member fiber_bundle::ijk_adjacency_index_space_interval::has_product_structure (pod_type xlocal_id) const
Implement.
Member fiber_bundle::ijk_adjacency_index_space_interval::new_product_structure (pod_type xlocal_id, const abstract_product_structure &xproduct)
Implement.
Member fiber_bundle::ijk_adjacency_index_space_interval::product_structure (pod_type xlocal_id) const
Implement.
Member fiber_bundle::ijk_adjacency_index_space_interval::product_structure (pod_type xlocal_id)
Implement.
Member fiber_bundle::ijk_adjacency_index_space_interval::remove (pod_type xlocal_id)
Remove or implement.
Member fiber_bundle::ijk_connectivity_index_space_interval::delete_product_structure (pod_type xlocal_id)
Implement.
Member fiber_bundle::ijk_connectivity_index_space_interval::explicit_state (pod_type xlocal_id) const
Check to see if there is an override.
Member fiber_bundle::ijk_connectivity_index_space_interval::has_product_structure (pod_type xlocal_id) const
Implement.
Member fiber_bundle::ijk_connectivity_index_space_interval::new_product_structure (pod_type xlocal_id, const abstract_product_structure &xproduct)
Implement.
Member fiber_bundle::ijk_connectivity_index_space_interval::product_structure (pod_type xlocal_id) const
Implement.
Member fiber_bundle::ijk_connectivity_index_space_interval::product_structure (pod_type xlocal_id)
Implement.
Member fiber_bundle::ijk_connectivity_index_space_interval::remove (pod_type xlocal_id)
Remove or implement.
Member fiber_bundle::integrable_section_evaluator::integrate (const dof_type xcoord_dofs[], size_type xcoord_dofs_ub, size_type xdf, const dof_type xintegrands[], size_type xintegrands_ub, value_type xresult_integrals[], size_type xresult_integrals_ub)=0
Get these correct.
Member fiber_bundle::integrable_section_evaluator::integrate (const dof_type xcoord_dofs[], size_type xcoord_dofs_ub, size_type xdf, const dof_type xintegrand, value_type xresult_integrals[], size_type xresult_integrals_ub)
Get these correct.
Member fiber_bundle::inverse (const gl3_lite &xlite, gl3_lite &xresult)
Implement a way to deal with the above issue.
Member fiber_bundle::inverse (const gl2_lite &xlite, gl2_lite &xresult)
Implement a way to deal with the above issue.
Member fiber_bundle::inverse (const gl2 &xgl, gl2 &xresult)

Add auto_access argument or eliminate this function.

Implement a way to deal with the above issue.

Implement a way to deal with the above issue.

Member fiber_bundle::inverse (const gl3 &xgl, gl3 &xresult)

Add auto_access argument or eliminate this function.

Implement a way to deal with the above issue.

Implement a way to deal with the above issue.

Member fiber_bundle::jcb_space::class_name () const

: Return string&.

: Static version.

Member fiber_bundle::linear_1d::jacobian (const dof_type xcoord_dofs[], size_type xcoord_dofs_ub, size_type xdf, const dof_type xlocal_coords[], size_type xlocal_coords_ub)
Fix!
Member fiber_bundle::linear_1d::volume (const dof_type xcoord_dofs[], size_type xcoord_dofs_ub, size_type xdf)
Fix.
Member fiber_bundle::linear_2d::integrate (const dof_type xcoord_dofs[], size_type xcoord_dofs_ub, size_type xdf, const dof_type xintegrands[], size_type xintegrands_ub, value_type xresult_integrals[], size_type xresult_integrals_ub)
Get these correct.
Member fiber_bundle::linear_2d::integrate (const dof_type xcoord_dofs[], size_type xcoord_dofs_ub, size_type xdf, const dof_type xintegrands[], value_type xresult_integrals[], size_type xresult_integrals_ub)
Get these correct.
Member fiber_bundle::linear_2d::integrate (const dof_type xcoord_dofs[], size_type xcoord_dofs_ub, size_type xdf, const dof_type xintegrand, value_type xresult_integrals[], size_type xresult_integrals_ub)
Get these correct.
Member fiber_bundle::linear_2d::jacobian (const dof_type xcoord_dofs[], size_type xcoord_dofs_ub, size_type xdf, const dof_type xlocal_coords[], size_type xlocal_coords_ub)

Fix it!

Fix!

Fix!

Member fiber_bundle::linear_2d::operator= (const section_evaluator &xother)
implement linear_2d::operator=(const linear_2d& xother)
Member fiber_bundle::linear_2d::volume (const dof_type xcoord_dofs[], size_type xcoord_dofs_ub, size_type xdf)
Fix!
Member fiber_bundle::linear_3d::jacobian (const dof_type xcoord_dofs[], size_type xcoord_dofs_ub, size_type xdf, const dof_type xlocal_coords[], size_type xlocal_coords_ub)
Fix!
Member fiber_bundle::local_base_space_member::invariant () const
implement local_base_space_member::invariant() const
Member fiber_bundle::local_base_space_member::refine_point (const chart_point &xpt) const
remove when clone();
Member fiber_bundle::local_base_space_member::unrefine_point (const chart_point &xpt) const
remove when clone();
Member fiber_bundle::point_block_2d::static_local_cell_prototype_path ()
replaced with quad_complex when available.
Member fiber_bundle::point_block_3d::static_local_cell_prototype_path ()
replaced with hex_complex when available.
Member fiber_bundle::product_section_space_schema_member::dof_iterator (bool xis_table_dofs, int xversion=CURRENT_MEMBER_VERSION) const

Remove.

Remove.

Remove.

Member fiber_bundle::product_section_space_schema_member::get_ext_ids (const std::string &xid_space_name, pod_index_type &xschema_poset_ext_id, pod_index_type &xschema_member_ext_id, pod_index_type &xbase_space_ext_id, pod_index_type &xfiber_schema_ext_id, pod_index_type &xlocal_schema_ext_id) const

Remove.

Review.

Remove.

Review.

Remove.

Review.

Member fiber_bundle::product_section_space_schema_member::invariant () const
implement product_section_space_schema_member::invariant() const
Member fiber_bundle::product_section_space_schema_member::update_row_cache (bool xupdate_id_space=false) const

add auto access

replace this look up by something more efficient. This is just a temporary, exploratory implementation.

replace this look up by something more efficient. This is just a temporary, exploratory implementation.

Member fiber_bundle::product_section_space_schema_poset::invariant () const
finish product_section_space_schema_poset::invariant() const What is the invariant?
Member fiber_bundle::product_section_space_schema_poset::new_schema_handle (const std::string &xid_space_name, pod_index_type xschema_member_ext_id, pod_index_type xbase_space_ext_id, pod_index_type xfiber_schema_ext_id, pod_index_type xlocal_schema_ext_id)

Remove.

Remove.

Remove.

Member fiber_bundle::product_section_space_schema_poset::new_state (namespace_poset &xhost, const std::string &xname, const arg_list &xargs, const poset_path &xschema_path, bool xauto_access)

fix the i/o subsystem and remove these preconditions.

Review.

Review.

Member fiber_bundle::product_section_space_schema_poset::new_state (const schema_poset_member &xschema, array_poset_dof_map &xdof_map)

Remove.

fix dof maps schema feature and make this precondition executable.

fix dof maps schema feature and make this precondition executable.

Member fiber_bundle::product_section_space_schema_poset::top ()
Remove.
Member fiber_bundle::quadratic_1d::gauss_point (pod_index_type xindex, coord_type xresult[], size_type xresult_ub)
Implement.
Member fiber_bundle::quadratic_1d::integrate (const dof_type xcoord_dofs[], size_type xcoord_dofs_ub, size_type xdf, const dof_type xintegrands[], size_type xintegrands_ub, value_type xresult_integrals[], size_type xresult_integrals_ub)

Get these correct.

Implement.

Implement.

Member fiber_bundle::quadratic_1d::integrate (const dof_type xcoord_dofs[], size_type xcoord_dofs_ub, size_type xdf, const dof_type xintegrand, value_type xresult_integrals[], size_type xresult_integrals_ub)

Get these correct.

Implement.

Implement.

Member fiber_bundle::quadratic_1d::jacobian (const dof_type xcoord_dofs[], size_type xcoord_dofs_ub, size_type xdf, const dof_type xlocal_coords[], size_type xlocal_coords_ub)
Implement.
Member fiber_bundle::quadratic_1d::jacobian_determinant (const dof_type xcoord_dofs[], size_type xcoord_dofs_ub, size_type xdf, const coord_type xlocal_coords[], size_type xlocal_coords_ub)
Implement.
Member fiber_bundle::quadratic_1d::volume (const dof_type xcoord_dofs[], size_type xcoord_dofs_ub, size_type xdf)
Fix.
Member fiber_bundle::quadratic_2d::basis_derivs_at_coord (const dof_type xlocal_coords[], size_type xlocal_coords_ub)
Implement.
Member fiber_bundle::quadratic_2d::coord_at_value (const dof_type xdofs[], size_type xdofs_ub, const dof_type xglobal_coords[], size_type xglobal_coord_ub, dof_type xlocal_coords[], size_type xlocal_coords_ub) const

Decide what order the coordinates will be in. The following assumes the corner nodes come first.

Finish: What is below is copied from linear_2d.

Finish: What is below is copied from linear_2d.

Member fiber_bundle::quadratic_2d::gauss_point (pod_index_type xindex, coord_type xresult[], size_type xresult_ub)
Implement.
Member fiber_bundle::quadratic_2d::jacobian (const dof_type xcoord_dofs[], size_type xcoord_dofs_ub, size_type xdf, const dof_type xlocal_coords[], size_type xlocal_coords_ub)
Implement.
Member fiber_bundle::quadratic_2d::jacobian_determinant (const dof_type xcoord_dofs[], size_type xcoord_dofs_ub, size_type xdf, const coord_type xlocal_coords[], size_type xlocal_coords_ub)
Implement.
Member fiber_bundle::quadratic_2d::volume (const dof_type xcoord_dofs[], size_type xcoord_dofs_ub, size_type xdf)
Implement.
Member fiber_bundle::quadratic_3d::basis_derivs_at_coord (const dof_type xlocal_coords[], size_type xlocal_coords_ub)
Implement.
Member fiber_bundle::quadratic_3d::coord_at_value (const dof_type xdofs[], size_type xdofs_ub, const dof_type xglobal_coords[], size_type xglobal_coord_ub, dof_type xlocal_coords[], size_type xlocal_coords_ub) const

Decide what order the coordinates will be in. The following assumes the corner nodes come first.

Finish: What is below is copied from linear_3d.

Finish: What is below is copied from linear_3d.

Member fiber_bundle::quadratic_3d::gauss_point (pod_index_type xindex, coord_type xresult[], size_type xresult_ub)
Implement.
Member fiber_bundle::quadratic_3d::integrate (const dof_type xcoord_dofs[], size_type xcoord_dofs_ub, size_type xdf, const dof_type xintegrands[], size_type xintegrands_ub, value_type xresult_integrals[], size_type xresult_integrals_ub)

Get these correct.

Implement.

Implement.

Member fiber_bundle::quadratic_3d::integrate (const dof_type xcoord_dofs[], size_type xcoord_dofs_ub, size_type xdf, const dof_type xintegrand, value_type xresult_integrals[], size_type xresult_integrals_ub)

Get these correct.

Implement.

Implement.

Member fiber_bundle::quadratic_3d::jacobian (const dof_type xcoord_dofs[], size_type xcoord_dofs_ub, size_type xdf, const dof_type xlocal_coords[], size_type xlocal_coords_ub)
Implement.
Member fiber_bundle::quadratic_3d::jacobian_determinant (const dof_type xcoord_dofs[], size_type xcoord_dofs_ub, size_type xdf, const coord_type xlocal_coords[], size_type xlocal_coords_ub)
Implement.
Member fiber_bundle::quadratic_3d::volume (const dof_type xcoord_dofs[], size_type xcoord_dofs_ub, size_type xdf)
Implement.
Member fiber_bundle::sec_at0::invariant () const
reimplement sec_at0::u(), v(), p(), etc
Member fiber_bundle::sec_at0::restrict_to (pod_index_type xbase_id, pod_index_type xfiber_schema_id)
implement preconditions equivalent to the following: require(xbase != 0); require(xbase->le(&(host()->base()))); require(xfiber_schema != 0); require(xfiber_schema->le(&(host()->fiber_schema())));
Member fiber_bundle::sec_at0_space::class_name () const

: Return string&.

: Static version.

Member fiber_bundle::sec_at1_space::class_name () const

: Return string&.

: Static version.

Member fiber_bundle::sec_atp::invariant () const
Fix this when we have is_p_form, etc. implemented.
Member fiber_bundle::sec_atp_algebra::star (const sec_atp &x0, sec_atp &xresult, bool xauto_access)
Postconditions.
Member fiber_bundle::sec_atp_algebra::wedge (const sec_atp &x0, const sec_atp &x1, sec_atp &xresult, bool xauto_access)
Postconditions.
Member fiber_bundle::sec_atp_space::class_name () const

: Return string&.

: Static version.

Member fiber_bundle::sec_ed_algebra::normalize (const sec_ed &x0, sec_ed &xresult, bool xauto_access)
: Implement. Need a new unary_op?
Member fiber_bundle::sec_jcb_space::class_name () const

: Return string&.

: Static version.

Member fiber_bundle::sec_rep_descriptor::evaluators () const
convert to eval_family when refactoring complete. /
Member fiber_bundle::sec_rep_space::invariant () const
implement sec_rep_space::invariant
Member fiber_bundle::sec_rep_space::new_state (const poset_path &xpath, const schema_poset_member &xschema, array_poset_dof_map &xdof_map)
fix dof maps schema feature and make this precondition executable.
Member fiber_bundle::sec_rep_space_member::dof_tuple_size ()
implement sec_rep_space_member::dof_tuple_size()
Member fiber_bundle::sec_rep_space_member::evaluation_ct () const
Change member_dof_map to take scoped_index. (WEM)
Member fiber_bundle::sec_rep_space_member::restrict_to (pod_index_type xbase_id, pod_index_type xfiber_schema_id)

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

implement postconditions equivalent to the following: ensure(base().is_same_state(xbase)); ensure(fiber_schema().is_same_state(xfiber_schema));

implement postconditions equivalent to the following: ensure(base().is_same_state(xbase)); ensure(fiber_schema().is_same_state(xfiber_schema));

Member fiber_bundle::sec_rep_space_member::restrict_to (const scoped_index &xbase_id, const scoped_index &xfiber_schema_id)

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

implement postconditions equivalent to the following: ensure(base().is_same_state(xbase)); ensure(fiber_schema().is_same_state(xfiber_schema));

implement postconditions equivalent to the following: ensure(base().is_same_state(xbase)); ensure(fiber_schema().is_same_state(xfiber_schema));

Member fiber_bundle::sec_rep_space_member::same_rep (const sec_rep_space_member *xother) const

distinguish betwee rep desc equality and rep equality. /

distinguish betwee rep desc equality and rep equality.

distinguish betwee rep desc equality and rep equality.

Member fiber_bundle::sec_stp_space::class_name () const

: Return string&.

: Static version.

Member fiber_bundle::sec_tp_algebra::tensor (const sec_t2 &x0, const sec_at1 &x1, sec_t3 &xresult, bool xauto_access)
: Remove when we have an efficient general implementation.
Member fiber_bundle::sec_tp_algebra::tensor (const sec_at1 &x0, const sec_at1 &x1, sec_t2 &xresult, bool xauto_access)
: Remove when we have an efficient general implementation.
Member fiber_bundle::sec_tp_space::class_name () const

: Return string&.

: Static version.

Member fiber_bundle::sec_tuple::fiber_is_ancestor_of (const any *xother) const
Make virtual.
Member fiber_bundle::sec_tuple::restrict_to (pod_index_type xbase_id, pod_index_type xfiber_schema_id)
implement preconditions equivalent to the following: require(xbase != 0); require(xbase->le(&(host()->base()))); require(xfiber_schema != 0); require(xfiber_schema->le(&(host()->fiber_schema())));
Member fiber_bundle::sec_tuple_space::class_name () const

: Return string&.

: Static version.

Member fiber_bundle::sec_tuple_space::invariant () const
finish sec_tuple_space::invariant() const What is the invariant?
Member fiber_bundle::sec_vd::operator= (const vd &xfiber)
Implement like the assignment operator for vd_lite once a virtual copy constructor is available.
Member fiber_bundle::sec_vd_algebra::extrema (const sec_vd &x0, sec_vd_value_type xmin[], size_type xmin_ub, sec_vd_value_type xmax[], size_type xmax_ub)
remove when rep is fixed to create eval family.
Member fiber_bundle::sec_vd_space::class_name () const

: Return string&.

: Static version.

Member fiber_bundle::section_eval_iterator::section_eval_iterator (const section_space_schema_member &xanchor)
The initial setting of the anchor is a bit strange. It works around preconditions in reset_anchor that require that any new anchor be related to the old anchor. Examine this in more detail and see whether there's a less awkward way to set the anchor.
Member fiber_bundle::section_evaluator::coord_at_value (const dof_type xdofs[], size_type xdofs_ub, const dof_type xvalue[], size_type xvalue_ub, dof_type xlocal_coords[], size_type xlocal_coords_ub) const =0
Add preconditions.
Member fiber_bundle::section_evaluator::section_evaluator (const section_evaluator &xother)
revise the signatures of the functions in this class and all its descendants to properly distinguish between the above three types.
Member fiber_bundle::section_iteration_state::gather_dofs (const sec_vd &xsec)

revise when ternary schema are supported.

reimplement uniform sec rep so disc is same as eval.

Member fiber_bundle::section_iteration_state::initialize (const section_space_schema_member &xschema)
reimplement uniform sec rep so disc is same as eval.
Class fiber_bundle::section_space_schema_member

create immutable base class so this doesn't inherit new_state methods.

create immutable base class so this doesn't inherit new_state methods.

Member fiber_bundle::section_space_schema_member::attach_handle_data_members ()
Remove.
Member fiber_bundle::section_space_schema_member::attach_to_state (pod_index_type xbase_space_id, pod_index_type xfiber_schema_id)=0
Remove.
Member fiber_bundle::section_space_schema_member::contains_dof (const schema_poset_member &xother, bool xin_table_dofs) const
Remove.
Member fiber_bundle::section_space_schema_member::delete_state (bool xauto_access=false)
host is immutable; remove this function /
Member fiber_bundle::section_space_schema_member::dof_descriptors (bool xis_table_dof) const =0
Remove.
Member fiber_bundle::section_space_schema_member::dof_iterator (bool xis_table_dofs, int xversion=CURRENT_MEMBER_VERSION) const =0
Remove.
Member fiber_bundle::section_space_schema_member::invariant () const

implement section_space_schema_member::invariant() const

implement section_space_schema_member::invariant() const

implement section_space_schema_member::invariant() const

Member fiber_bundle::section_space_schema_member::unrestricted_schema ()

Remove.

Remove.

Remove.

Member fiber_bundle::section_space_schema_member::up_pa (subposet *result) const
implement this function
Member fiber_bundle::section_space_schema_member::update_row_cache (bool xupdate_id_space=false) const

add auto access

replace this look up by something more efficient. This is just a temporary, exploratory implementation.

replace this look up by something more efficient. This is just a temporary, exploratory implementation.

Member fiber_bundle::section_space_schema_member::update_table_dof_id_space () const
Remove.
Member fiber_bundle::section_space_schema_poset::delete_link (pod_index_type xgreater, pod_index_type xlesser)
implement this routine
Member fiber_bundle::section_space_schema_poset::delete_member (pod_index_type xmbr_hub_id)
implement this routine
Member fiber_bundle::section_space_schema_poset::delete_subposet (pod_index_type xsubposet_hub_id)
implement this routine
Member fiber_bundle::section_space_schema_poset::get_decomposition (pod_index_type xindex) const
Remove.
Member fiber_bundle::section_space_schema_poset::initialize_table_dof_subposet ()
Remove.
Member fiber_bundle::section_space_schema_poset::invariant () const

make the following executable.

finish section_space_schema_poset::invariant() const What is the invariant?

make the following executable.

finish section_space_schema_poset::invariant() const What is the invariant?

finish section_space_schema_poset::invariant() const What is the invariant?

make the following executable.

finish section_space_schema_poset::invariant() const What is the invariant?

Member fiber_bundle::section_space_schema_poset::is_schematized (bool xauto_access) const
make the following executable.
Member fiber_bundle::section_space_schema_poset::member_iterator () const
implement section_space_schema_poset::member_iterator()
Member fiber_bundle::section_space_schema_poset::new_link (pod_index_type xgreater, pod_index_type xlesser)
implement this routine
Member fiber_bundle::section_space_schema_poset::new_member (bool xis_jim, poset_dof_map *xdof_map=0, bool xcopy_dof_map=false)
implement this routine
Member fiber_bundle::section_space_schema_poset::new_member (bool xis_jim, pod_index_type xdof_tuple_id)
implement this routine
Member fiber_bundle::section_space_schema_poset::new_subposet (const block< pod_index_type > &xmembers)
implement this routine
Member fiber_bundle::section_space_schema_poset::rep_is_valid (const sec_rep_descriptor &xrep, const poset_state_handle &xbase_space)

check for compatibility between base space and evaluator family. Just instantiate the evaluator family and see if it contains an entry for each dof tuple of the base space.

check for compatibility between base space and evaluator family. Just instantiate the evaluator family and see if it contains an entry for each dof tuple of the base space.

check for compatibility between base space and evaluator family. Just instantiate the evaluator family and see if it contains an entry for each dof tuple of the base space.

Member fiber_bundle::sparse_field_dof_map::get_component_dofs (void *xbuf, size_t xbuf_len, const client_index &xcomp_id, const id_map *xcomp_client_id_map, const client_index *xdisc_ids=0, size_type xdisc_ids_ct=0, const id_map *xdisc_client_id_map=0) const
fix sparse_field_dof_map::copy_component_dofs to use scoped ids.
Member fiber_bundle::sparse_field_dof_map::get_dofs (const client_index *xclient_ids, int xclient_id_ct, void *xbuf, size_t xbuf_len) const
make the precondition below executable.
Member fiber_bundle::sparse_field_dof_map::invariant () const
finish sparse_field_dof_map::invariant() const
Member fiber_bundle::sparse_field_dof_map::put_component_dofs (const void *xbuf, size_t xbuf_len, const client_index &xcomp_id, const id_map *xcomp_client_id_map, const client_index *xdisc_ids=0, size_type xdisc_ids_ct=0, const id_map *xdisc_client_id_map=0)
fix sparse_field_dof_map::copy_component_dofs to use scoped ids.
Member fiber_bundle::sparse_field_dof_map::put_dofs (const client_index *xclient_ids, int xclient_id_ct, const void *xbuf, size_t xbuf_len)
make the precondition below executable.
Member fiber_bundle::sparse_section_dof_map::invariant () const
implement sparse_section_dof_map::invariant()
Member fiber_bundle::stp_space::class_name () const

: Return string&.

: Static version.

Member fiber_bundle::structured_block::refine_coordinate (chart_point_coord_type &xcoord, scoped_index::pod_type &xchart_id, size_type xchart_id_ub) const
precompute 0.5*xchart_id_ub and save it somewhere.
Member fiber_bundle::structured_block_1d::refine_point_pa (const chart_point &xpt, chart_point &result) const
make the following executable.
Member fiber_bundle::structured_block_1d::refine_point_pa (const chart_point &xpt, block< chart_point_3d > &result) const
make the following executable.
Member fiber_bundle::structured_block_1d::unrefine_point_pa (const chart_point &xpt, chart_point &result) const
precompute 2.0/i_size() and store it some where.
Member fiber_bundle::structured_block_2d::static_local_cell_prototype_path ()
replaced with quad_complex when available.
Member fiber_bundle::structured_block_2d::unrefine_point_pa (const chart_point &xpt, chart_point &result) const
Precompute 2.0/i_size() and 2.0*j_size() and store it some where.
Member fiber_bundle::structured_block_3d::static_local_cell_prototype_path ()
replaced with hex_complex when available.
Member fiber_bundle::structured_block_3d::unrefine_point_pa (const chart_point &xpt, chart_point &result) const
Precompute 2.0/i_size() and 2.0*j_size() and store it some where.
Member fiber_bundle::symmetric_matrix_3x3< T >::is_positive_definite () const
Optimize this function.
Member fiber_bundle::tp_space::class_name () const

: Return string&.

: Static version.

Member fiber_bundle::trilinear_3d::db () const
xlocal_coords_ub, etc.
Member fiber_bundle::trilinear_3d::jacobian (const dof_type xcoord_dofs[], size_type xcoord_dofs_ub, size_type xdf, const dof_type xlocal_coords[], size_type xlocal_coords_ub)
Fix!
Member fiber_bundle::trilinear_3d::volume (const dof_type xcoord_dofs[], size_type xcoord_dofs_ub, size_type xdf)
Add method number_of_gauss_points().
Member fiber_bundle::tuple_space::class_name () const

: Return string&.

: Static version.

Member fiber_bundle::tuple_space::invariant () const
finish tuple_space::invariant() const What is the invariant?
Member fiber_bundle::uniform_1d::gauss_point (pod_index_type xindex, coord_type xresult[], size_type xresult_ub)
Implement.
Member fiber_bundle::uniform_1d::jacobian (const dof_type xcoord_dofs[], size_type xcoord_dofs_ub, size_type xdf, const dof_type xlocal_coords[], size_type xlocal_coords_ub)
Implement.
Member fiber_bundle::uniform_1d::jacobian_determinant (const dof_type xcoord_dofs[], size_type xcoord_dofs_ub, size_type xdf, const coord_type xlocal_coords[], size_type xlocal_coords_ub)
Implement.
Member fiber_bundle::uniform_1d::volume (const dof_type xcoord_dofs[], size_type xcoord_dofs_ub, size_type xdf)
Implement.
Member fiber_bundle::uniform_2d::gauss_point (pod_index_type xindex, coord_type xresult[], size_type xresult_ub)
Implement.
Member fiber_bundle::uniform_2d::jacobian (const dof_type xcoord_dofs[], size_type xcoord_dofs_ub, size_type xdf, const dof_type xlocal_coords[], size_type xlocal_coords_ub)
Implement.
Member fiber_bundle::uniform_2d::jacobian_determinant (const dof_type xcoord_dofs[], size_type xcoord_dofs_ub, size_type xdf, const coord_type xlocal_coords[], size_type xlocal_coords_ub)
Implement.
Member fiber_bundle::uniform_2d::volume (const dof_type xcoord_dofs[], size_type xcoord_dofs_ub, size_type xdf)
Implement.
Member fiber_bundle::uniform_3d::dxi_local (size_type xlocal_coord_index, const dof_type xsource_dofs[], size_type xsource_dofs_ub, dof_type xresult_dofs[], size_type xresult_dofs_ub) const
implement.
Member fiber_bundle::uniform_3d::gauss_point (pod_index_type xindex, coord_type xresult[], size_type xresult_ub)
Implement.
Member fiber_bundle::uniform_3d::jacobian (const dof_type xcoord_dofs[], size_type xcoord_dofs_ub, size_type xdf, const dof_type xlocal_coords[], size_type xlocal_coords_ub)
Implement.
Member fiber_bundle::uniform_3d::jacobian_determinant (const dof_type xcoord_dofs[], size_type xcoord_dofs_ub, size_type xdf, const coord_type xlocal_coords[], size_type xlocal_coords_ub)
Implement.
Member fiber_bundle::uniform_3d::volume (const dof_type xcoord_dofs[], size_type xcoord_dofs_ub, size_type xdf)
Implement.
Member fiber_bundle::unstructured_block::new_state (poset *xhost, const base_space_member &xlocal_cell_prototype, const scoped_index *ids, int xub, bool xauto_access)
replace lhost with host() when base_space_member::host is type base_space_poset.
Member fiber_bundle::unstructured_block::new_state (poset *xhost, const base_space_member &xlocal_cell_prototype, const pod_index_type *ids, int xub, bool xauto_access)
replace lhost with host() when base_space_member::host is type base_space_poset.
Member fiber_bundle::vd::operator= (const abstract_poset_member &xother)
Implement copy constructor.
Member fiber_bundle::vd_algebra::transform_basis_by (e3_lite &xv, const gl3_lite &xtransform, bool is_contravariant=true)

Reimplement using the matrix operations on the row_dofs_type.

Clean up the comments.

Clean up the comments.

Member fiber_bundle::vd_space::class_name () const

: Return string&.

: Static version.

Member fiber_bundle::zone_nodes_block::contains_vertex_client_id_space (bool xauto_access) const
replace lhost with host() when base_space_member::host is type base_space_poset.
Member fiber_bundle::zone_nodes_block::get_vertex_client_id_space (bool xauto_access) const
replace lhost with host() when base_space_member::host is type base_space_poset.
Member fiber_bundle::zone_nodes_block::get_vertex_client_id_space_iterator (bool xauto_access) const
replace lhost with host() when base_space_member::host is type base_space_poset.
Member fiber_bundle::zone_nodes_block::new_state (base_space_poset &xhost, const block_connectivity &xconn, bool xauto_access)
finish postconditions.
Member fiber_bundle::zone_nodes_block::release_vertex_client_id_space (index_space_handle &xid_space, bool xauto_access) const
replace lhost with host() when base_space_member::host is type base_space_poset.
Member fiber_bundle::zone_nodes_block::release_vertex_client_id_space_iterator (index_space_iterator &xitr, bool xauto_access) const
replace lhost with host() when base_space_member::host is type base_space_poset.
Member fields::barycentric_refiner_family::initialize (const base_space_poset &xbase_space, const field_refinement_policy &xpolicy)
uncomment the following lines as the refiners they refer to become available.
Member fields::base_space_map::push (const sec_vd &xinput, sec_vd &xoutput, bool xauto_access)
improve this precondition.
Member fields::body_builder::build_pa (field_vd &xfield, value_type xlower, value_type xupper, block< scoped_index > &xresult)
Remove cast when base_space_member returns a base_space_poset.
Member fields::body_pusher::body_pusher (const geometry::sec_ed_invertible &xdomain_coord, const sec_ed &xrange_coord, bool xauto_access)
we can remove this when subposets support multiple names.
Member fields::edge_centered_refiner_family::initialize (const base_space_poset &xbase_space, const field_refinement_policy &xpolicy)
uncomment the following lines as the refiners they refer to become available.
Member fields::field_eval_iterator::gather_coordinate_dofs (const sec_vd &xcoord, block< sec_vd::dof_type > &xdofs)
revise when ternary schema are supported.
Member fields::field_refinement_buffer::gather_coordinate_dofs ()
revise when ternary schema are supported.
Member fields::field_refinement_buffer::gather_property_dofs ()
revise when ternary schema are supported.
Member fields::field_refiner::field_refiner (const poset &xbase_space, const std::string &xrefiner_family_name, const std::string &xrefinement_policy_name, bool xauto_access)
Remove dynamic cast when base_space_member returns base_space_poset as its host.
Member fields::property_disc_iterator_1_2::get_prop_disc_values (const sec_vd &xsec)
revise when ternary schema are supported.
Member fields::property_disc_iterator_1_3::get_prop_disc_values (const sec_vd &xsec)
revise when ternary schema are supported.
Member fields::property_disc_iterator_4_2::get_prop_disc_values (const sec_vd &xsec)
revise when ternary schema are supported.
Member fields::property_disc_iterator_4_3::get_prop_disc_values (const sec_vd &xsec)
revise when ternary schema are supported.
Member fields::refining_section_pusher::push (const field_vd &xsource, field_vd &xtarget, bool xauto_access)

remove when sheaves/fiber_bundles refactored and host type is fixed.

integrate the gather with the push; more efficient.

integrate the gather with the push; more efficient.

Member fields::refining_section_pusher::refining_section_pusher (const poset &xbase_space, const std::string &xrefiner_family_name, const std::string &xrefinement_policy_name, bool xauto_access)
Remove dynamic cast when base_space_member returns base_space_poset as its host.
Member fields::section_pusher::section_pusher (const sec_rep_space &xdomain, const sec_rep_space &xrange, const sec_ed &xdomain_coord, const sec_ed &xrange_coord, bool xauto_access)
Reimplement once COM-466 is resolved.
Member fields::variance_bound_refinement_policy::should_refine (field_refinement_buffer &xbuffer, size_type xrefinement_depth) const
replace this with something more general and robust.
Member fields::zone_centered_error_bound_refinement_policy::should_refine (field_refinement_buffer &xbuffer, size_type xrefinement_depth) const
replace this with something more general and robust.
Member fields::zone_centered_refiner_family::initialize (const base_space_poset &xbase_space, const field_refinement_policy &xpolicy)
uncomment the following lines as the refiners they refer to become available.
Member fields::zone_centered_tet_refiner::local_coordinates_map (size_type xi) const
initialize lmap.
Member geometry::array_cylindrical_point_locator::update_bins ()
provide mechanism in block for reclaiming storage.
Member geometry::d_array_point_locator< DC, DB >::update_bins ()
provide mechanism in block for reclaiming storage.
Member geometry::d_bin_point_locator< DC, DB >::all_points_at_value (const sec_vd_value_type *xvalue, size_type xvalue_ub, block< chart_point_3d > &xresult)
propagate constness everywhere.
Member geometry::d_bin_point_locator< DC, DB >::branch_points_at_value (const sec_vd_value_type *xvalue, size_type xvalue_ub, block< branch_point_pair > &xresult)
propagate constness everywhere.
Member geometry::d_bin_point_locator< DC, DB >::point_at_value (const sec_vd_value_type *xvalue, size_type xvalue_ub, chart_point &xresult)
propagate constness everywhere.
Member geometry::db0_point_locator< DC >::update_bins ()
provide mechanism in block for reclaiming storage.
Module HANDLE POOL FACET
Address.
Module LINEAR_FCN_SPACE FACET
Fix!
Module LINEAR_FCN_SPACE FACET
Fix!
Module LINEAR_FCN_SPACE FACET
Fix!
Module LINEAR_FCN_SPACE FACET
Fix!
Module LINEAR_FCN_SPACE FACET
Fix!
Module LINEAR_FCN_SPACE FACET
Fix!
Module LINEAR_FCN_SPACE FACET
Fix!
Module LINEAR_FCN_SPACE FACET
Fix!
Module LINEAR_FCN_SPACE FACET
Fix!
Module MEMBERSHIP FACET
Remove.
Member sheaf::abstract_poset_member::attach_to_state (const namespace_poset *xnamespace, pod_index_type xposet_index, pod_index_type xmember_index, bool xauto_access=true)
add precondition to require conformance between this and host.
Member sheaf::abstract_poset_member::attach_to_state (const namespace_poset *xns, const poset_path &xpath, bool xauto_access=true)
add precondition to require conformance between this and host.
Member sheaf::abstract_poset_member::delete_state (bool xauto_access=false)
should not be able to delete a standard member unless called from destructor
Member sheaf::abstract_poset_member::invariant () const

change read_write_monitor ctor to grant access by default.

finish implementing abstract_poset_member::invariant() const

finish implementing abstract_poset_member::invariant() const

Member sheaf::abstract_poset_member::l_join_pa (abstract_poset_member *other, abstract_poset_member *result, bool xnew_jem=true)
convert xnew_jem to tern.
Member sheaf::abstract_poset_member::l_not_pa (abstract_poset_member *result, bool xnew_jem=true) const
reimplement abstract_poset_member::l_not_pa using poset_slicer
Member sheaf::abstract_poset_member::maximal_jim_ct () const
make more efficient implementation of abstract_poset_member::maximal_jim_ct().
Member sheaf::abstract_poset_member::new_jim_state (poset_state_handle *xhost, pod_index_type xtuple_id, bool xauto_access=true)
remove scope when debugged
Member sheaf::abstract_poset_member::new_jim_state (poset_state_handle *xhost, const scoped_index &xtuple_id, bool xauto_access=true)
remove scope when debugged
Member sheaf::abstract_poset_member::new_jim_state (poset_state_handle *xhost, poset_dof_map *xdof_map=0, bool xcopy_dof_map=false, bool xauto_access=true)
remove scope when debugged
Member sheaf::abstract_poset_member::new_jrm_state (bool xauto_access=true)
remove scope when debugged
Member sheaf::abstract_poset_member::new_jrm_state (poset_state_handle *xhost, bool xauto_access=true)
remove scope when debugged
Member sheaf::abstract_poset_member::up_pa (subposet *result) const
implement this function
Class sheaf::arg_list
Need some way to reset this list and a way to easily iterate through the list.
Member sheaf::array_index_space_interval::delete_product_structure (pod_type xlocal_id)
Implement.
Member sheaf::array_index_space_interval::explicit_state (pod_type xlocal_id) const
Check to see if there is an override.
Member sheaf::array_index_space_interval::has_product_structure (pod_type xlocal_id) const
Implement.
Member sheaf::array_index_space_interval::new_product_structure (pod_type xlocal_id, const abstract_product_structure &xproduct)
Implement.
Member sheaf::array_index_space_interval::product_structure (pod_type xlocal_id) const
Implement.
Member sheaf::array_index_space_interval::product_structure (pod_type xlocal_id)
Implement.
Member sheaf::array_index_space_interval::remove (pod_type xlocal_id)
Remove or implement.
Member sheaf::array_index_space_state::map_rep_push (index_space_iterator &xitr, pod_type xrange_id)
Implement.
Member sheaf::array_index_space_state::map_rep_remove_entry (index_space_iterator &xitr)
Implement.
Member sheaf::binary_index_block< T >::force_item (int xi, int xj, const T &xitem)
Fix the logic here.
Member sheaf::constant_index_space_interval::delete_product_structure (pod_type xlocal_id)
Implement.
Member sheaf::constant_index_space_interval::explicit_state (pod_type xlocal_id) const
Check to see if there is an override.
Member sheaf::constant_index_space_interval::has_product_structure (pod_type xlocal_id) const
Implement.
Member sheaf::constant_index_space_interval::new_product_structure (pod_type xlocal_id, const abstract_product_structure &xproduct)
Implement.
Member sheaf::constant_index_space_interval::product_structure (pod_type xlocal_id) const
Implement.
Member sheaf::constant_index_space_interval::product_structure (pod_type xlocal_id)
Implement.
Member sheaf::constant_index_space_interval::remove (pod_type xlocal_id)
Remove or implement.
Member sheaf::data_converter::externalize (const void *xint_buf, size_t xint_buf_ub, void *xext_buf, size_t xext_buf_ub, int xitem_ct)
finish implementation ; deal with error status
Member sheaf::data_converter::externalize (const void *xint_buf, size_t xint_buf_ub)
finish implementation ; deal with error status
Member sheaf::data_converter::externalize (void *xext_buf, size_t xext_buf_ub, int xitem_ct)
finish implementation ; deal with error status
Member sheaf::data_converter::internalize (void *xbuf, size_t xbuf_ub)
finish implementation; handle error return
Member sheaf::data_converter::internalize (const void *xext_buf, size_t xext_buf_ub, void *xint_buf, size_t xint_buf_ub, int xitem_ct)
finish implementation; handle error return
Member sheaf::data_converter::internalize (void *xbuf, size_t xbuf_ub, int xitem_ct)
finish implementation; handle error return
Member sheaf::data_converter::string_length (const char *xbuf)
extend to other types of terminated strings.
Member sheaf::deep_size (const poset_path &xpath, bool xinclude_shallow=true)
Implement correctly.
Member sheaf::deep_size (const sum_index_space_state &xn, bool xinclude_shallow=true)
Call deep_size on _terms. The current deep size for auto block calls deep size on the dereferenced pointers. Since the handles are not allocated on the terms, the deep size of the handles should not be included.
Member sheaf::deep_size (const schema_descriptor &xsd, bool xinclude_shallow=true)
Implement correctly.
Member sheaf::deep_size (const implicit_entry_map< E, I > &xmap, bool xinclude_shallow=true)
Implement deep_size for rc_ptr.
Member sheaf::deep_size (const explicit_index_space_collection &xn, bool xinclude_shallow=true)
Add deep size of _states.
Member sheaf::deep_size (const primitive_value &xpv, bool xinclude_shallow=true)
Implement correctly.
Member sheaf::deep_size (const arg_list::arg_type &xtype, bool xinclude_shallow=true)
Implement correctly.
Member sheaf::deep_size (const subposet &xsp, bool xinclude_shallow=true)
Implement correctly.
Member sheaf::depth_first_iterator::invariant () const
Need to replace with a condition that takes in account when the _path_head is not initialized.
Member sheaf::depth_first_iterator::next (bool xtruncate)

elaborate the number of states and the state transition functions so that the tests on _descending and _strict are removed from the iteration. For instance there should be separate EXECUTE_PREVISIT_ACTION and EXECUTE_STRICT_PREVISIT_ACTION states and transition functions. The EXECUTE_PREVISIT_ACTION would not test _strict or _index. The non-strict transistion function would use EXECUTE_PREVISIT_ACTION while the strict trnaisition function would use EXECUTE_STRICT_PREVISIT_ACTION.

can remove test for strictness from the iteration when _strict is false by implementing a separate state execute_strict_previsit_action, then defining two different transition functions, one for strict, one for not strict. Then proper transition function is installed by reset.

see todo at execute_previsit_action.

Member sheaf::depth_first_iterator::release_cover_id_space_iterators ()
These assertions should be documented as preconditions.
Member sheaf::depth_first_iterator::reset (bool xreset_markers=true)

replace with clear_has_visited

add postconditions describing the effect of reset_markers, descending, and strict. Also add a postcondtion that state is_done or is first member of iteration. The following might be useful: ensure(strict() && !is_done() ? index() != anchor().index() : true); ensure(strict() ? !has_visited(&(anchor())): true );

Member sheaf::depth_first_itr< T >::invariant () const
Need to replace with a condition that takes in account when the _path_head is not initialized.
Member sheaf::depth_first_itr< T >::next (bool xtruncate)

elaborate the number of states and the state transition functions so that the tests on _descending and _strict are removed from the iteration. For instance there should be separate EXECUTE_PREVISIT_ACTION and EXECUTE_STRICT_PREVISIT_ACTION states and transition functions. The EXECUTE_PREVISIT_ACTION would not test _strict or _index. The non-strict transistion function would use EXECUTE_PREVISIT_ACTION while the strict trnaisition function would use EXECUTE_STRICT_PREVISIT_ACTION.

can remove test for strictness from the iteration when _strict is false by implementing a separate state execute_strict_previsit_action, then defining two different transition functions, one for strict, one for not strict. Then proper transition function is installed by reset.

see todo at execute_previsit_action.

can remove test for strictness from the iteration when _strict is false by implementing a separate state execute_strict_previsit_action, then defining two different transition functions, one for strict, one for not strict. Then proper transition function is installed by reset.

see todo at execute_previsit_action.

Member sheaf::depth_first_itr< T >::release_cover_id_space_iterators ()
These assertions should be documented as preconditions.
Member sheaf::depth_first_itr< T >::reset (bool xreset_markers=true)
add postconditions describing the effect of reset_markers, descending, and strict. Also add a postcondtion that state is_done or is first member of iteration. The following might be useful: ensure(strict() && !is_done() ? index() != anchor().index() : true); ensure(strict() ? !has_visited(&(anchor())): true );
Member sheaf::filtered_depth_first_iterator::invariant () const
finish filtered_iterator::invariant() const
Class sheaf::filtered_depth_first_itr< T >
factor common features of filtered_depth_first_itr and postorder_itr into common base class directional_iterator
Member sheaf::filtered_depth_first_itr< T >::invariant () const
finish filtered_iterator::invariant()
Member sheaf::hash_index_space_state::map_rep_push (index_space_iterator &xitr, pod_type xrange_id)
Implement.
Member sheaf::hash_index_space_state::map_rep_remove_entry (index_space_iterator &xitr)
Implement.
Member sheaf::implicit_crg_interval::clean_cover (bool xlower, pod_index_type xmbr_index)
Reimplement or design out of the io system.
Member sheaf::implicit_entry_map< E, I >::insert_implicit_interval (I &xinterval)

Make precondition executable.

Make postcondition executable.

Make postcondition executable.

Member sheaf::implicit_entry_map< E, I >::remove_implicit_interval (pod_type xid)
Implement a set of functions which allow the postconditions for the count and extrema to be properly represented. Ex: interval_ct(xid), interval_begin(xid), interval_end(xid).
Member sheaf::implicit_entry_map_iterator< E, I >::invariant () const
Implement invariant.
Member sheaf::index_iterator::~index_iterator ()
convert _host to reference counted pointer and remove _delete_host member. (Requires zn_to_bool inherit rc_any.)
Member sheaf::index_space_family::index (const std::string &xname) const
Add an interface for accessing all possible names.
Class sheaf::interval_index_space_iterator
Separate this class into two classes an iterator over ids (interval_index_space_iterator) and an iterator over the intervals (interval_index_space_iterval_iterator).
Member sheaf::interval_index_space_state::map_rep_gather ()
Need to alter this algorthim to take into account ids deleted from the hub id space. This includes adjusting the interval, adjusting _ct and updating the range extrema.
Member sheaf::interval_index_space_state::map_rep_push (index_space_iterator &xitr, pod_type xrange_id)
Implement.
Member sheaf::interval_index_space_state::map_rep_remove_entry (index_space_iterator &xitr)
Implement.
Member sheaf::member_member_poset_bounds::clone () const
make following executable when is_attached() const.
Member sheaf::namespace_poset_dof_map::namespace_poset_dof_map (const namespace_poset_dof_map &xother)
finish postconditions
Member sheaf::namespace_poset_member::invariant () const
implement namespace_poset_member::invariant() const
Member sheaf::namespace_poset_schema::invariant () const
finish invariant
Member sheaf::pool< T, EXTENSION_FACTOR >::invariant () const
elaborate pool::invariant()
Member sheaf::poset::invariant () const
finish poset::invariant() const What is the invariant?
Member sheaf::poset::new_state (const poset_path &xpath, const schema_poset_member &xschema, array_poset_dof_map &xdof_map)
fix dof maps schema feature and make this precondition executable.
Member sheaf::poset_bounds_descriptor::invariant () const
finish poset_bounds_descriptor::invariant.
Member sheaf::poset_component::powerset_member (const scoped_index &xindex) const
should be inlined
Member sheaf::poset_crg_state::clean_cover (bool xlower, pod_index_type xmbr_index)
Reimplement or design out of the io system.
Member sheaf::poset_crg_state::remove_cover_members (const filter_type &xfilter, bool xlower, pod_index_type xmbr_index)
Review. Is this the most efficient way to do this? Probably should move this functionality to scattered_insertion_index_space_state and allow the given implementations to do as efficiently as possible.
Member sheaf::poset_dof_map::get_dof_tuple (arg_list &xargs) const
implement the following: ensure(xargs == *this);
Member sheaf::poset_dof_map::invariant () const
finish poset_dof_map::invariant.
Member sheaf::poset_dof_map::put_dof_tuple (const arg_list &xargs)
implement the following: ensure(*this == xargs);
Member sheaf::poset_general_record::transfer_internal_buffer_to_poset ()
implement mechanism to reserve() eventual size of CRG and powerset, so we can use _member_ct and _subposet_ct. Will also require storing the total subposet ct, not just the non-dof subposet ct. See transfer_poset_to_internal_buffer.
Member sheaf::poset_member::poset_member ()
remove unnecessary includes
Member sheaf::poset_powerset_state::clone () const
implement poset_powerset_state::clone
Member sheaf::poset_state::clone () const
implement poset_state::clone
Member sheaf::poset_state_handle::attach_to_state (const abstract_poset_member *xmbr)
make arg namespace_poset_member, then make the following executable.
Member sheaf::poset_state_handle::attach_to_state (const namespace_poset *xhost, const std::string &xname)
require that xname refers to a jim
Member sheaf::poset_state_handle::begin_jim_edit_mode (bool xauto_access=true)
resolve this issue either by introducing an immutable base class or implementing const correctness so primitives_poset etc can be const.
Member sheaf::poset_state_handle::delete_member (pod_index_type xmbr_hub_id)
should not be able to delete a standard member unless called from destructor
Member sheaf::poset_state_handle::delete_member (const scoped_index &xmbr_id)
should not be able to delete a standard member unless called from destructor
Member sheaf::poset_state_handle::is_schematized (bool xauto_access) const
make the following executable.
Member sheaf::poset_state_handle::new_member (bool xis_jim, poset_dof_map *xdof_map, bool xcopy_dof_map, scoped_index &result)
propagate this precondition to poset_member constructors
Member sheaf::poset_state_handle::new_member (pod_index_type xmbr_hub_id, bool xis_jim, poset_dof_map *xdof_map, bool xcopy_dof_map)
propagate this precondition to poset_member constructors
Member sheaf::poset_state_handle::new_member (bool xis_jim, poset_dof_map *xdof_map=0, bool xcopy_dof_map=false)
propagate this precondition to poset_member constructors
Member sheaf::poset_state_handle::new_poset_handle (const std::string &xclass_name, poset_type xsheaf_base_class_id)
Move this functionality to namespace_poset.
Member sheaf::poset_state_handle::new_state (const poset_path &xpath, const schema_poset_member &xschema, array_poset_dof_map &xdof_map)
fix dof maps schema feature and make this precondition executable.
Member sheaf::poset_state_handle::row_dof_map_conforms (const poset_dof_map *xdof_map) const
add schema conformance test.
Member sheaf::poset_state_handle::version_ct () const
find some more efficient implementation.
Member sheaf::poset_state_handle::version_from_name (const std::string &xname) const
replace poset name == whole name with something more reasonable!
Member sheaf::poset_table_state::clone () const
implement poset_table_state::clone
Member sheaf::poset_traverser::poset_traverser (const poset_state_handle *xanchor)
properly redefine features from any
Member sheaf::poset_type
: eliminate poset_type.
Member sheaf::primary_sum_index_space_state::glue (pod_type xid, pod_type xrep)
Modify the term maps?
Member sheaf::primary_sum_index_space_state::unglue (pod_type xid)
Modify the term maps?
Member sheaf::primary_sum_index_space_state::unglue_all (pod_type xrep_id)
Modify the term maps.
Member sheaf::primitives_poset::invariant () const
in primitive_poset::invariant() actual type of dof maps must be primitives_poset_dof_map
Member sheaf::primitives_poset_schema::invariant () const
finish invariant
Member sheaf::ragged_array_index_space_interval::delete_product_structure (pod_type xlocal_id)
Implement.
Member sheaf::ragged_array_index_space_interval::explicit_state (pod_type xlocal_id) const
Check to see if there is an override.
Member sheaf::ragged_array_index_space_interval::has_product_structure (pod_type xlocal_id) const
Implement.
Member sheaf::ragged_array_index_space_interval::new_product_structure (pod_type xlocal_id, const abstract_product_structure &xproduct)
Implement.
Member sheaf::ragged_array_index_space_interval::product_structure (pod_type xlocal_id)
Implement.
Member sheaf::ragged_array_index_space_interval::product_structure (pod_type xlocal_id) const
Implement.
Member sheaf::ragged_array_index_space_interval::remove (pod_type xlocal_id)
Remove or implement.
Class sheaf::record_queue
replace this representation with something more sophisticated that supports hyperslices.
Member sheaf::record_queue::dequeue ()
make above assertion executable
Member sheaf::record_queue::enqueue (pod_index_type xindex)
replace this representation with something more sophisticated that supports hyperslices
Class sheaf::record_set
changes to record hierarchy
  • merge record and variable_length_record
  • introduce the internal buffer as a separate object, rather than giving the record the features of the internal buffer. */
Member sheaf::record_set::extend_dataset (const hsize_t *xdims, int xdims_ub)
make above executable and remove first postcondition.
Member sheaf::refinable_poset::invariant () const
finish refinable_poset::invariant() const What is the invariant?
Member sheaf::schema_poset_member::invariant () const
implement schema_poset_member::invariant() const
Member sheaf::schema_poset_member::make_schema (const namespace_poset &xns, const poset_path &xparent_path, const std::string &xname)
implement auto access for this routine.
Member sheaf::schema_poset_member::new_jim_state (const namespace_poset &xns, const std::string &xname, const poset_path &xparent_path, const wsv_block< schema_descriptor > &xdof_specs, bool xauto_access)
define a "primitive" type for this purpose.
Member sheaf::schema_poset_member::table_dof_subposet_index () const
schema_poset_member should not export the dof subposets.
Member sheaf::scoped_index::invariant () const
implement invariant for scoped_index.
Member sheaf::singleton_index_space_interval::delete_product_structure (pod_type xlocal_id)
Implement.
Member sheaf::singleton_index_space_interval::explicit_state (pod_type xlocal_id) const
Check to see if there is an override.
Member sheaf::singleton_index_space_interval::has_product_structure (pod_type xlocal_id) const
Implement.
Member sheaf::singleton_index_space_interval::new_product_structure (pod_type xlocal_id, const abstract_product_structure &xproduct)
Implement.
Member sheaf::singleton_index_space_interval::product_structure (pod_type xlocal_id)
Implement.
Member sheaf::singleton_index_space_interval::product_structure (pod_type xlocal_id) const
Implement.
Member sheaf::singleton_index_space_interval::remove (pod_type xlocal_id)
Remove or implement.
Member sheaf::storage_agent::begin_read_transaction (poset_state_handle &xposet, const poset_bounds_descriptor &xrow_bounds=poset_bounds_descriptor::BOTTOM_TOP, const poset_bounds_descriptor &xcol_bounds=poset_bounds_descriptor::BOTTOM_TOP)
this will have to be changed when reads supported for !is_external.
Member sheaf::storage_agent::invariant () const
finish storage_agent::invariant
Member sheaf::storage_agent::read (poset_state_handle &xposet, const poset_bounds_descriptor &xrow_bounds=poset_bounds_descriptor::BOTTOM_TOP, const poset_bounds_descriptor &xcol_bounds=poset_bounds_descriptor::BOTTOM_TOP)
relax this requirement
Member sheaf::storage_agent::read_row_decomposition (poset_state_handle &xposet, const scoped_index &xdecomp_id)
make the following executable.
Member sheaf::storage_agent::state_is_consistent (const poset_state_handle &xposet) const
replace with some better mechanism.
Member sheaf::storage_agent::write_remainder (const namespace_poset &xns)
make the following executable
Member sheaf::subposet::l_meet_pa (abstract_poset_member *result, bool xnew_jem=true)
optimize subposet::l_meet_pa Sorted list rep would be much more efficient than bitvector rep. Need to implement version of subposet that switches between reps
Member sheaf::subposet::member_ct () const
in subposet::member_ct(), implement O(1) algorithm This routine can be made O(1) by storing _member_Ct and updating it everythime insert or remove is called. The various set operations will invalidate the count, so they should set _member_ct negative and the current implementation used in that case
Member sheaf::subposet::members () const
members() is used by most of the member functions. subposet should probably have a handle data member to avoid the cost of this lookup.
Member sheaf::subposet::p_join_pa (abstract_poset_member *result)
implement subposet::p_join_pa
Member sheaf::subposet::p_meet_pa (abstract_poset_member *result)
implement subposet::p_meet_pa
Member sheaf::total_poset_member::invariant () const
implement total_poset_member::invariant() const
Module STATE FACET
Remove.
Member tool::vtk_poly_data_builder::invariant () const
invariance(_coords_dof_buf.ub() == 3); invariance(_coords_dof_buf.ct() == _coords_dof_buf.ub());
Member tool::vtk_unstructured_grid_builder::invariant () const
invariance(_coords_dof_buf.ub() == 3); invariance(_coords_dof_buf.ct() == _coords_dof_buf.ub());
Member tool::vtk_unstructured_grid_builder::is_tensor (const sec_vd *xsec) const
Complete the list of tensor types.