sec_atp_space.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 SEC_ATP_SPACE_H
#define SEC_ATP_SPACE_H

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

#ifndef SEC_TP_SPACE_H
#include "SheafSystem/sec_tp_space.h"
#endif

namespace sheaf
{
class namespace_poset;
}

namespace fiber_bundle
{
using namespace sheaf;

class sec_atp;
class atp;

class SHEAF_DLL_SPEC sec_atp_space : public sec_tp_space
{
  friend class fiber_bundles_namespace;

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

public:

  typedef sec_atp member_type;

  typedef atp fiber_type;

  static sec_atp_space& new_table(namespace_type& xhost, 
                                 const poset_path& xpath, 
                                 const poset_path& xschema_path,
                                 const poset_path& xvector_space_path,
                                 bool xauto_access);
  
  bool is_p_form(pod_index_type xmbr_id, bool xauto_access) const;

  bool is_p_form(const scoped_index& xmbr_id, bool xauto_access) const;

  void put_is_p_form(pod_index_type xmbr_id, bool xauto_access);

  void put_is_p_form(const scoped_index& xmbr_id, bool xauto_access);

  bool is_p_vector(pod_index_type xmbr_id, bool xauto_access) const;

  bool is_p_vector(const scoped_index& xmbr_id, bool xauto_access) const;

  void put_is_p_vector(pod_index_type xmbr_id, bool xauto_access);

  void put_is_p_vector(const scoped_index& xmbr_id, bool xauto_access);

protected:

  sec_atp_space();

  sec_atp_space(const sec_atp_space& xother) { };

  virtual ~sec_atp_space();

  sec_atp_space(sec_atp* xtop, sec_atp* xbottom);

private:



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

public:

  using sec_tp_space::d;
  
  virtual int d(int xp, int xdd) const;

  virtual tensor_variance round_variance(const tensor_variance& xvariance) const;

protected:

  virtual size_type covariant_subposet_ct() const;

private:



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

public:

protected:

private:



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

public:

protected:

private:



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

public:

protected:

private:

  static bool make_prototype();


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

public:

  virtual poset_type type_id() const;

  virtual const char* class_name() const;

protected:

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

private:


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

public:

protected:

private:

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

public:

  virtual bool is_ancestor_of(const any* xother) const;

  virtual sec_atp_space* clone() const;

  virtual bool invariant() const;

protected:

private:

 
};


} // namespace fiber_bundle


#endif // SEC_ATP_SPACE_H