explicit_crg_interval.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 EXPLICIT_CRG_INTERVAL_H
#define EXPLICIT_CRG_INTERVAL_H

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

#ifndef CRG_INTERVAL_H
#include "SheafSystem/crg_interval.h"
#endif

namespace sheaf
{

template <typename T>
class factory;

class SHEAF_DLL_SPEC explicit_crg_interval : public crg_interval
{

  friend class namespace_poset;

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

public:

  explicit_crg_interval();

  virtual ~explicit_crg_interval();

protected:

private:



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

public:

protected:

private:



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

public:

protected:

  virtual void initialize_lower_covers();

  virtual void initialize_upper_covers();

private:



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

public:

protected:

private:



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

public:

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

protected:

private:

  static bool make_prototype();



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

public:

  virtual bool is_ancestor_of(const any* other) const;

  virtual explicit_crg_interval* clone() const;

  virtual bool invariant() const;

protected:

private:

};

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

SHEAF_DLL_SPEC 
size_t deep_size(const explicit_crg_interval& xp, bool xinclude_shallow = true);

} // namespace sheaf

#endif // ifndef EXPLICIT_CRG_INTERVAL_H