solution.h

#ifndef SCIL_SOLUTION_H
#define SCIL_SOLUTION_H

#include<scil/subproblem.h>
#include<tr1/unordered_map>

namespace SCIL {

class solution {
private:
  tr1::unordered_map<void*, double> S;
  subproblem* sp;
  bool _has_os;

public:
  solution() : sp(NULL), _has_os(false) {     // if v is no key in S:  S[v] creates new pair (v,0) in S
  };                                            // S[v] returns S.end()

  bool has_os() {
     return _has_os;
  }

  void set_zero() {
     S.clear();
  }

  void save_solution(subproblem& s); 

  void round_to_integer(var v);

  double value(var v);

  double value(row& r);

  void set_value(var v, double d) {
    S[v.var_pointer()]=d;
  };

  subproblem* originating_subproblem();
};

}

#endif

---