sggamehandler.hpp

// This file is part of the SGSolve library for stochastic games
// Copyright (C) 2019 Benjamin A. Brooks
// 
// SGSolve 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.
// 
// SGSolve 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 this program.  If not, see
// <http://www.gnu.org/licenses/>.
// 
// Benjamin A. Brooks
// ben@benjaminbrooks.net
// Chicago, IL
 
#ifndef SGGAMEHANDLER_H
#define SGGAMEHANDLER_H
 
#include <QtWidgets>
#include <QAbstractTableModel>
#include <QTableView>
#include "sggame.hpp"
#include "sgpayofftablemodel.hpp"
#include "sgprobabilitytablemodel.hpp"
#include "sgtableview.hpp"
 
 
class SGGameHandler : public QObject
{
  Q_OBJECT;
  
private:
 
  SGGame game;
 
  double errorTol;
 
  SGPayoffTableModel* payoffModel;
  vector<SGProbabilityTableModel*> probabilityModels;
 
  QVBoxLayout * layout;
 
  QPushButton * solveButton;
  QPushButton * solveButton_V2;
  QPushButton * cancelButton;
 
  // Edits
  QLineEdit * deltaEdit;
  vector<QLineEdit *> numActionsEdits;
  QLineEdit * numStatesEdit;
  QLineEdit * errorTolEdit;
 
  // Combo box
  QComboBox * currentStateCombo;
  
  // Tables
  QTableView * payoffTableView;
  vector<SGTableView *> probabilityTableViews;
  QVBoxLayout * probabilityTableLayout;
 
  // Check box  
  QCheckBox * feasibleCheckBox;
 
public:
 
  SGGameHandler();
 
  ~SGGameHandler();
 
 
  void setGame(const SGGame & _game);
 
  const SGGame & getGame() const
  { return game; }
 
  double getErrorTol() const
  { return errorTol; }
 
  QVBoxLayout * getLayout() const
  { return layout; }
  
  QPushButton * getSolveButton() const
  { return solveButton; }
 
  QPushButton * getSolveButton_V2() const
  { return solveButton_V2; }
 
  QPushButton * getCancelButton() const
  { return cancelButton; }
  
 
  void setState(int state);
  
private:
 
  void initializeModels();
  void pushBackProbabilityTable(int newS);
  void popBackProbabilityTable();
  void changeNumberOfStates(int newS);
                     
private slots:
  void currentStateChanged(int newS);
  void stateAdded();
  void action1Added();
  void action2Added();
  void actionAdded(int player);
 
  void stateRemoved();
  void action1Removed();
  void action2Removed();
 
  void actionRemoved(int player);
  void discountFactorChanged(const QString & text);
 
  void errorTolChanged(const QString & text);
 
  void nextState();
  void prevState();
 
public slots:
  void setConstrained(int newState);
 
};
 
 
#endif