Minotaur 0.4.1
Docs for developers
Classes | Namespaces | Typedefs
kPowHandler.h File Reference

Declare a handler for simple Quadratic constraints of the form $ y_1 = x_1x_2 $, and $ y_1 = x_1^2 $, It does not handle any other Quadratic constraints. More...

#include "CGraph.h"
#include "Handler.h"
Include dependency graph for kPowHandler.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

struct  Minotaur::LinkPow
 A structure to save information about constraints of the form $ y
\leq x^2 $. More...
 
class  Minotaur::kPowHandler
 

‍Iterator for LinkPowMap

More...
 

Namespaces

namespace  Minotaur
 

Typedefs

typedef LPEngine * Minotaur::LPEnginePtr
 
typedef LinkPow * Minotaur::LinkPowPtr
 
typedef std::vector< LinkPowPtr > Minotaur::LinkPowVec
 

‍Pointer to LinkPow


 
typedef LinkPowVec::iterator Minotaur::LinkPowVecIter
 

‍Vector of LinkPow


 
typedef std::map< VariablePtr, LinkPowPtr, CompareVariablePtr > Minotaur::LinkPowMap
 

‍Iterator for LinkPow

More...
 
typedef LinkPowMap::iterator Minotaur::LinkPowMapIter
 
typedef kPowHandler * Minotaur::kPowHandlerPtr
 Shared pointer to kPowHandler.
 

Detailed Description

Declare a handler for simple Quadratic constraints of the form $ y_1 = x_1x_2 $, and $ y_1 = x_1^2 $, It does not handle any other Quadratic constraints.

Author
Ashutosh Mahajan, IIT Bombay

Minotaur source code documented by Doxygen 1.9.4 on Thu Apr 24 2025