SOS1Handler.h

Go to the documentation of this file.

//
//     Minotaur -- It's only 1/2 bull
//
//     (C)opyright 2008 - 2025 The Minotaur Team.
//
 
#ifndef MINOTAURSOS1HANDLER_H
#define MINOTAURSOS1HANDLER_H
 
#include "Handler.h"
 
namespace Minotaur {
 
class SOS1Handler : public Handler {
public:
 
  SOS1Handler();
 
  SOS1Handler(EnvPtr env, ProblemPtr problem);
 
  ~SOS1Handler();
 
  // 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);
 
  // Check if solution is feasible.
  bool isFeasible(ConstSolutionPtr sol, RelaxationPtr relaxation, 
                  bool &should_prune, double &inf_meas);
 
  void separate(ConstSolutionPtr sol, NodePtr node, RelaxationPtr rel, 
                CutManager *cutman, SolutionPoolPtr s_pool, ModVector &p_mods,
                ModVector &r_mods, bool *sol_found, SeparationStatus *status);
  // Base class method.
  void getBranchingCandidates(RelaxationPtr rel, const DoubleVector &x,
                              ModVector & mods, BrVarCandSet &cands,
                              BrCandVector &gencands, bool & is_inf);
 
  // Base class method.
  ModificationPtr getBrMod(BrCandPtr cand, DoubleVector &x, 
                           RelaxationPtr rel, BranchDirection dir);
 
  //  Base class method.
  Branches getBranches(BrCandPtr cand, DoubleVector & x,
                       RelaxationPtr rel, SolutionPoolPtr s_pool);
      
  bool isGUB(SOS *sos);
  bool isNeeded();
 
  SolveStatus presolve(PreModQ *, bool *, Solution **) {return Finished;};
 
  void postsolveGetX(const double *, UInt, DoubleVector *);
 
  bool presolveNode(RelaxationPtr, NodePtr, SolutionPoolPtr, ModVector &,
                    ModVector &)
  {return false;};
 
  // Write name
  std::string getName() const;
 
  void getNzNumSum_(SOSPtr sos, const DoubleVector x, int *nz,
                    double *nzsum);
 
  void writePreStats(std::ostream &) const {};
 
  double getTol() const;
 
  void setTol(double tol);
 
private:
  EnvPtr env_;
 
  LoggerPtr logger_;
 
  static const std::string me_;
 
  ProblemPtr problem_;
 
  double zTol_;
};
typedef SOS1Handler* SOS1HandlerPtr;
typedef const SOS1Handler* ConstSOS1HandlerPtr;
}
#endif