node_selector.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 <ir/index.hpp>
#include <ir/equation.hpp>
#include <ir/expression.hpp>
#include <ir/event.hpp>
#include <deps/sbg_graph/deps_graph.hpp>
#include <util/symbol_table.hpp>
 
namespace MicroModelica {
namespace Deps {
 
class EQSelector {
  public:
  EQSelector() : _eqs(), _select_states(false), _lhs_states(false) {};
  EQSelector(IR::EquationTable eqs, bool select_states, bool lhs_states) : _eqs(eqs), _select_states(select_states), _lhs_states(lhs_states) {};
  EQSelector(IR::EquationTable eqs);
  ~EQSelector() = default;
  IR::EquationTable getNodes() const;
  IR::Expression exp(IR::Equation eq);
  IR::Equation getNode(int id);
  IR::Equation setUsage(IR::Index ifr_idx, IR::Equation eq, Option<IR::Range> range);
  IR::Equation getScalarUsage(SB::Set range, IR::Expression exp, IR::Equation eq, IR::Index ifr_idx);
  bool isAlgebraic(SB::Deps::SetVertex vertex);
  bool multipleNodes() const;
  int id(SB::Deps::SetVertex vertex);
  bool lhsStates();
  std::string nodeName(int id);
  bool validVariable(Util::Variable var);
  SB::PWLMap mapU();
  SB::PWLMap mapF();
  void setMapU(SB::PWLMap map_u);
  void setMapF(SB::PWLMap map_f);
 
  protected:
  IR::EquationTable _eqs;
  bool _select_states;
  bool _lhs_states;
  SB::PWLMap _map_u;
  SB::PWLMap _map_f;
};
 
class EVSelector {
  public:
  EVSelector() : _evs() {};
  EVSelector(IR::EventTable evs);
  ~EVSelector() = default;
  IR::EventTable getNodes() const;
  IR::Expression exp(IR::Event ev);
  IR::Event getNode(int id);
  IR::Event setUsage(IR::Index ifr_idx, IR::Event ev, Option<IR::Range> range);
  IR::Event getScalarUsage(SB::Set range, IR::Expression exp, IR::Event ev, IR::Index ifr_idx);
  bool isAlgebraic(SB::Deps::SetVertex vertex);
  bool multipleNodes() const;
  int id(SB::Deps::SetVertex vertex);
  bool lhsStates();
  std::string nodeName(int id);
  bool validVariable(Util::Variable var);
  SB::PWLMap mapU();
  SB::PWLMap mapF();
  void setMapU(SB::PWLMap map_u);
  void setMapF(SB::PWLMap map_f);
 
  protected:
  IR::EventTable _evs;
  SB::PWLMap _map_u;
  SB::PWLMap _map_f;
};
 
}  // namespace Deps
}  // namespace MicroModelica