Cut.h

Go to the documentation of this file.

//
//     Minotaur -- It's only 1/2 bull
//
//     (C)opyright 2010 - 2025 The Minotaur Team.
//
 
#ifndef MINOTAURCUT_H
#define MINOTAURCUT_H
 
#include "Types.h"
 
namespace Minotaur {
 
  class Function;
 
  struct CutInfo
  {
    UInt timesEnabled;    
    UInt timesDisabled;   
    UInt lastEnabled;     
    UInt lastDisabled;    
    UInt cntSinceActive;  
    UInt cntSinceViol;    
    UInt numActive;       
    int parent_active_cnts;  
 
    double hash;        
    double varScore;    
    double fixedScore;  
 
    bool neverDelete;   
    bool neverDisable;  
    bool inRel;         
  };
 
 
  class Cut {
 
  public:
    Cut();
 
    Cut(size_t n, FunctionPtr f, double lb, double ub, bool never_delete,
        bool never_disable);
 
 
    Cut(ProblemPtr p, FunctionPtr f, double lb, double ub, bool never_delete,
        bool never_disable);
    ~Cut();
 
    void applyToProblem(ProblemPtr p);
 
    double eval(const double *x, int *err);
 
    void evalScore(const double *x, double *vio, double *score);
 
    ConstraintPtr getConstraint() { return cons_; }
 
    FunctionPtr getFunction() { return f_; }
 
    CutInfo *getInfo() { return &info_; }
 
    double getLb() { return lb_; }
 
    std::string getName() { return name_; }
 
    double getUb() { return ub_; }
 
    void setCons(ConstraintPtr c) { cons_ = c; }
 
    void setName_(std::string name) { name_ = name; }
 
    void write(std::ostream &out) const;
 
    void writeStats(std::ostream &out) const;
 
  protected:
    ConstraintPtr cons_;
 
    FunctionPtr f_;
 
    CutInfo info_;
 
    double lb_;
 
    LoggerPtr logger_;
 
    size_t n_;
 
    double ub_;
 
    double fixedScore_;
 
    std::string name_;
 
    void initInfo_(bool never_delete, bool never_disable);
 
    void evalFixedScore_();
  };
 
  typedef std::vector<CutPtr> CutVector;
  typedef CutVector::iterator CutIterator;
  typedef CutVector::const_iterator CutConstIterator;
}  //namespace Minotaur
#endif