solver.hh

Go to the documentation of this file.

#if !defined(_SOLVER_HH_)
#define _SOLVER_HH_

#include <tuple>

#include "easylocal/helpers/statemanager.hh"
#include "easylocal/helpers/outputmanager.hh"
#include "easylocal/utils/parameter.hh"

namespace EasyLocal {
  
  namespace Core {
    
    template <class Input, class Output, typename CFtype = int>
    struct SolverResult
    {
      SolverResult(const Output& output, const CostStructure<CFtype>& cost, double running_time) : output(output), cost(cost), running_time(running_time) {}
      Output output;
      CostStructure<CFtype> cost;
      double running_time;
    };
    
    template <class Input, class Output, typename CFtype = int>
    class Solver
    {
    public:
      const std::string name;
      
      virtual SolverResult<Input, Output, CFtype> Solve() throw (ParameterNotSet, IncorrectParameterValue) = 0;
      
      virtual SolverResult<Input, Output, CFtype> Resolve(const Output& initial_solution) throw (ParameterNotSet, IncorrectParameterValue) = 0;
      
      virtual ~Solver() {}
      
      static std::vector<Solver<Input, Output, CFtype>*> solvers;
      
    protected:
      
      Solver(const Input& in, std::string name);
      
      const Input& in;
      
    };
    
    /*************************************************************************
     * Implementation
     *************************************************************************/
    
    template <class Input, class Output, typename CFtype>
    std::vector<Solver<Input, Output, CFtype>*> Solver<Input, Output, CFtype>::solvers;
    
    template <class Input, class Output, typename CFtype>
    Solver<Input, Output, CFtype>::Solver(const Input& i, std::string e_name)
    : name(e_name), in(i)
    {
      solvers.push_back(this);
    }
  }
}

#endif // _SOLVER_HH_