body_pusher.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 BODY_PUSHER_H
#define BODY_PUSHER_H

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

#ifndef ANY_H
#include "SheafSystem/any.h"
#endif

#ifndef BINARY_SECTION_SPACE_SCHEMA_MEMBER_H
#include "SheafSystem/binary_section_space_schema_member.h"
#endif

#ifndef BLOCK_H
#include "SheafSystem/block.h"
#endif

#ifndef CHART_POINT_H
#include "SheafSystem/chart_point.h"
#endif

#ifndef BODY_PUSHER_PULLBACK_ACTION_H
#include "SheafSystem/body_pusher_pullback_action.h"
#endif

#ifndef SEC_ED_INVERTIBLE_H
#include "SheafSystem/sec_ed_invertible.h"
#endif

#ifndef STD_STRING_H
#include "SheafSystem/std_string.h"
#endif

namespace fiber_bundle
{
class base_space_poset;
class base_space_member;
}

namespace fields
{

using namespace sheaf;
using namespace fiber_bundle; 

class SHEAF_DLL_SPEC body_pusher : public any
{

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

public:

  typedef sec_ed::coord_type coord_type;

  typedef sec_vd::dof_type dof_type;

  typedef sec_vd::value_type value_type;


  body_pusher(const geometry::sec_ed_invertible& xdomain_coord,
              const sec_ed& xrange_coord,
              bool xauto_access);

  const base_space_poset& domain() const;

  const geometry::sec_ed_invertible& domain_coord() const;

  const base_space_poset& range() const;

  const sec_ed& range_coord() const;

  base_space_member* push(const base_space_member& xinput,
                          bool xcompute_upper_bound,
                          bool xauto_access);

  void push_pa(const base_space_member& xinput,
               base_space_member& result,
               bool xcompute_upper_bound,
               bool xauto_access);

  subposet* push(const subposet& xinput,
                 bool xcompute_upper_bound,
                 bool xauto_access);

  void push_pa(const subposet& xinput,
               subposet& result,
               bool xcompute_upper_bound,
               bool xauto_access);

  const bool& push_name() const;

  std::string& name_prefix();

  std::string& name_suffix();

  bool same_fiber(const sec_ed& xcoord1, const sec_ed& xcoord2,
                  bool xauto_access) const;


protected:

  body_pusher();


private:

  base_space_poset* _domain;

  geometry::sec_ed_invertible* _domain_coord;

  base_space_poset* _range;

  sec_ed _range_coord;

  binary_section_space_schema_member* _body_schema;

  typedef body_pusher_pullback_action::pb_type pb_type;

  typedef body_pusher_pullback_action::pb_map_type pb_map_type;

  typedef body_pusher_pullback_action::pb_map_itr_type pb_map_itr_type;

  typedef body_pusher_pullback_action::pb_map_range_type pb_map_range_type;

  pb_map_type _pb_map;

  bool _push_name;

  std::string _name_prefix;

  std::string _name_suffix;

  void pull_back_range_disc();



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

public:

  body_pusher(const body_pusher& xother);

  virtual ~body_pusher();

  virtual bool invariant() const;


};


// ===========================================================
// NONMEMBER FUNCTIONS
// ===========================================================
 
} // namespace fields

#endif // ifndef BODY_PUSHER_H