CutMan1.h

Go to the documentation of this file.

//
//     Minotaur -- It's only 1/2 bull
//
//     (C)opyright 2010 - 2025 The Minotaur Team.
//
 
#ifndef MINOTAURCUTMAN1_H
#define MINOTAURCUTMAN1_H
 
#include <list>
#include "CutManager.h"
#include "Types.h"
 
 
namespace Minotaur {
 
  class CutMan1 : public CutManager {
 
  public:
    CutMan1();
 
    CutMan1(EnvPtr env, ProblemPtr p);
 
    ~CutMan1();
 
    // Base class method.
    void addCut(CutPtr c);
 
    ConstraintPtr addCut(ProblemPtr, FunctionPtr, double, double, bool, bool)
    {
      return ConstraintPtr();
    };
 
    // 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 *n_added);
 
    // Base class method.
    void write(std::ostream &out) const;
 
    // Base class method.
    void writeStats(std::ostream &out) const;
 
  private:
    double absTol_;
 
    CutList disCuts_;
 
    CutList enCuts_;
 
    EnvPtr env_;
 
    LoggerPtr logger_;
 
    size_t maxDisCutAge_;
 
    size_t maxInactCutAge_;
 
    const static std::string me_;
 
    CutList newCuts_;
 
    ProblemPtr p_;
 
    CutList pool_;
 
    void addToRel_(CutPtr cons, bool new_cut);
 
    void addToPool_(CutPtr cons);
  };
 
}  //namespace Minotaur
#endif