constraint.h

Go to the documentation of this file.

#ifndef ABA_CONSTRAINT_H
#define ABA_CONSTRAINT_H

#include "abacus/convar.h"
#include "abacus/array.h"
#include "abacus/infeascon.h"
#include "abacus/csense.h"

class ABA_ROW;
class ABA_MASTER;
class ABA_VARIABLE;
class ABA_CONCLASS;
class ABA_LPSUB;

template<class BaseType, class CoType> class ABA_ACTIVE;

#ifdef ABACUS_PARALLEL
#include "abacus/message.h"
#endif
class  ABA_CONSTRAINT :  public ABA_CONVAR  {
  friend class ABA_LPSUB;
  public:

    ABA_CONSTRAINT (ABA_MASTER *master, const ABA_SUB *sub,
                    ABA_CSENSE::SENSE sense, double rhs,
                    bool dynamic, bool local, bool liftable);

    ABA_CONSTRAINT (ABA_MASTER *master);

    ABA_CONSTRAINT(const ABA_CONSTRAINT &rhs); 

    virtual ~ABA_CONSTRAINT();
#ifdef ABACUS_PARALLEL

    ABA_CONSTRAINT(const ABA_MASTER *master, ABA_MESSAGE &msg);

    virtual void pack(ABA_MESSAGE &msg) const;
#endif

    ABA_CSENSE *sense();


    virtual double coeff(ABA_VARIABLE *v) = 0;

    virtual double rhs();

    bool liftable() const;
  
    virtual bool valid(ABA_SUB *sub);

    virtual int genRow(ABA_ACTIVE<ABA_VARIABLE, ABA_CONSTRAINT> *var, 
                       ABA_ROW &row);

    virtual double slack(ABA_ACTIVE<ABA_VARIABLE, ABA_CONSTRAINT> *variables,
                         double *x);

    virtual bool violated(ABA_ACTIVE<ABA_VARIABLE, ABA_CONSTRAINT> *variables,
                          double *x, double *sl = 0);

    virtual bool violated(double slack) const;

    void printRow(ostream &out, ABA_ACTIVE<ABA_VARIABLE, ABA_CONSTRAINT> *var);

    virtual double distance(double *x, 
                            ABA_ACTIVE<ABA_VARIABLE, ABA_CONSTRAINT> *actVar);

    ABA_CONSTRAINT *duplicate()
    {return 0;};

    ABA_CONCLASS *classification(ABA_ACTIVE<ABA_VARIABLE, ABA_CONSTRAINT> *var = 0);
  protected:

    virtual ABA_INFEASCON::INFEAS voidLhsViolated(double newRhs) const;

    virtual ABA_CONCLASS *classify(ABA_ACTIVE<ABA_VARIABLE, ABA_CONSTRAINT> *var);

    ABA_CSENSE sense_;

    double rhs_;
    ABA_CONCLASS *conClass_;

    bool liftable_;

  private:
    const ABA_CONSTRAINT &operator=(const ABA_CONSTRAINT &rhs);
};


inline ABA_CSENSE *ABA_CONSTRAINT::sense()
  {
    return &sense_;
  }

inline bool ABA_CONSTRAINT::liftable() const
  {
    return liftable_;
  }


#endif  // ABA_CONSTRAINT_H

---