sgsolverworker.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 SGSOLVERWORKER_V2_HPP
#define SGSOLVERWORKER_V2_HPP
 
#include <QtWidgets>
#include "sg.hpp"
#include "sgsolver_maxminmax.hpp"
 
 
class SGSolverWorker : public QObject
{
  Q_OBJECT;
 
private:
  const SGEnv & env;
  SGSolver_MaxMinMax solver;
  QTextEdit * logTextEdit;
  int numIter;
  QString exceptionMsg;
 
public:
  enum STATUS
    {
      FAILED, 
      CONVERGED, 
      NOTCONVERGED 
    } status; 
 
  SGSolverWorker(const SGEnv & _env,
         const SGGame & game,
         QTextEdit * _logTextEdit):
    env(_env), solver(env,game),
    logTextEdit(_logTextEdit)
  {
    numIter = 0;
    solver.initialize();
  } // constructor
 
  STATUS getStatus() const { return status; }
  const QString & getExceptionMsg() const { return exceptionMsg; }
 
public slots:
 
 
  void iterate()
  {
    try
      {
    if(numIter < env.getParam(SG::MAXITERATIONS))
    {
          numIter++;
      if(solver.iterate() > env.getParam(SG::ERRORTOL))
      {
        status = NOTCONVERGED;
        emit resultReady(false);
      }
      else
      {
        status = CONVERGED;
        emit resultReady(true);
      }
    }
        else
      throw(SGException(SG::MAX_ITERATIONS_REACHED));
      }
    catch (exception & e)
      {
    // Add the extreme tuples array to soln.
    qDebug() << "solve failed" << endl;
 
    exceptionMsg = QString(e.what());
 
    status = FAILED;
    emit resultReady(true);
      }
  } // iterate
 
  const SGSolution_MaxMinMax & getSolution() const
  { return solver.getSolution(); }
 
  const SGSolver_MaxMinMax & getSolver() const
  { return solver; }
  
signals:
  void resultReady(bool);
 
  void exceptionCaught();  
};
 
#endif