#include <stdio.h>
#include "CouenneExprInv.hpp"
#include "CouenneExprClone.hpp"
#include "CouenneExprMul.hpp"
#include "CouenneExprOpp.hpp"
#include "CouenneExprDiv.hpp"
#include "CouenneExprPow.hpp"
#include "CouenneProblem.hpp"
#include "CouenneExpression.hpp"
#include "CoinFinite.hpp"
Include dependency graph for exprInv.cpp:
Go to the source code of this file.
Functions | |
void | invPowImplBounds (int wind, int index, CouNumber *l, CouNumber *u, CouNumber k, bool &resL, bool &resU, enum expression::auxSign sign) |
general function to tighten implied bounds of a function w = x^k, k negative, integer or inverse integer, and odd |
void invPowImplBounds | ( | int | wind, | |
int | index, | |||
CouNumber * | l, | |||
CouNumber * | u, | |||
CouNumber | k, | |||
bool & | resL, | |||
bool & | resU, | |||
enum expression::auxSign | sign | |||
) |
general function to tighten implied bounds of a function w = x^k, k negative, integer or inverse integer, and odd
Definition at line 47 of file exprInv.cpp.
References Couenne::expression::AUX_GEQ, Couenne::expression::AUX_LEQ, COUENNE_EPS, COUENNE_INFINITY, and Couenne::updateBound().