#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 | |
| 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.
1.6.1