task.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/>.
 *
 */
 
#ifndef _libint2_src_bin_libint_task_h_
#define _libint2_src_bin_libint_task_h_
 
#include <default_params.h>
#include <rr.h>
 
#include <list>
#include <map>
#include <string>
#include <vector>
 
namespace libint2 {
 
class TaskExternSymbols;
 
class LibraryTask {
 public:
  LibraryTask(const std::string& l, const std::shared_ptr<TaskParameters>& p,
              const std::shared_ptr<TaskExternSymbols>& s)
      : label_(l), params_(p), symbols_(s) {}
  ~LibraryTask() {}
  const std::string& label() const { return label_; }
  const std::shared_ptr<TaskParameters>& params() const { return params_; }
  const std::shared_ptr<TaskExternSymbols>& symbols() const { return symbols_; }
 
 private:
  std::string label_;
  std::shared_ptr<TaskParameters> params_;
  std::shared_ptr<TaskExternSymbols> symbols_;
};
 
class LibraryTaskManager {
  typedef std::vector<LibraryTask> Tasks;
  typedef Tasks::const_iterator tasks_citer;
 
 public:
  typedef Tasks::const_iterator TasksCIter;
  typedef Tasks::iterator TasksIter;
 
  static LibraryTaskManager& Instance();
  ~LibraryTaskManager() {}
 
  unsigned int ntask() const { return tasks_.size(); }
  TasksCIter first() const { return tasks_.begin(); }
  TasksCIter plast() const { return tasks_.end(); }
  LibraryTask& task(unsigned int i) { return tasks_.at(i); }
  void add(const std::string& task_label);
  bool exists(const std::string& task_label) const;
  TasksCIter find(const std::string& task_label) const;
  void current(const std::string& task_label);
  LibraryTask& current();
 
 private:
  LibraryTaskManager();
  Tasks tasks_;
  int current_;
 
  static LibraryTaskManager LTM_obj_;
};
 
class TaskExternSymbols {
 public:
  typedef std::list<std::string> SymbolList;
  typedef RRStack::InstanceID RRid;
  typedef std::list<RRid> RRList;
 
  TaskExternSymbols() {}
  ~TaskExternSymbols() {}
 
  void add(const SymbolList& symbols);
  const SymbolList& symbols() const;
  void add(const RRList& rrlist);
  bool find(const RRid& rrid) const;
  RRList rrlist() const;
 
 private:
  // Maintain symbols as a map since each symbol only needs to appear once
  typedef std::map<std::string, bool> Symbols;
  Symbols symbols_;
  mutable SymbolList symbollist_;  // only used to return a list
 
  // Maintain RR list as a map, although RRStack already handles them that way
  // -- hopefully this will speed up searching somewhat
  typedef std::map<RRid, bool> RRmap;
  RRmap rrmap_;
};
 
};  // namespace libint2
 
#endif  // header guard