Couenne  0.2
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
Public Member Functions | List of all members
Couenne::exprClone Class Reference

expression clone (points to another expression) More...

#include <CouenneExprClone.hpp>

Inheritance diagram for Couenne::exprClone:
Couenne::exprCopy Couenne::expression

Public Member Functions

 exprClone (expression *copy)
 Constructor. More...
 
 exprClone (const exprClone &e, Domain *d=NULL)
 copy constructor More...
 
expressionclone (Domain *d=NULL) const
 cloning method More...
 
virtual ~exprClone ()
 Destructor. More...
 
virtual void print (std::ostream &out=std::cout, bool descend=false) const
 Printing. More...
 
CouNumber Value () const
 value More...
 
CouNumber operator() ()
 null function for evaluating the expression More...
 
- Public Member Functions inherited from Couenne::exprCopy
enum nodeType Type () const
 node type More...
 
 exprCopy (expression *copy)
 Empty constructor - used in cloning method of exprClone. More...
 
 exprCopy (const exprCopy &e, Domain *d=NULL)
 Copy constructor. More...
 
virtual ~exprCopy ()
 Destructor – CAUTION: this is the only destructive destructor, exprClone and exprStore do not destroy anything. More...
 
const expressionOriginal () const
 If this is an exprClone of a exprClone of an expr???, point to the original expr??? instead of an exprClone – improves computing efficiency. More...
 
bool isaCopy () const
 return true if this is a copy of something, i.e. More...
 
expressionCopy () const
 return copy of this expression (only makes sense in exprCopy) More...
 
expressionImage () const
 return pointer to corresponding expression (for auxiliary variables only) More...
 
int Index () const
 Get variable index in problem. More...
 
int nArgs () const
 Return number of arguments (when applicable, that is, with N-ary functions) More...
 
expression ** ArgList () const
 return arglist (when applicable, that is, with N-ary functions) More...
 
void ArgList (expression **al)
 set arglist (used in deleting nodes without deleting children) More...
 
expressionArgument () const
 return argument (when applicable, i.e., with univariate functions) More...
 
expression ** ArgPtr ()
 return pointer to argument (when applicable, i.e., with univariate functions) More...
 
CouNumber gradientNorm (const double *x)
 return l-2 norm of gradient at given point More...
 
expressiondifferentiate (int index)
 differentiation More...
 
int DepList (std::set< int > &deplist, enum dig_type type=ORIG_ONLY)
 fill in the set with all indices of variables appearing in the expression More...
 
expressionsimplify ()
 simplify expression (useful for derivatives) More...
 
int Linearity ()
 get a measure of "how linear" the expression is (see CouenneTypes.h) More...
 
bool isInteger ()
 is this expression integer? More...
 
virtual bool isDefinedInteger ()
 is this expression DEFINED as integer? More...
 
void getBounds (expression *&lower, expression *&upper)
 Get lower and upper bound of an expression (if any) More...
 
void getBounds (CouNumber &lower, CouNumber &upper)
 Get value of lower and upper bound of an expression (if any) More...
 
exprAuxstandardize (CouenneProblem *p, bool addAux=true)
 Create standard formulation of this expression. More...
 
void generateCuts (expression *w, OsiCuts &cs, const CouenneCutGenerator *cg, t_chg_bounds *chg=NULL, int wind=-1, CouNumber lb=-COUENNE_INFINITY, CouNumber ub=COUENNE_INFINITY)
 generate convexification cut for constraint w = this More...
 
enum expr_type code ()
 code for comparisons More...
 
enum convexity convexity () const
 either CONVEX, CONCAVE, AFFINE, or NONCONVEX More...
 
int compare (expression &e)
 compare this with other expression More...
 
int rank ()
 used in rank-based branching variable choice More...
 
bool impliedBound (int wind, CouNumber *l, CouNumber *u, t_chg_bounds *chg)
 implied bound processing More...
 
int Multiplicity ()
 multiplicity of a variable: how many times this variable occurs in expressions throughout the problem More...
 
CouNumber selectBranch (const CouenneObject *obj, const OsiBranchingInformation *info, expression *&var, double *&brpts, double *&brDist, int &way)
 Set up branching object by evaluating many branching points for each expression's arguments. More...
 
void replace (exprVar *, exprVar *)
 replace occurrence of a variable with another variable More...
 
void fillDepSet (std::set< DepNode *, compNode > *dep, DepGraph *g)
 fill in dependence structure More...
 
void realign (const CouenneProblem *p)
 redirect variables to proper variable vector More...
 
bool isBijective () const
 indicating if function is monotonically increasing More...
 
CouNumber inverse (expression *vardep) const
 compute the inverse function More...
 
void closestFeasible (expression *varind, expression *vardep, CouNumber &left, CouNumber &right) const
 closest feasible points in function in both directions More...
 
bool isCuttable (CouenneProblem *problem, int index) const
 can this expression be further linearized or are we on its concave ("bad") side More...
 
- Public Member Functions inherited from Couenne::expression
 expression ()
 Constructor. More...
 
 expression (const expression &e, Domain *d=NULL)
 Copy constructor. More...
 
virtual ~expression ()
 Destructor. More...
 
virtual void Image (expression *image)
 set expression associated with this auxiliary variable (for compatibility with exprAux) More...
 
virtual int dependsOn (int *ind, int n, enum dig_type type=STOP_AT_AUX)
 dependence on variable set: return cardinality of subset of the set of indices in first argument which occur in expression. More...
 
int dependsOn (int singleton, enum dig_type type=STOP_AT_AUX)
 version with one index only More...
 
virtual int compare (exprCopy &)
 compare copies of expressions More...
 
virtual bool impliedBound (int, CouNumber *, CouNumber *, t_chg_bounds *, enum auxSign=expression::AUX_EQ)
 does a backward implied bound processing on every expression, including exprSums although already done by Clp (useful when repeated within Couenne). More...
 
virtual void linkDomain (Domain *d)
 empty function to update domain pointer More...
 

Additional Inherited Members

- Public Types inherited from Couenne::expression
enum  auxSign { AUX_UNDEF =-2, AUX_LEQ =-1, AUX_EQ, AUX_GEQ }
 "sign" of the constraint defining an auxiliary. More...
 
- Protected Attributes inherited from Couenne::exprCopy
expressioncopy_
 the expression this object is a (reference) copy of More...
 
CouNumber value_
 saved value to be used by exprStore expressions More...
 

Detailed Description

expression clone (points to another expression)

Definition at line 24 of file CouenneExprClone.hpp.

Constructor & Destructor Documentation

Couenne::exprClone::exprClone ( expression copy)
inline

Constructor.

Definition at line 29 of file CouenneExprClone.hpp.

Referenced by clone().

Couenne::exprClone::exprClone ( const exprClone e,
Domain d = NULL 
)
inline

copy constructor

Definition at line 33 of file CouenneExprClone.hpp.

virtual Couenne::exprClone::~exprClone ( )
inlinevirtual

Destructor.

Definition at line 47 of file CouenneExprClone.hpp.

References Couenne::exprCopy::copy_.

Member Function Documentation

expression* Couenne::exprClone::clone ( Domain d = NULL) const
inlinevirtual

cloning method

Reimplemented from Couenne::exprCopy.

Definition at line 38 of file CouenneExprClone.hpp.

References exprClone().

virtual void Couenne::exprClone::print ( std::ostream &  out = std::cout,
bool  descend = false 
) const
virtual

Printing.

Reimplemented from Couenne::exprCopy.

CouNumber Couenne::exprClone::Value ( ) const
inlinevirtual

value

Reimplemented from Couenne::exprCopy.

Definition at line 58 of file CouenneExprClone.hpp.

References Couenne::exprCopy::copy_.

CouNumber Couenne::exprClone::operator() ( )
inlinevirtual

null function for evaluating the expression

Reimplemented from Couenne::exprCopy.

Definition at line 62 of file CouenneExprClone.hpp.

References Couenne::exprCopy::copy_.


The documentation for this class was generated from the following file: