aba_constraint.h

#ifndef SCIL_ABA_CONSTRAINT_H
#define SCIL_ABA_CONSTRAINT_H

#include <abacus/constraint.h>
#include <scil/global.h>

namespace SCIL {

class cons_obj;
class subproblem;
class ILP_Problem;

class ABA_Constraint :  public ABA_CONSTRAINT {
  friend class ILP_Problem;
  friend class subproblem;
  friend class cons_obj;

 
 private:
  cons_obj* Ref_cons;
  int ii;
  
  public:
  ABA_Constraint(subproblem& S_, cons_obj* Ref_cons_,
                 Activation g, Validity v, Liftability l, int n);

  ABA_Constraint(ILP_Problem& IP, cons_obj* Ref_cons_, Activation g,
                 Validity v, Liftability l, int n);
  virtual double coeff(ABA_VARIABLE*); 





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

  virtual double rhs();

  virtual ABA_CSENSE* sense();

  cons_obj* Scons() { return Ref_cons; };

  int index() { return ii; }

  virtual ~ABA_Constraint();
};

};

#endif

---