atp.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 ATP_H
#define ATP_H

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

#ifndef TP_H
#include "SheafSystem/tp.h"
#endif

namespace fiber_bundle
{
  class atp_space;
  
//==============================================================================
// CLASS ATP_LITE
//==============================================================================

class SHEAF_DLL_SPEC atp_lite : public tp_lite
{
  //============================================================================
  //============================================================================

public:

  atp_lite();

  atp_lite(const atp_lite& xother);

  atp_lite& operator=(const atp_lite& xother);

  virtual ~atp_lite();

  atp_lite(const row_dofs_type& xrow_dofs);

  atp_lite& operator=(const row_dofs_type& xrow_dofs);


protected:
private:



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

public:
protected:
private:



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

public:

  virtual int d() const;

protected:
private:



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

public:
protected:
private:



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

public:

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

  static const std::string& static_class_name();
  
  virtual atp_lite* clone() const;

protected:
private:



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

public:

  virtual bool is_ancestor_of(const any_lite& xother) const;

  bool invariant() const;

protected:
private:

};

//==============================================================================
// CLASS ATP
//==============================================================================

class SHEAF_DLL_SPEC atp : public tp
{
  // ===========================================================
  // ===========================================================

public:

  typedef atp_space host_type;

  static const poset_path& standard_schema_path();

  static void make_standard_schema(namespace_poset& xns);

  static host_type& new_host(namespace_type& xns, 
                 const poset_path& xhost_path, 
                 const poset_path& xschema_path,
                 int xp,
                 const poset_path& xvector_space_path,
                 bool xauto_access);

protected:

private:


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

public:

  typedef atp_lite volatile_type;

  atp();

  atp(const poset_state_handle* xhost, pod_index_type xhub_id);

  atp(const poset_state_handle* xhost, const scoped_index& xid);

  atp(const poset_state_handle* xhost, const std::string& xname);

  explicit atp(abstract_poset_member* xother);

  atp(poset_state_handle* xhost, bool xauto_access = true);

  virtual atp& operator=(const abstract_poset_member& xother);

  atp& operator=(const atp& xother);

  virtual ~atp();

  virtual const volatile_type& lite_prototype() const;

  virtual volatile_type* lite_type() const;

  bool is_p_form(bool xauto_access) const;

  void put_is_p_form(bool xauto_access);

  bool is_p_vector(bool xauto_access) const;

  void put_is_p_vector(bool xauto_access);

protected:
private:



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

public:
  
protected:

private:



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

public:
protected:
private:


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

public:

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

  static const std::string& static_class_name();

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

protected:
private:


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

public:

  host_type* host() const;

  virtual bool host_is_ancestor_of(const poset_state_handle* other) const;

protected:

private:



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

public:

  bool is_ancestor_of(const any* xother) const;
  
  virtual atp* clone() const;

  bool invariant() const;


protected:
private:

};

//==============================================================================
// NON-MEMBER FUNCTIONS
//==============================================================================

//==============================================================================
// ATP FACET:
//==============================================================================

namespace atp_algebra
{

SHEAF_DLL_SPEC void hook(const atp& x0, const atp& x1, atp& xresult, bool xauto_access);

SHEAF_DLL_SPEC void hook(const atp_lite& x0, const atp_lite& x1, atp_lite& xresult);

#ifndef SWIG

template <typename T0, typename T1>
typename tensor_traits<static_cast<int>(T0::P) - static_cast<int>(T1::P), typename T0::vector_space_type>::atp_type*
hook(const T0& x0, const T1& x1);

template <typename T0, typename T1>
typename tensor_traits<static_cast<int>(T0::P) - static_cast<int>(T1::P), typename T0::vector_space_type>::atp_type*
hook(const T0& x0, const T1& x1, bool xauto_access);

#endif

SHEAF_DLL_SPEC void star(const atp& x0, atp& xresult, bool xauto_access);

SHEAF_DLL_SPEC void star(const atp_lite& x0, atp_lite& xresult);

SHEAF_DLL_SPEC atp_lite* star(const atp_lite& x0);

SHEAF_DLL_SPEC void wedge(const atp& x0, const atp& x1, atp& xresult, bool xauto_access);

SHEAF_DLL_SPEC void wedge(const atp_lite& x0, const atp_lite& x1, atp_lite& xresult);

#ifndef SWIG

template <typename T0, typename T1>
typename tensor_traits<static_cast<int>(T0::P) + static_cast<int>(T1::P), typename T0::vector_space_type>::atp_type*
wedge(const T0& x0, const T1& x1);

template <typename T0, typename T1>
typename tensor_traits<static_cast<int>(T0::P) + static_cast<int>(T1::P), typename T0::vector_space_type>::atp_type*
wedge(const T0& x0, const T1& x1, bool xauto_access);

#endif

} // namespace atp_algebra

} // namespace fiber_bundle


#endif // ifndef ATP_H