#include <iostream>
#include <set>
#include <vector>
#include "CouennePrecisions.hpp"
#include "CouenneTypes.hpp"
Include dependency graph for expression.hpp:
This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
Classes | |
class | expression |
Expression base class. More... | |
Functions | |
bool | updateBound (register int sign, register CouNumber *dst, register CouNumber src) |
updates maximum violation. | |
int | compareExpr (const void *e0, const void *e1) |
independent comparison | |
bool | isInteger (CouNumber x) |
is this number integer? | |
expression * | getOriginal (expression *e) |
get original expression (can't make it an expression method as I need a non-const, what "this" would return) |
updates maximum violation.
Used with all impliedBound. Returns true if a bound has been modified, false otherwise
Definition at line 272 of file expression.hpp.
References COUENNE_EPS.
Referenced by exprSub::impliedBound(), exprOpp::impliedBound(), exprLog::impliedBound(), exprExp::impliedBound(), exprAbs::impliedBound(), exprVar::impliedBound(), exprSum::impliedBound(), exprQuad::impliedBound(), exprPow::impliedBound(), exprMul::impliedBound(), exprDiv::impliedBound(), invPowImplBounds(), and trigImpliedBound().
int compareExpr | ( | const void * | e0, | |
const void * | e1 | |||
) | [inline] |
independent comparison
Definition at line 297 of file expression.hpp.
Referenced by exprMul::exprMul(), exprSum::exprSum(), and CouenneConstraint::standardize().
bool isInteger | ( | CouNumber | x | ) | [inline] |
is this number integer?
Definition at line 302 of file expression.hpp.
References COUENNE_EPS_INT, and COUENNE_round.
Referenced by CouenneThreeWayBranchObj::branch(), CouenneBranchingObject::branch(), CouenneObject::checkInfeasibility(), CouenneProblem::checkNLP(), CouenneProblem::fake_tighten(), CouenneProblem::findSOS(), CouenneCutGenerator::genColCuts(), Bonmin::OaDecompositionBase::generateCuts(), CouenneProblem::getIntegerCandidate(), CouenneVTObject::infeasibility(), CouenneVarObject::infeasibility(), CouenneObject::infeasibility(), CouenneProblem::initAuxs(), CouenneVarObject::isCuttable(), CouenneObject::isCuttable(), exprConst::isInteger(), CouenneProblem::obbt_iter(), Bonmin::OaFeasibilityChecker::performOa(), Bonmin::OACutGenerator2::performOa(), CouenneProblem::print(), CouenneProblem::redCostBT(), CouenneProblem::setCutOff(), CouenneObject::setEstimates(), CouenneProblem::splitAux(), CouenneProblem::standardize(), CouenneConstraint::standardize(), CouenneProblem::tightenBounds(), CouenneProblem::writeAMPL(), and CouenneProblem::writeGAMS().
expression* getOriginal | ( | expression * | e | ) | [inline] |
get original expression (can't make it an expression method as I need a non-const, what "this" would return)
Definition at line 308 of file expression.hpp.
References e.