model.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/>.
 
 ******************************************************************************/
 
#ifndef MMO_MODEL_H_
#define MMO_MODEL_H_
 
#include <list>
#include <map>
#include <string>
#include <vector>
 
#include "class.hpp"
 
#include "../util/util_types.hpp"
 
class MMO_Model : public MMO_Class {
  public:
  MMO_Model(){};
  MMO_Model(string name);
  ~MMO_Model();
  string name() const;
  void insert(string n);
  void insert(VarName n, VarInfo vi, DEC_Type type);
  void insert(VarName n, VarInfo vi);
  void insert(AST_Equation eq);
  void insert(AST_Statement stm, bool initial);
  void insert(AST_Statement stm);
  void insert(MMO_Function &f);
  void insert(AST_External_Function_Call efc);
  void insert(AST_Argument_Modification x);
  VarSymbolTable varTable();
  MMO_ImportTable imports();
};
 
#endif /* MMO_MODEL_H_ */