TransSep.h File Reference

Declare TransSep class for detecting separable nonlinear constraints in the problem. It considers nonlinear constraints of a problem and checks whether they are separable. If a nonlinear constraint is separable, then it reformulates original problem by introducing extra variables. Original nonlinear constraint becomes linear and each separable part constitutes a nonlinear constraint. This class also gives computational graphs of nonlinear constraints corresponding separable parts of separable constraints. \Author Meenarli Sharma, Indian Institute of Technology Bombay. More...

#include <stack>
#include "Constraint.h"
#include "Types.h"
#include "NonlinearFunction.h"
#include "OpCode.h"
#include "CNode.h"

Include dependency graph for TransSep.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	Minotaur::TransSep

Namespaces
namespace	Minotaur

Typedefs
typedef TransSep *	Minotaur::TransSepPtr
typedef const TransSep *	Minotaur::ConstTransSepPtr

Detailed Description

Declare TransSep class for detecting separable nonlinear constraints in the problem. It considers nonlinear constraints of a problem and checks whether they are separable. If a nonlinear constraint is separable, then it reformulates original problem by introducing extra variables. Original nonlinear constraint becomes linear and each separable part constitutes a nonlinear constraint. This class also gives computational graphs of nonlinear constraints corresponding separable parts of separable constraints. \Author Meenarli Sharma, Indian Institute of Technology Bombay.