SOS2Handler.h

Go to the documentation of this file.

//
//     Minotaur -- It's only 1/2 bull
//
//     (C)opyright 2008 - 2025 The Minotaur Team.
//
 
#ifndef MINOTAURSOS2HANDLER_H
#define MINOTAURSOS2HANDLER_H
 
#include "Handler.h"
 
namespace Minotaur {
 
class SOS2Handler : public Handler {
public:
 
  SOS2Handler();
 
  SOS2Handler(EnvPtr env, ProblemPtr problem);
 
  ~SOS2Handler();
 
  // 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 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_;
 
  void getNzAvgWt_(SOSPtr sos, const DoubleVector x,
                   const double *weights, int *nz, double *avgwt);
 
  void getSumN_(SOSPtr sos, const DoubleVector &x, double *sum, int *nnz,
                int *nv, int *nspos);
 
  bool isXFeasible_(const double *x, SOSPtr sos);
 
};
typedef SOS2Handler* SOS2HandlerPtr;
typedef const SOS2Handler* ConstSOS2HandlerPtr;
}
#endif