section_space_schema_poset.h

Go to the documentation of this file.

//
// Copyright (c) 2014 Limit Point Systems, Inc. 
//
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at
//
//   http://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.
//


#ifndef SECTION_SPACE_SCHEMA_POSET_H
#define SECTION_SPACE_SCHEMA_POSET_H

#ifndef SHEAF_DLL_SPEC_H
#include "SheafSystem/sheaf_dll_spec.h"
#endif

#ifndef POSET_STATE_HANDLE_H
#include "SheafSystem/poset_state_handle.h"
#endif

#ifndef ARRAY_POSET_DOF_MAP_H
#include "SheafSystem/array_poset_dof_map.h"
#endif

#ifndef BASE_SPACE_POSET_H
#include "SheafSystem/base_space_poset.h"
#endif

#ifndef NAMESPACE_RELATIVE_MEMBER_INDEX_H
#include "SheafSystem/namespace_relative_member_index.h"
#endif

#ifndef POSET_H
#include "SheafSystem/poset.h"
#endif

#ifndef SECTION_SPACE_SCHEMA_TABLE_DOFS_TYPE_H
#include "SheafSystem/section_space_schema_table_dofs_type.h"
#endif

#ifndef SEC_REP_DESCRIPTOR_H
#include "SheafSystem/sec_rep_descriptor.h"
#endif

#ifndef SUBPOSET_H
#include "SheafSystem/subposet.h"
#endif

namespace sheaf
{
class ij_product_structure;
class namespace_poset;
class namespace_poset_member;
}

namespace fiber_bundle
{

using namespace sheaf;

class fiber_bundles_namespace;
class section_space_schema_member;

class SHEAF_DLL_SPEC section_space_schema_poset : public poset_state_handle
{
  friend class namespace_poset;

  // ===========================================================
  // ===========================================================

public:

  // Typedefs:

  typedef fiber_bundles_namespace namespace_type;

  typedef section_space_schema_member member_type;
  
  typedef section_space_schema_table_dofs_type table_dofs_type;

  static const poset_path& standard_schema_path();

  poset_path rep_path(bool xauto_access) const;

  sec_rep_descriptor& rep();

  const sec_rep_descriptor& rep() const;

  static bool rep_is_valid(const sec_rep_descriptor& xrep, const poset_state_handle& xbase_space);

  pod_index_type base_space_member_id_ub() const;

  virtual pod_index_type get_base_space_id_from_index(pod_index_type xmbr_hub_id) const;

  void get_base_space_id_from_index(const scoped_index& xmbr_id,
                    scoped_index& result) const;

  int base_space_stride() const;

  int db() const;

  poset_path base_space_path(bool xauto_access) const;

  base_space_poset& base_space();

  const base_space_poset& base_space() const;

  pod_index_type fiber_schema_member_id_ub() const;

  virtual pod_index_type get_fiber_schema_id_from_index(pod_index_type xmbr_hub_id) const;

  void get_fiber_schema_id_from_index(const scoped_index& xmbr_id,
                      scoped_index& result) const;

  int fiber_schema_stride() const;

  int df() const;

  poset_state_handle& fiber_schema();

  const poset_state_handle& fiber_schema() const;

  poset_path fiber_space_path(bool xauto_access) const;

  poset& fiber_space();

  const poset& fiber_space() const;
  
  subposet& discretization();

  const subposet& discretization() const;

  bool is_multivalued() const;

  subposet& multivalued();

  const subposet& multivalued() const;

  subposet& evaluation();

  const subposet& evaluation() const;

  std::string evaluator_family_name() const;

  const ij_product_structure& product_structure() const;

  virtual pod_index_type
  get_index_from_components(pod_index_type xbase_space_id,
                            pod_index_type xfiber_schema_id) const = 0;

  void get_index_from_components(const scoped_index& xbase_space_id,
                 const scoped_index& xfiber_schema_id,
                 scoped_index& result) const;

  void update_hub_id_space(bool xauto_access);

protected:

  sec_rep_descriptor _rep;

  base_space_poset* _base_space;

//   ///
//   /// The fiber schema for section spaces on this schema.
//   ///
//   poset_state_handle _fiber_schema;


  poset* _fiber_space;

  subposet  _discretization;

  subposet  _multivalued;

  subposet _evaluation;

  ij_product_structure* _product;

  section_space_schema_poset() { };

  virtual ~section_space_schema_poset();

  section_space_schema_poset(section_space_schema_member* xtop, section_space_schema_member* xbottom);

private:



  // ===========================================================
  // ===========================================================

public:

  virtual poset_type type_id() const;

  virtual const char* class_name() const;

  virtual void get_read_access() const;

  virtual void get_read_write_access(bool xrelease_read_only_access = false);

  virtual void release_access(bool xall = false) const;

protected:

  virtual void initialize_handle_data_members(const namespace_poset& xns);

  virtual void attach_handle_data_members();

  virtual void terminate_access();  

private:



  // ===========================================================
  // ===========================================================

public:

protected:

  inline table_dofs_type* table_dof_tuple_ptr()
  {
    return reinterpret_cast<table_dofs_type*>(table_dof_map().dof_tuple());
  };

  inline const table_dofs_type* table_dof_tuple_ptr() const
  {
    return reinterpret_cast<const table_dofs_type*>(table_dof_map().dof_tuple());
  };

private:


  // ===========================================================
  // ===========================================================

public:

  using poset_state_handle::is_schematized;

  virtual bool is_schematized(bool xauto_access) const;

  virtual void schematize(subposet* xtable_dof_subposet,
                          subposet* xrow_dof_subposet,
                          bool xall_members = false);

protected:

private:



  // ===========================================================
  // ===========================================================

public:

  section_space_schema_member& top();

  const section_space_schema_member& top() const;

  section_space_schema_member& bottom();

  const section_space_schema_member& bottom() const;

  virtual int member_ct() const;

  virtual int standard_member_ct() const;

  virtual scoped_index member_index_ub() const;

  index_iterator member_iterator() const;

  using poset_state_handle::contains_member;

  virtual bool contains_member(pod_index_type xmbr_hub_id, bool xauto_access = true) const;

  virtual bool contains_member(pod_index_type xmbr_hub_id, int xversion, bool xauto_access = true) const;

  using poset_state_handle::is_jim;

  virtual bool is_jim(pod_index_type xmbr_hub_id, bool xin_current_version = true) const;

  using poset_state_handle::is_atom;

  virtual bool is_atom(pod_index_type xmbr_hub_id) const;

//   using poset_state_handle::member_name;

//   ///
//   /// The name of the member with hub id xmbr_hub_id
//   ///
//   virtual string member_name(pod_index_type xmbr_hub_id, bool xauto_access = false) const;

protected:

  virtual void initialize_standard_members();

  void new_standard_member_hack(standard_member_index xindex);

  using poset_state_handle::new_member;

  virtual pod_index_type new_member(bool xis_jim, pod_index_type xdof_tuple_id);

  virtual pod_index_type new_member(bool xis_jim, poset_dof_map* xdof_map = 0, bool xcopy_dof_map = false);

  using poset_state_handle::delete_member;

  virtual void delete_member(pod_index_type xmbr_hub_id);

private:



  // ===========================================================
  // ===========================================================

public:

  using poset_state_handle::new_link;

  virtual void new_link(pod_index_type xgreater, pod_index_type xlesser);

  using poset_state_handle::delete_link;

  virtual void delete_link(pod_index_type xgreater, pod_index_type xlesser);

protected:

private:


  // ===========================================================
  // ===========================================================

public:

  using poset_state_handle::new_subposet;

  virtual pod_index_type new_subposet(const block<pod_index_type>& xmembers);

  using poset_state_handle::delete_subposet;

  virtual void delete_subposet(pod_index_type xsubposet_hub_id);

  virtual int version_ct() const;

  virtual int version() const;

  using poset_state_handle::version_index;

  virtual pod_index_type version_index(int xversion) const;

  using poset_state_handle::version_jims_index;

  virtual pod_index_type version_jims_index(int xversion) const;

protected:

private:



  // ===========================================================
  // ===========================================================

public:

  virtual index_iterator* get_decomposition(pod_index_type xindex) const;

  using poset_state_handle::is_valid_int_id;

  virtual bool is_valid_int_id(pod_index_type xint_id,
                   const std::string& xid_space_name,
                   bool xauto_access) const;

  using poset_state_handle::get_ext_id;

  virtual pod_index_type get_ext_id(pod_index_type xint_id,
                    const std::string& xid_space_name,
                    bool xauto_access) const;

  virtual pod_index_type prereq_id(int xi) const;


protected:

private:



  // ===========================================================
  // ===========================================================

public:

  virtual bool is_ancestor_of(const any* other) const;

  virtual bool invariant() const;

protected:

  virtual section_space_schema_poset* clone() const = 0;

  section_space_schema_poset& operator=(const poset_state_handle& xother)
  {
    return const_cast<section_space_schema_poset&>(*this);
  };

private:

};

} // namespace fiber_bundle

#endif // SECTION_SPACE_SCHEMA_POSET_H