#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"
Include dependency graph for conv-exprMul-reformulate.cpp:
Go to the source code of this file.
Functions | |
bool | areSameVariables (expression *v1, expression *v2) |
check if two arguments point to the same variable |
bool areSameVariables | ( | expression * | v1, | |
expression * | v2 | |||
) | [inline] |
check if two arguments point to the same variable
Definition at line 27 of file conv-exprMul-reformulate.cpp.
References Couenne::AUX, and Couenne::VAR.