dgarc.h

/*
 *  Copyright (C) 2004-2024 Edward F. Valeev
 *
 *  This file is part of Libint compiler.
 *
 *  Libint compiler is free software: you can redistribute it and/or modify
 *  it under the terms of the GNU General Public License as published by
 *  the Free Software Foundation, either version 3 of the License, or
 *  (at your option) any later version.
 *
 *  Libint compiler is distributed in the hope that it will be useful,
 *  but WITHOUT ANY WARRANTY; without even the implied warranty of
 *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 *  GNU General Public License for more details.
 *
 *  You should have received a copy of the GNU General Public License
 *  along with Libint compiler.  If not, see <http://www.gnu.org/licenses/>.
 *
 */
 
// #include <rr.h>
#include <smart_ptr.h>
 
#include <iostream>
 
#ifndef _libint2_src_bin_libint_dgarc_h_
#define _libint2_src_bin_libint_dgarc_h_
 
namespace libint2 {
 
class RecurrenceRelation;
class DGVertex;
class DGArc {
  std::shared_ptr<DGVertex> orig_;  // Where this Arc leavs
  std::shared_ptr<DGVertex> dest_;  // Where this Arc leads to
 
 public:
  DGArc(const std::shared_ptr<DGVertex>& orig,
        const std::shared_ptr<DGVertex>& dest);
  virtual ~DGArc() {}
 
  std::shared_ptr<DGVertex> orig() const { return orig_; }
  std::shared_ptr<DGVertex> dest() const { return dest_; }
 
  virtual void print(std::ostream& os) const = 0;
};
 
class DGArcDirect : public DGArc {
 public:
  DGArcDirect(const std::shared_ptr<DGVertex>& orig,
              const std::shared_ptr<DGVertex>& dest)
      : DGArc(orig, dest) {}
  virtual ~DGArcDirect() {}
 
  void print(std::ostream& os) const override {
    os << "DGArcDirect: connects " << orig().get() << " to " << dest().get();
  }
};
 
class DGArcRR : public DGArc {
 public:
  virtual ~DGArcRR() {}
 
  virtual std::shared_ptr<RecurrenceRelation> rr() const = 0;
 
 protected:
  DGArcRR(const std::shared_ptr<DGVertex>& orig,
          const std::shared_ptr<DGVertex>& dest);
};
 
// NOTE TO SELF (11/24/2004): need to implement checks on ArcRel
// It obviously must implement some functions
template <class ArcRel>
class DGArcRel : public DGArcRR {
  std::shared_ptr<ArcRel> rel_;  // Relationship described by the arc
 
 public:
  DGArcRel(const std::shared_ptr<DGVertex>& orig,
           const std::shared_ptr<DGVertex>& dest,
           const std::shared_ptr<ArcRel>& rel);
  virtual ~DGArcRel();
 
  std::shared_ptr<RecurrenceRelation> rr() const override {
    return std::dynamic_pointer_cast<RecurrenceRelation, ArcRel>(rel_);
  }
  void print(std::ostream& os) const override {
    os << "DGArcRel<T>: connects " << orig().get() << " to " << dest().get()
       << std::endl;
  }
};
 
template <class ArcRel>
DGArcRel<ArcRel>::DGArcRel(const std::shared_ptr<DGVertex>& orig,
                           const std::shared_ptr<DGVertex>& dest,
                           const std::shared_ptr<ArcRel>& rel)
    : DGArcRR(orig, dest), rel_(rel){};
 
template <class ArcRel>
DGArcRel<ArcRel>::~DGArcRel(){};
 
};  // namespace libint2
 
#endif