section_space_schema_member.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_MEMBER_H
#define SECTION_SPACE_SCHEMA_MEMBER_H

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

#ifndef SCOPED_INDEX_H
#include "SheafSystem/scoped_index.h"
#endif

#ifndef SECTION_DOF_ITERATOR_H
#include "SheafSystem/section_dof_iterator.h"
#endif

#ifndef SCHEMA_POSET_MEMBER_H
#include "SheafSystem/schema_poset_member.h"
#endif

// #ifndef SECTION_SPACE_SCHEMA_POSET_H
// #include "SheafSystem/section_space_schema_poset.h"
// #endif

namespace fiber_bundle
{

using namespace sheaf;

class fiber_bundles_namespace;
class sec_rep_descriptor;
class section_component_iterator;
class section_space_schema_poset;
class section_space_schema_jims_index_space_handle;


class SHEAF_DLL_SPEC section_space_schema_member : public schema_poset_member
{
  friend class section_space_schema_poset; // For access to get_ext_ids.


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

public:

  typedef fiber_bundles_namespace namespace_type;

  typedef section_space_schema_poset host_type;

  static const poset_path& standard_schema_path();

  static void make_standard_schema(namespace_poset& xns);

protected:

private:



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

public:

  virtual const std::string& class_name() const;

  static const std::string& static_class_name();

  static std::string standard_member_name(const std::string& xfiber_schema_member_name,
                      const std::string& xbase_member_name);
  
  virtual section_space_schema_member& operator=(const abstract_poset_member& xother);

  section_space_schema_member& operator=(const section_space_schema_member& xother);

  virtual ~section_space_schema_member();

  inline section_space_schema_member* clone(bool xnew_state, bool xauto_access = true) const
  {
    return static_cast<section_space_schema_member*>(schema_poset_member::clone(xnew_state, xauto_access));
  }

  // NEW HANDLE, NEW STATE CONSTRUCTORS

  // None - section_space_schema_poset is immutable.

  // NEW HANDLE, EXISTING STATE CONSTRUCTORS

  // None - section_space_schema_member is abstract

  // EXISTING HANDLE, NEW STATE "CONSTRUCTORS"

  // None - section_space_schema_member is immutable

  virtual void new_jim_state(poset_dof_map* xdof_map = 0,
                             bool xcopy_dof_map = false,
                             bool xauto_access = true)
  {
    not_implemented();
  };

  virtual void new_jim_state(pod_index_type xtuple_id,
                             bool xauto_access = true)
  {
    not_implemented();
  };

  virtual void new_jim_state(poset_state_handle* xhost,
                             poset_dof_map* xdof_map = 0,
                             bool xcopy_dof_map = false,
                             bool xauto_access = true)
  {
    not_implemented();
  };

  virtual void new_jim_state(poset_state_handle* xhost,
                             pod_index_type xtuple_id,
                             bool xauto_access = true)
  {
    not_implemented();
  };

  virtual void new_jrm_state(bool xauto_access = true)
  {
    not_implemented();
  }

  virtual void new_jrm_state(poset_state_handle* xhost,
                             bool xauto_access = true)
  {
    not_implemented();
  };

  virtual void new_jrm_state(const scoped_index* xexpansion,
                             int xexpansion_ct,
                             const tern& xnew_jem,
                             bool xauto_access = true)
  {
    not_implemented();
  };

  virtual void new_jrm_state(poset_state_handle* xhost,
                             const scoped_index* xexpansion,
                             int xexpansion_ct,
                             const tern& xnew_jem,
                             bool xauto_access = true)
  {
    not_implemented();
  };

  using abstract_poset_member::new_jem_state;

  virtual void new_jem_state(abstract_poset_member* xother,
                 bool xgreatest,
                             bool xauto_access)
  {
    not_implemented();
  };

  virtual void new_jem_state(poset_state_handle* xhost,
                             pod_index_type xhub_id,
                 bool xgreatest,
                             bool xauto_access)
  {
    not_implemented();
  };

  sec_rep_descriptor& rep();

  const sec_rep_descriptor& rep() const;

  bool same_rep(const section_space_schema_member& xother) const;

  pod_index_type base_space_id() const;

  void base_space_id(scoped_index& result) const;

  total_poset_member& base_space();

  const total_poset_member& base_space() const;

  bool same_base_space(const section_space_schema_member& xother) const;

  pod_index_type fiber_schema_id() const;

  void fiber_schema_id(scoped_index& result) const;

  schema_poset_member& fiber_schema();

  const schema_poset_member& fiber_schema() const;

  bool same_fiber_schema(const section_space_schema_member& xother) const;

  poset& fiber_space();

  const poset& fiber_space() const;

  template<typename F>
  F& fiber_space();

  template<typename F>
  const F& fiber_space() const;

  int db() const;

  int df() const;

  int df(bool xauto_access);

  int evaluation_ct() const;

  int discretization_ct() const;

  subposet& discretization();

  const subposet& discretization() const;

  bool same_discretization(const section_space_schema_member& xother) const;

  bool is_multivalued() const;

  subposet& multivalued();

  const subposet& multivalued() const;

  subposet& evaluation();

  const subposet& evaluation() const;

  bool same_evaluation(const section_space_schema_member& xother) const;

  virtual section_component_iterator* component_iterator() const;

  std::string evaluator_family_name() const;

  static std::string intersection_id_space_name(const subposet& xsp, const pod_index_type xhub_id);

  static std::string intersection_id_space_name(const subposet& xsp, const scoped_index& xid);

  virtual size_t size() const = 0;

  virtual size_t alignment() const = 0;

  virtual sheaf::primitive_type type() const = 0;

  virtual section_dof_iterator* dof_iterator(bool xis_table_dofs,
                         int xversion = CURRENT_MEMBER_VERSION) const;

  inline section_dof_iterator* table_dof_iterator(int xversion = CURRENT_MEMBER_VERSION) const
  {
    return dof_iterator(true, xversion);
  };

  inline section_dof_iterator* row_dof_iterator(int xversion = CURRENT_MEMBER_VERSION) const
  {
    return dof_iterator(false, xversion);
  };

  virtual bool conforms_to(const schema_poset_member& xother, bool xis_table_dofs) const;

  static bool fiber_schema_conforms_to(const namespace_poset& xns,
                                       const poset_path& xpath,
                                       const poset_path& xfiber_schema_path,
                                       bool xauto_access = true);

protected:

  section_space_schema_member();

  virtual void make_schema_info(bool xis_table_dof);

  virtual void attach_handle_data_members();

  pod_index_type _base_space_id;

  total_poset_member _base_space;

  pod_index_type _fiber_schema_id;

  schema_poset_member _fiber_schema;

  mutable int _db;

  mutable int _evaluation_ct;

  mutable int _discretization_ct;

  void update_row_cache_without_disc_id_space() const;

  void update_row_cache_with_disc_id_space() const;

  void update_row_dof_id_space() const;  

private:



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

public:
 
  virtual primitive_type dof_tuple_type(bool xis_table_dof) const = 0;

  virtual dof_descriptor_array* dof_descriptors(bool xis_table_dof) const = 0;


  inline bool contains_dof(const schema_poset_member& xother, bool xin_table_dofs) const
  {
    return schema_poset_member::contains_dof(xother, xin_table_dofs);
  };

  inline bool contains_table_dof(const schema_poset_member& xother) const
  {
    return contains_dof(xother, true);
  };

  inline bool contains_row_dof(const schema_poset_member& xother) const
  {
    return contains_dof(xother, false);
  };

  inline bool contains_dof(pod_index_type xother_id, bool xin_table_dofs) const
  {
    return schema_poset_member::contains_dof(xother_id, xin_table_dofs);
  };

  inline bool contains_dof(const scoped_index& xother_id, bool xin_table_dofs) const
  {
    return schema_poset_member::contains_dof(xother_id, xin_table_dofs);
  };

  inline bool contains_table_dof(pod_index_type xother_id) const
  {
    return contains_dof(xother_id, true);
  };

  inline bool contains_table_dof(const scoped_index& xother_id) const
  {
    return contains_dof(xother_id, true);
  };

  inline bool contains_row_dof(pod_index_type xother_id) const
  {
    return contains_dof(xother_id, false);
  };

  inline bool contains_row_dof(const scoped_index& xother_id) const
  {
    return contains_dof(xother_id, false);
  };

  bool contains_dof(pod_index_type xbase_id,
                    pod_index_type xfiber_id,
                    bool xin_table_dofs) const;

  bool contains_dof(const scoped_index& xbase_id,
                    const scoped_index& xfiber_id,
                    bool xin_table_dofs) const;

  inline bool contains_table_dof(pod_index_type xbase_id,
                                 pod_index_type xfiber_id) const
  {
    return contains_dof(xbase_id, xfiber_id, true);
  };

  inline bool contains_table_dof(const scoped_index& xbase_id,
                                 const scoped_index& xfiber_id) const
  {
    return contains_dof(xbase_id, xfiber_id, true);
  };

  inline bool contains_row_dof(pod_index_type xbase_id,
                               pod_index_type xfiber_id) const
  {
    return contains_dof(xbase_id, xfiber_id, false);
  };

  inline bool contains_row_dof(const scoped_index& xbase_id,
                               const scoped_index& xfiber_id) const
  {
    return contains_dof(xbase_id, xfiber_id, false);
  };

  virtual bool is_dof(bool xin_table_dofs) const = 0;

protected:

  virtual void update_table_cache() const;

  virtual void update_row_cache(bool xupdate_id_space = false) const;

private:



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

public:
 
  const index_space_handle& discretization_id_space() const;
 
  const index_space_handle& discretization_id_space(bool xauto_access) const;
 
  index_space_handle& discretization_id_space();
 
  index_space_handle& discretization_id_space(bool xauto_access);
 
  const index_space_handle& fiber_schema_id_space(bool xis_table_dofs) const;
 
  const index_space_handle& fiber_schema_id_space(bool xis_table_dofs, bool xauto_access) const;
  
  using schema_poset_member::size;
  
  virtual size_type size(pod_index_type xdof_id, bool xis_table_dof) const;
 
  size_type size(pod_index_type xdisc_id, 
         pod_index_type xfiber_dof_id, 
         bool xis_table_dof) const;

  size_type size(const scoped_index& xdisc_id,
         const scoped_index& xfiber_dof_id,
         bool xis_table_dof,
         bool xauto_access) const;

  using schema_poset_member::alignment;

  virtual size_type alignment(pod_index_type xdof_id, bool xis_table_dof) const;

  size_type alignment(pod_index_type xdisc_id, pod_index_type xfiber_dof_id, bool xis_table_dof) const;

  size_type alignment(const scoped_index& xdisc_id,
              const scoped_index& xfiber_dof_id,
              bool xis_table_dof,
              bool xauto_access) const;

  using schema_poset_member::type;

  virtual primitive_type type(pod_index_type xdof_id, bool xis_table_dof) const;

  primitive_type type(pod_index_type xdisc_id, pod_index_type xfiber_dof_id, bool xis_table_dof) const;


  primitive_type type(const scoped_index& xdisc_id,
              const scoped_index& xfiber_dof_id,
              bool xis_table_dof, 
              bool xauto_access) const;

  using schema_poset_member::offset;

  virtual size_type offset(pod_index_type xdof_id, bool xis_table_dof) const;

  size_type offset(pod_index_type xdisc_id, pod_index_type xfiber_dof_id, bool xis_table_dof) const;

  size_type offset(const scoped_index& xdisc_id,
           const scoped_index& xfiber_dof_id,
           bool xis_table_dof, 
           bool xauto_access) const;

  size_type fiber_size() const;

  size_type fiber_size(bool xauto_access) const;

  size_type component_size(pod_index_type xfiber_dof_id) const;

  size_type component_size(const scoped_index& xfiber_dof_id, bool xauto_access) const;

protected:
 
  mutable index_space_handle* _discretization_id_space;

private:



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

public:

  virtual pod_index_type get_ext_id(const std::string& xid_space_name) const;

protected:

private:



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

public:

  virtual schema_poset_member& unrestricted_schema();

  virtual const schema_poset_member& unrestricted_schema() const;

protected:

private:



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

public:

  virtual void create_cover_link(abstract_poset_member* xlesser)
  {
    not_implemented();
  };

  virtual void delete_cover_link(abstract_poset_member* lesser)
  {
    not_implemented();
  };

  inline section_space_schema_member* greatest_jem() const
  {
    return static_cast<section_space_schema_member*>(abstract_poset_member::greatest_jem());
  };

  inline section_space_schema_member* least_jem() const
  {
    return static_cast<section_space_schema_member*>(abstract_poset_member::least_jem());
  };

  virtual void merge_jem(const abstract_poset_member* xjem)
  {
    not_implemented();
  };

protected:

private:



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

public:

  using abstract_poset_member::down_ct;

  virtual int down_ct(pod_index_type xfilter_index) const;

  virtual subposet* down() const;

  virtual void down_pa(subposet* result) const;

  using abstract_poset_member::up_ct;

  virtual int up_ct(pod_index_type xfilter_index) const;

  virtual subposet* up() const;

  virtual void up_pa(subposet* result) const;

  virtual int jim_ct() const;

  virtual subposet* jims();

  virtual void jims_pa(subposet* result);

  virtual int maximal_jim_ct() const;

  virtual subposet* maximal_jims();

  virtual void maximal_jims_pa(subposet* result) const;

protected:

private:



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

public:

  inline section_space_schema_member* p_join(abstract_poset_member* other) const
  {
    return static_cast<section_space_schema_member*>(abstract_poset_member::p_join(other));
  };

  virtual void p_join_pa(abstract_poset_member* other, abstract_poset_member* result) const;

  inline section_space_schema_member* p_meet(abstract_poset_member* other)
  {
    return static_cast<section_space_schema_member*>(abstract_poset_member::p_meet(other));
  };

  virtual void p_meet_pa(abstract_poset_member* other, abstract_poset_member* result);

protected:

private:



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

public:


  inline section_space_schema_member* l_join(abstract_poset_member* other, bool xnew_jem = true)
  {
    not_implemented();
    return this;
  };

  inline section_space_schema_member* l_meet(abstract_poset_member* other, bool xnew_jem = true)
  {
    not_implemented();
    return this;
  }

  inline section_space_schema_member* l_not(bool xnew_jem = true) const
  {
    not_implemented();
    section_space_schema_member* cthis = const_cast<section_space_schema_member*>(this);
    return cthis;
  };

protected:

private:



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

public:

  virtual void put_version(int xversion, bool xunalias = false);

protected:

private:



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

public:

  void put_standard_name(bool xunique, bool xauto_access);

protected:

private:



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

public:

  using schema_poset_member::attach_to_state;

  virtual void attach_to_state(pod_index_type xbase_space_id,
                               pod_index_type xfiber_schema_id) = 0;

  void attach_to_state(const scoped_index& xbase_space_id,
               const scoped_index& xfiber_schema_id);

  virtual void attach_to_state(const section_space_schema_poset* xhost,
                               pod_index_type xbase_space_id,
                               pod_index_type xfiber_schema_id) = 0;

  void attach_to_state(const section_space_schema_poset* xhost,
               const scoped_index& xbase_space_id,
               const scoped_index& xfiber_schema_id);

  virtual void attach_to_state(const section_space_schema_poset* xhost,
                               const poset_path& xbase_path,
                               const poset_path& xfiber_schema_path) = 0;

  virtual void detach_from_state();

  virtual void delete_state(bool xauto_access = false)
  {
    not_implemented();
  };

protected:

private:



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

public:

  inline section_space_schema_poset* host() const
  {
    return reinterpret_cast<section_space_schema_poset*>(schema_poset_member::host());
  }

  virtual bool host_is_ancestor_of(const poset_state_handle* other) const;

protected:

private:



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

public:

  virtual bool is_ancestor_of(const any* other) const;

  virtual section_space_schema_member* clone() const = 0;

  virtual bool invariant() const;

protected:

private:



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

public:

  virtual void to_stream(std::ostream& xos = std::cout) const;

protected:

private:

};

// ===========================================================
// NONMEMBER FUNCTIONS
// ===========================================================

#ifndef DOXYGEN_1_5_4_SKIP_UNKNOWN

SHEAF_DLL_SPEC std::ostream& operator << (std::ostream &os, section_space_schema_member& p);

#endif // ifndef DOXYGEN_1_5_4_SKIP_UNKNOWN

} // namespace fiber_bundle

#endif // SECTION_SPACE_SCHEMA_MEMBER_H