tp_space.h

//
// 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.
//

// Interface for class tp_space.

#ifndef TP_SPACE_H
#define TP_SPACE_H

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

#ifndef VD_SPACE_H
#include "SheafSystem/vd_space.h"
#endif
  
#ifndef TP_TABLE_DOFS_TYPE_H
#include "SheafSystem/tp_table_dofs_type.h"
#endif

namespace fiber_bundle
{

  using namespace sheaf;  
  class at1_space;
  class tensor_variance;
  class tp;
  
  
class SHEAF_DLL_SPEC tp_space : public vd_space
{
  friend class fiber_bundles_namespace;

public:



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

public:

  typedef tp member_type;

  typedef at1_space vector_space_type;

  static const std::string& standard_schema_poset_name();

  static const poset_path& standard_schema_path();
  
  typedef tp_table_dofs_type table_dofs_type;

  using vd_space::d;

  static int d(const namespace_poset& xns, const poset_path& xschema_path, bool xauto_access);
  
  static int d(const namespace_poset& xns, int xp, const poset_path& xvector_space_path, bool xauto_access);

  static tp_space& new_table(namespace_type& xhost, 
                 const poset_path& xpath, 
                 const poset_path& xschema_path,
                 int xp,
                 const poset_path& xvector_space_path,
                 bool xauto_access);
  
  //============================================================================
  // TABLE DOFS
  //============================================================================
  
  virtual int d(int xp, int xdd) const;

  int p(int xd, int xdd) const;
  
  int p() const;

  int p(bool xauto_access) const;

  int dd() const;

  int dd(bool xauto_access) const;

  poset_path vector_space_path() const;

  poset_path vector_space_path(bool xauto_access) const;

  virtual tensor_variance variance(pod_index_type xmbr_id, bool xauto_access) const;

  tensor_variance variance(const scoped_index& xmbr_id, bool xauto_access) const;

  virtual bool variance(pod_index_type xmbr_id, int xi, bool xauto_access) const;

  bool variance(const scoped_index& xmbr_id, int xi, bool xauto_access) const;

  void put_variance(pod_index_type xmbr_id, const tensor_variance& xvariance, bool xauto_access);

  void put_variance(const scoped_index& xmbr_id, const tensor_variance& xvariance, bool xauto_access);

  void put_variance(pod_index_type xmbr_id, int xi, bool xvariance, bool xauto_access);

  void put_variance(const scoped_index& xmbr_id, int xi, bool xvariance, bool xauto_access);

  virtual tensor_variance round_variance(const tensor_variance& xvariance) const;
    
  virtual bool is_covariant(pod_index_type xmbr_id, bool xauto_access) const;
    
  bool is_covariant(const scoped_index& xmbr_id, bool xauto_access) const;
    
  virtual bool is_covariant(pod_index_type xmbr_id, int xi, bool xauto_access) const;
    
  bool is_covariant(const scoped_index& xmbr_id, int xi, bool xauto_access) const;
    
  virtual void put_is_covariant(pod_index_type xmbr_id, bool xauto_access);
  
  void put_is_covariant(const scoped_index& xmbr_id, bool xauto_access);
  
  void put_is_covariant(pod_index_type xmbr_id, int xi, bool xauto_access);
 
  void put_is_covariant(const scoped_index& xmbr_id, int xi, bool xauto_access);
 
  virtual bool is_contravariant(pod_index_type xmbr_id, bool xauto_access) const;
 
  bool is_contravariant(const scoped_index& xmbr_id, bool xauto_access) const;
 
  virtual bool is_contravariant(pod_index_type xmbr_id, int xi, bool xauto_access) const;
    
  bool is_contravariant(const scoped_index& xmbr_id, int xi, bool xauto_access) const;
    
  virtual void put_is_contravariant(pod_index_type xmbr_id, bool xauto_access);
  
  void put_is_contravariant(const scoped_index& xmbr_id, bool xauto_access);
  
  void put_is_contravariant(pod_index_type xmbr_id, int xi, bool xauto_access);

  void put_is_contravariant(const scoped_index& xmbr_id, int xi, bool xauto_access);

protected:

  tp_space();

  tp_space(const tp_space& xother) { };

  virtual ~tp_space();

  tp_space(tp* xtop, tp* xbottom);

  virtual size_type covariant_subposet_ct() const;

private:


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

public:

protected:

private:

  static bool make_prototype();

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

public:

  virtual poset_type type_id() const;

  virtual const char* class_name() const;

  virtual pod_index_type prereq_id(int xi) const;

protected:

  tp_space& operator=(const poset_state_handle& xother);

private:


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

public:

protected:

private:

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

public:

  virtual bool is_ancestor_of(const any* xother) const;

  virtual tp_space* clone() const;

  virtual bool invariant() const;

protected:
private:

 
};


} // namespace fiber_bundle


#endif // TP_SPACE_H