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

Declare a handler for quadratic constraints of the form $ y = ax^2 + bx $, $ y = (x_1+x_2)^2 $, and $ y = (x_1-x_2)^2 $, It does not handle any other quadratic constraints. More...

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

Go to the source code of this file.

Classes

struct  Minotaur::LinUnivar
 A structure to save information about constraints of the form $ y
= ax^2 + bx $. More...
 
struct  Minotaur::LinBivar
 

‍Iterator for LinUnivar

More...
 
class  Minotaur::UnivarQuadHandler
 

‍Iterator for LinBivar

More...
 

Namespaces

namespace  Minotaur
 

Typedefs

typedef LinUnivar * Minotaur::LinUnivarPtr
 
typedef std::vector< LinUnivarPtr > Minotaur::LinUnivarVec
 

‍Pointer to LinUnivar


 
typedef LinUnivarVec::iterator Minotaur::LinUnivarVecIter
 

‍Vector of LinUnivar


 
typedef LinBivar * Minotaur::LinBivarPtr
 
typedef std::vector< LinBivarPtr > Minotaur::LinBivarVec
 

‍Pointer to LinBivar


 
typedef LinBivarVec::iterator Minotaur::LinBivarVecIter
 

‍Vector of LinBivar


 

Detailed Description

Declare a handler for quadratic constraints of the form $ y = ax^2 + bx $, $ y = (x_1+x_2)^2 $, and $ y = (x_1-x_2)^2 $, It does not handle any other quadratic constraints.

Author
Mustafa Vora, IIT Bombay

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