section_space_schema_crg_range.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_CRG_RANGE_H
#define SECTION_SPACE_SCHEMA_CRG_RANGE_H

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

#ifndef IMPLICIT_CRG_RANGE_H
#include "SheafSystem/implicit_crg_range.h"
#endif

namespace sheaf
{
class poset_state_handle;
}

namespace fiber_bundle
{
  
using namespace sheaf;

class base_space_poset;

class SHEAF_DLL_SPEC section_space_schema_crg_range : public implicit_crg_range
{

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

public:

  section_space_schema_crg_range();

  virtual ~section_space_schema_crg_range();

  base_space_poset& base_space();

  const base_space_poset& base_space() const;

  bool base_space_initialized() const;

  poset_state_handle& fiber_schema();

  const poset_state_handle& fiber_schema() const;

  bool fiber_schema_initialized() const;

  using implicit_crg_range::contains_member;

  virtual bool contains_member(pod_index_type xbase_space_id,
                   pod_index_type xfiber_schema_id) const = 0;

  virtual void tuple(pod_index_type xindex,
             pod_index_type& xbase_space_id,
             pod_index_type& xfiber_schema_id) const = 0;

  virtual void ordinal(pod_index_type xbase_space_id,
               pod_index_type xfiber_schema_id,
               pod_index_type& xindex) const = 0;

protected:

  void initialize_base_space(base_space_poset& xbase_space);

  void initialize_fiber_schema(poset_state_handle& xfiber_schema);

  base_space_poset* _base_space;

  poset_state_handle* _fiber_schema;

private:



  // ===========================================================
  // IMPLICIT_CRG_RANGE FACET
  // ===========================================================

public:

protected:

private:



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

public:

protected:

  virtual bool implicit_cover_contains_iterator(bool xlower,
                        pod_index_type xmbr_index,
                        const cover_set_iterator& xitr) const;

  virtual bool implicit_cover_is_singleton(bool xlower, pod_index_type xmbr_index) const;

private:



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

public:

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

protected:

private:



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

public:

  virtual bool is_ancestor_of(const any *other) const;

  virtual section_space_schema_crg_range* clone() const;

  virtual bool invariant() const;

protected:

private:


};

// ===========================================================
// NON-MEMBER FUNCTIONS
// ===========================================================
 
} // end namespace fiber_bundle

#endif // ifndef SECTION_SPACE_SCHEMA_CRG_RANGE_H