TransPoly.h

Go to the documentation of this file.

//
//     Minotaur -- It's only 1/2 bull
//
//     (C)opyright 2008 - 2025 The Minotaur Team.
//
 
#ifndef MINOTAURTRANSPOLY_H
#define MINOTAURTRANSPOLY_H
 
#include "Transformer.h"
 
namespace Minotaur {
 
class MultilinearTermsHandler;
class MonomialFunction;
class YEqMonomial;
class YEqCG;
typedef MonomialFunction* MonomialFunPtr;
typedef MultilinearTermsHandler* MultilinearTermsHandlerPtr;
 
 
class TransPoly : public Transformer {
public:
 
  TransPoly();
 
  TransPoly(EnvPtr env, ProblemPtr p);
 
  ~TransPoly();
 
  // base class method.
  std::string getName() const;
 
  // base class method.
  SolutionPtr getSolOrig(ConstSolutionPtr sol, int &err);
 
  // base class method.
  SolutionPtr getSolTrans(ConstSolutionPtr sol, int &err);
 
  // base class method.
  void reformulate(ProblemPtr &newp, HandlerVector &handlers, int &status);
 
private:
 
  MultilinearTermsHandlerPtr mHandler_;
 
  YEqMonomial *yMonoms_;
 
  void assignMH_(ConstraintPtr con, VariablePtr v, MonomialFunPtr mf);
 
  MonomialFunPtr monomToMl_(MonomialFunPtr mf);
 
  VariablePtr newPolyVar_(MonomialFunPtr mf);
 
  VariablePtr newPolyVar_(const CNode *cnode, MonomialFunPtr mf,
                          LinearFunctionPtr lf, VariablePtr v,
                          double d, double k);
 
  void recursPolyRef_(const CNode *node, 
                      MonomialFunPtr &mf, LinearFunctionPtr &lf,
                      VariablePtr &v, double &d, double &k);
 
  void refMinus_(MonomialFunPtr mfl, MonomialFunPtr mfr,
                 LinearFunctionPtr lfl, LinearFunctionPtr lfr,
                 VariablePtr vl, VariablePtr vr,
                 double dl, double dr,
                 double kl, double kr,
                 MonomialFunPtr &mf, LinearFunctionPtr &lf,
                 VariablePtr &v, double &d, double &k);
 
  void refMult_(MonomialFunPtr mfl, MonomialFunPtr mfr,
                LinearFunctionPtr lfl, LinearFunctionPtr lfr,
                VariablePtr vl, VariablePtr vr,
                double dl, double dr,
                double kl, double kr,
                MonomialFunPtr &mf, LinearFunctionPtr &lf,
                VariablePtr &v, double &d, double &k);
 
  
  /*
   * \brief Reformulate the constraints of the original problem into new
   * problem.
   */
  void refNonlinCons_();
 
  /*
   * \brief Reformulate the objective function of the original problem into new
   * problem.
   */
  void refNonlinObj_();
    
  void refPlus_(MonomialFunPtr mfl, MonomialFunPtr mfr,
                LinearFunctionPtr lfl, LinearFunctionPtr lfr,
                VariablePtr vl, VariablePtr vr,
                double dl, double dr,
                double kl, double kr,
                MonomialFunPtr &mf, LinearFunctionPtr &lf,
                VariablePtr &v, double &d, double &k);
 
  void refUnivarOpPoly_(const CNode *node, MonomialFunPtr mfl,
                        LinearFunctionPtr lfl, VariablePtr vl, double dl,
                        double kl, VariablePtr &v, double &d,
                        double &k);
};
}
 
#endif