CutInfo.h

Go to the documentation of this file.

//
//     Minotaur -- It's only 1/2 bull
//
//     (C)opyright 2010 - 2025 The Minotaur Team.
//
 
#ifndef MINOTAURCUTINFO_H
#define MINOTAURCUTINFO_H
 
#include "Types.h"
 
namespace Minotaur {
 
  class Engine;
  typedef Engine* EnginePtr;
 
  class CutInfo {
 
  public:
    CutInfo();
 
    CutInfo(ConstraintPtr c, const double* hashval);
 
    ~CutInfo();
 
    void evalScore(const double *x, double &vio, double &score);
 
    void write(std::ostream &out) const;
 
    void write() const {write(std::cout);}
 
    void updateActive(bool wasactive) {  
      if (wasactive) {
        cntSinceActive_ = 0;
        numActive_++;
      }
      else cntSinceActive_++;
    }
 
    void updateViol(bool wasviol) {
      if (wasviol) cntSinceViol_ = 0;
      else cntSinceViol_++;
    }
 
    UInt getCntSinceActive() { return cntSinceActive_;}
    UInt getCntSinceViol() { return cntSinceViol_;}
    UInt getNumActive() { return numActive_;}
    double getHashVal() { return hashVal_;}
 
  protected:
 
    void evalFixedScore();
 
    ConstraintPtr cons_;
 
    bool canDelete_;
 
    UInt cntSinceActive_;
 
    UInt cntSinceViol_;
 
    UInt numActive_;
 
    double fixedScore_;
 
    double hashVal_;
 
 
  };
  typedef CutInfo* CutInfoPtr;
  typedef std::vector< CutInfoPtr > CutInfoVector;
  typedef CutInfoVector::iterator CutInfoIterator;
  typedef CutInfoVector::const_iterator CutInfoConstIterator;
}
#endif