IntVarHandler.h

Go to the documentation of this file.

//
//     Minotaur -- It's only 1/2 bull
//
//     (C)opyright 2008 - 2025 The Minotaur Team.
//
 
#ifndef MINOTAURINTVARHANDLER_H
#define MINOTAURINTVARHANDLER_H
 
#include "Handler.h"
 
namespace Minotaur {
 
 
class IntVarHandler : public Handler {
public:
 
  IntVarHandler();
 
  IntVarHandler(EnvPtr env, ProblemPtr problem);
 
  ~IntVarHandler();
 
  // Implement Handler::getBranches().
  Branches getBranches(BrCandPtr cand, DoubleVector & x,
                       RelaxationPtr rel, SolutionPoolPtr s_pool);
      
  // base class method
  void getBranchingCandidates(RelaxationPtr rel, 
                              const DoubleVector &x, ModVector &mods,
                              BrVarCandSet &cands, BrCandVector &gencands,
                              bool &is_inf);
 
  // Implement Handler::getBrMod().
  ModificationPtr getBrMod(BrCandPtr cand, DoubleVector &x, 
                           RelaxationPtr rel, BranchDirection dir);
 
  double getTol() const;
 
  // Write name
  std::string getName() const;
 
  // Check if solution is feasible.
  bool isFeasible(ConstSolutionPtr sol, RelaxationPtr relaxation, 
                  bool & should_prune, double &inf_meas);
 
  bool isNeeded();
 
  void postsolveGetX(const double *, UInt, DoubleVector *) {};
 
  SolveStatus presolve(PreModQ *, bool *, Solution **) {return Finished;};
 
  bool presolveNode(RelaxationPtr, NodePtr, SolutionPoolPtr, ModVector &,
                    ModVector &)
  {return false;};
 
  // Does nothing.
  void relaxInitFull(RelaxationPtr rel, SolutionPool *sp, bool *is_inf) ;
 
  // Does nothing.
  void relaxInitInc(RelaxationPtr rel, SolutionPool *sp, bool *is_inf);
 
  // Does nothing.
  void relaxNodeFull(NodePtr node, RelaxationPtr rel, bool *is_inf) ;
 
  // Does nothing.
  void relaxNodeInc(NodePtr node, RelaxationPtr rel, bool *is_inf);
 
  void separate(ConstSolutionPtr, NodePtr , RelaxationPtr, CutManager *,
                SolutionPoolPtr, ModVector &, ModVector &, bool *,
                SeparationStatus *) {};
 
  void setTol(double tol);
 
  void writePreStats(std::ostream &) const {};
 
private:
  EnvPtr env_;
 
  int bdRule_;
 
  double intTol_;
 
  LoggerPtr logger_;
 
  static const std::string me_;
 
  ProblemPtr problem_;
};
typedef IntVarHandler* IntVarHandlerPtr;
typedef const IntVarHandler* ConstIntVarHandlerPtr;
}
#endif