CutManager.h

Go to the documentation of this file.

//
//     Minotaur -- It's only 1/2 bull
//
//     (C)opyright 2010 - 2025 The Minotaur Team.
//
 
#ifndef MINOTAURCUTMANAGER_H
#define MINOTAURCUTMANAGER_H
 
#include "Types.h"
 
 
namespace Minotaur {
 
  class Environment;
  class Function;
  class Problem;
  class Solution;
  class Cut;
  class CutManager;
  typedef CutManager *CutManagerPtr;
  typedef const Solution *ConstSolutionPtr;
 
  class CutManager {
 
  public:
    CutManager() {};
 
    virtual ~CutManager() {};
 
    virtual void addCut(CutPtr c) = 0;
 
    virtual void addCutToPool(CutPtr c) = 0;
 
    virtual ConstraintPtr addCut(ProblemPtr p, FunctionPtr f, double lb,
                                 double ub, bool direct_to_rel,
                                 bool never_del) = 0;
 
    virtual void addCuts(CutVectorIter cbeg, CutVectorIter cend) = 0;
 
    virtual size_t getNumCuts() const = 0;
 
    virtual size_t getNumEnabledCuts() const = 0;
 
    virtual size_t getNumDisabledCuts() const = 0;
 
    virtual size_t getNumNewCuts() const = 0;
 
    virtual std::vector<ConstraintPtr> getPoolCons() = 0;
 
    virtual void nodeIsBranched(NodePtr, ConstSolutionPtr, int) {};
 
    virtual void nodeIsProcessed(NodePtr){};
 
    virtual void postSolveUpdate(ConstSolutionPtr sol,
                                 EngineStatus e_status) = 0;
 
    virtual void separate(ProblemPtr p, ConstSolutionPtr sol, bool *separated,
                          size_t *n_added) = 0;
 
    virtual void updatePool(ProblemPtr, ConstSolutionPtr){};
 
    virtual void updateRel(ConstSolutionPtr, ProblemPtr){};
 
    virtual void write(std::ostream &out) const = 0;
 
    virtual void writeStats(std::ostream &out) const = 0;
  };
}  //namespace Minotaur
#endif