quadref.h

#ifndef SCIL_QUADREF_H
#define SCIL_QUADREF_H

#include<scil/scil.h>
#include<boost/unordered_map.hpp>

namespace SCIL {

class QuadRef : public sym_constraint {
   private:
      std::list<cons_obj*> lc;
      std::list<cons_obj*> cons_list;
      ILP_Problem& IP;
      boost::unordered_map<std::string, var> hashmap;

   public:
      QuadRef(ILP_Problem& IP_) :IP(IP_) { }

      ~QuadRef() {
        std::list<cons_obj*>::iterator c;
        foreach(c, lc )
          delete *c;
      }

      status standard_separation(subproblem& S);

      virtual void init(subproblem& S) {
        return;
      }

      status feasible(solution& S) {
        return feasible_solution;
      }

      void addCons(cons_obj * c);

      void hashPair(var& x, var& y, var& l);

      void reformulate_forced_constraints();

      void check_and_reformulate();

      cons_obj* reformulate_SQK2(cons_obj* c, bool force);

      void reformulate_SQK3(cons_obj* c, bool force);
};
};

#endif

---