cons_obj.h

#ifndef SCIL_CONS_OBJ_H
#define SCIL_CONS_OBJ_H

#include <scil/global.h>
#include <scil/solution.h>
#include <scil/subproblem.h>
#include <tr1/unordered_map>
#undef set

namespace SCIL {

class var_obj;
class row;

class ABA_Constraint;

class ILP_Problem;
class subproblem;
class ABA_Constraint;


class cons_obj
{
  friend class ILP_Problem;
  friend class subproblem;
  friend class ABA_Constraint;

private:
  double rhs_;
  cons_sense sense_;
  ABA_Constraint *Ref_Acons;
  //Type of quadratic reformulation; default value: CHECK
  quadRefStatus qrStatus;
  Activation Act;

public:

  //CHANGE map: forall_defined is not implemented for maps anymore
  //           we have to you use a h_array instead
  //leda::map < var_obj *, double >CM;
  tr1::unordered_map < var_obj *, double >CM;

  cons_obj (cons_sense s, double rhs);

  cons_obj ();

  void init (subproblem & S_, int n, Activation a, Validity v = Global);

  void init (ILP_Problem & IP, int n, Activation a, Validity v = Global);

  virtual double coeff (var_obj * v) {
    return 0;
  };
 
  

  void set_sense (cons_sense s);

  void set_rhs (double r);
   
  Activation get_Act();

  ABA_Constraint *Acons ();

  virtual double rhs ();

  virtual cons_sense sense ();

  virtual double coeff (ABA_VARIABLE * v);

  bool violated (subproblem & S);

  double violation (subproblem & S);

  double violation (solution & S);

  double slack(subproblem& S);

  void set (var_obj * v, double d);

  virtual void non_zero_entries (row & r)
  {
  };

  virtual int genRow (Active_Variables * var, Row & row);

  inline void set_qrStatus(quadRefStatus qr){
     qrStatus = qr;
  }

  inline quadRefStatus get_qrStatus(){
     return qrStatus;
  }

  virtual ~cons_obj ();
};

}

#endif

---