qss_model_deps.hpp

Go to the documentation of this file.

/*****************************************************************************
 
 This file is part of QSS Solver.
 
 QSS Solver 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.
 
 QSS Solver 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 QSS Solver.  If not, see <http://www.gnu.org/licenses/>.
 
 ******************************************************************************/
 
#pragma once
 
#include <string>
#include <map>
 
#include <ir/compute_deps.hpp>
#include <ir/equation.hpp>
#include <deps/sbg_graph/deps_graph.hpp>
#include <util/symbol_table.hpp>
#include <util/table.hpp>
 
namespace MicroModelica {
namespace IR {
 
struct QSSModelDepsDef {
  std::string simple;
  std::string generic;
};
 
struct DepCode {
  vector<std::string> begin;
  vector<std::string> end;
  vector<std::string> code;
  vector<std::string> alg_code;
  bool scalar;
};
 
class QSSModelDepsGenerator {
  public:
  QSSModelDepsGenerator();
  ~QSSModelDepsGenerator() = default;
 
  void init(SB::Deps::SetVertex vertex);
  void end();
  void postProcess(SB::Deps::SetVertex vertex);
  void visitF(SB::Deps::SetVertex vertex, SB::Deps::VariableDep var_dep);
  void visitF(SB::Deps::SetVertex vertex, SB::Deps::VariableDep var_dep, SB::Deps::SetVertex gen_vertex);
  void visitG(SB::Deps::SetVertex v_vertex, SB::Deps::SetVertex g_vertex, SB::Deps::VariableDep var_dep, int index_shift = 0);
  void visitG(SB::Deps::SetVertex v_vertex, SB::Deps::SetVertex g_vertex, SB::PWLMap use_map, SB::Deps::LMapExp use_map_exp,
              Expression use_exp, SB::PWLMap def_map, SB::Deps::LMapExp def_map_exp, SB::Set intersection);
  void initG(SB::Deps::SetVertex vertex, SB::Deps::SetEdge edge);
  QSSModelDepsDef def();
 
  void setup(QSSModelConfig _config);
  QSSModelConfig config();
 
  protected:
  void addCode(DepCode dep_code, std::stringstream& code);
 
  QSSModelDepsDef _qss_model_deps_def;
  int _tabs;
  AlgDepsMap _der_deps;
  AlgDepsMap _alg_deps;
  DepsMap _deps;
  bool _post_process_eval;
  QSSModelConfig _config;
};
 
class QSSModelDeps {
  public:
  QSSModelDeps();
  ~QSSModelDeps() = default;
 
  void build(EquationTable eqs);
 
  std::string simpleDef();
 
  std::string genericDef();
 
  protected:
  QSSModelDepsDef _qss_model_deps_def;
};
 
}  // namespace IR
}  // namespace MicroModelica