SimpleCutMan.h

Go to the documentation of this file.

//
//     Minotaur -- It's only 1/2 bull
//
//     (C)opyright 2010 - 2025 The Minotaur Team.
//
 
#ifndef MINOTAURSIMPLECUTMAN_H
#define MINOTAURSIMPLECUTMAN_H
 
#include <list>
#include "CutManager.h"
#include "Types.h"
 
 
namespace Minotaur {
 
  class SimpleCutMan : public CutManager {
 
  public:
    SimpleCutMan();
 
    SimpleCutMan(EnvPtr env, ProblemPtr p);
 
    ~SimpleCutMan();
 
    // Base class method.
    void addCut(CutPtr c);
 
    // Base class method.
    ConstraintPtr addCut(ProblemPtr p, FunctionPtr f, double lb, double ub,
                         bool directToRel, bool neverDelete);
 
    // Base class method.
    void addCuts(CutVectorIter cbeg, CutVectorIter cend);
 
    // Base class method.
    size_t getNumCuts() const;
 
    // Base class method.
    size_t getNumEnabledCuts() const;
 
    // Base class method.
    size_t getNumDisabledCuts() const;
 
    // Base class method.
    size_t getNumNewCuts() const;
 
    // Base class method.
    void postSolveUpdate(ConstSolutionPtr sol, EngineStatus eng_status);
 
    // Base class method.
    void separate(ProblemPtr p, ConstSolutionPtr sol, bool *separated,
                  size_t *added);
 
    // Base class method.
    void write(std::ostream &out) const;
 
    // Base class method.
    void writeStats(std::ostream &out) const;
 
  private:
    size_t enCuts_;
 
    EnvPtr env_;
 
    LoggerPtr logger_;
 
    const static std::string me_;
 
    CutList newCuts_;
 
    ProblemPtr p_;
 
    CutList pool_;
 
    double violAbs_;
 
    double violRel_;
 
    void mvNewToPool_();
  };
 
  //typedef CutManager* CutManagerPtr;
}  //namespace Minotaur
#endif