#include <queue>
#include "CouenneTypes.hpp"
#include "CouenneExprMul.hpp"
#include "CouenneExprTrilinear.hpp"
#include "CouenneExprBMul.hpp"
#include "CouenneExprConst.hpp"
#include "CouenneExprPow.hpp"
#include "CouenneExprAux.hpp"
#include "CouenneExprClone.hpp"
#include "CouenneProblem.hpp"
Go to the source code of this file.
Functions | |
bool | areSameVariables (expression *v1, expression *v2) |
check if two arguments point to the same variable More... | |
|
inline |
check if two arguments point to the same variable
Definition at line 27 of file conv-exprMul-reformulate.cpp.