Power of an expression (binary operator), $ f(x)^k$ with $ k$ constant. More...

#include <CouenneExprPow.hpp>

Inheritance diagram for Couenne::exprPow:

Collaboration diagram for Couenne::exprPow:

Public Member Functions
	exprPow (expression **al, int n=2, bool signpower=false)
	Constructor. More...

	exprPow (expression arg0, expression arg1, bool signpower=false)
	Constructor with only two arguments. More...

expression *	clone (Domain *d=NULL) const
	cloning method More...

virtual enum pos	printPos () const
	print operator positioning More...

virtual std::string	printOp () const
	print operator More...

virtual CouNumber	operator() ()
	function for the evaluation of the expression More...

virtual CouNumber	gradientNorm (const double *x)
	return l-2 norm of gradient at given point More...

virtual expression *	differentiate (int index)
	differentiation More...

virtual expression *	simplify ()
	simplification More...

virtual int	Linearity ()
	get a measure of "how linear" the expression is More...

virtual bool	isInteger ()
	is this expression integer? More...

virtual void	getBounds (expression &, expression &)
	Get lower and upper bound of an expression (if any) More...

virtual void	getBounds (CouNumber &lb, CouNumber &ub)
	Get value of lower and upper bound of an expression (if any) More...

virtual exprAux *	standardize (CouenneProblem *p, bool addAux=true)
	reduce expression in standard form, creating additional aux variables (and constraints) More...

virtual void	generateCuts (expression w, OsiCuts &cs, const CouenneCutGenerator cg, t_chg_bounds *=NULL, int=-1, CouNumber=-COUENNE_INFINITY, CouNumber=COUENNE_INFINITY)
	generate equality between this and w More...

virtual expression *	getFixVar ()
	return an index to the variable's argument that is better fixed in a branching rule for solving a nonconvexity gap More...

virtual enum expr_type	code ()
	code for comparison More...

virtual bool	impliedBound (int, CouNumber , CouNumber , t_chg_bounds *, enum auxSign=expression::AUX_EQ)
	implied bound processing More...

virtual 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...

virtual void	closestFeasible (expression varind, expression vardep, CouNumber &left, CouNumber &right) const
	compute $y^{lv}$ and $y^{uv}$ for Violation Transfer algorithm More...

virtual bool	isCuttable (CouenneProblem *problem, int index) const
	can this expression be further linearized or are we on its concave ("bad") side More...

virtual bool	isSignpower () const
	return whether this expression corresponds to a signed integer power More...

Public Member Functions inherited from Couenne::exprOp
virtual enum nodeType	Type () const
	Node type. More...

	exprOp (expression **arglist, int nargs)
	Constructor. More...

	exprOp (expression arg0, expression arg1)
	Constructor with two arguments (for convenience) More...

virtual	~exprOp ()
	Destructor. More...

	exprOp (const exprOp &e, Domain *d=NULL)
	Copy constructor: only allocate space for argument list, which will be copied with clonearglist() More...

expression **	ArgList () const
	return argument list More...

virtual void	ArgList (expression **al)
	set arglist (used in deleting nodes without deleting children) More...

int	nArgs () const
	return number of arguments More...

virtual void	print (std::ostream &out=std::cout, bool=false) const
	I/O. More...

virtual 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...

expression **	clonearglist (Domain *d=NULL) const
	clone argument list (for use with clone method) More...

int	shrink_arglist (CouNumber, CouNumber)
	compress argument list More...

virtual int	compare (exprOp &)
	compare with other generic exprOp More...

virtual int	rank ()
	used in rank-based branching variable choice More...

virtual void	fillDepSet (std::set< DepNode , compNode > dep, DepGraph *g)
	fill in dependence structure update dependence set with index of this variable More...

virtual void	replace (exprVar , exprVar )
	replace variable with other More...

virtual void	realign (const CouenneProblem *p)
	empty function to redirect variables to proper variable vector 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 int	Index () const
	Return index of variable (only valid for exprVar and exprAux) More...

virtual expression *	Argument () const
	return argument (when applicable, i.e., with univariate functions) More...

virtual expression **	ArgPtr ()
	return pointer to argument (when applicable, i.e., with univariate functions) More...

virtual expression *	Image () const
	return pointer to corresponding expression (for auxiliary variables only) More...

virtual void	Image (expression *image)
	set expression associated with this auxiliary variable (for compatibility with exprAux) More...

virtual CouNumber	Value () const
	value (empty) More...

virtual const expression *	Original () const
	If this is an exprClone of a exprClone of an expr???, point to the original expr??? instead of an exprClone – improve computing efficiency. 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 bool	isDefinedInteger ()
	is this expression defined as an integer? More...

virtual enum convexity	convexity () const
	either CONVEX, CONCAVE, AFFINE, or NONCONVEX More...

virtual int	compare (expression &)
	compare expressions More...

virtual int	compare (exprCopy &)
	compare copies of expressions More...

virtual int	Multiplicity ()
	multiplicity of a variable More...

virtual void	linkDomain (Domain *d)
	empty function to update domain pointer More...

virtual bool	isBijective () const
	indicating if function is monotonically increasing More...

virtual CouNumber	inverse (expression *vardep) const
	compute the inverse function More...

virtual bool	isaCopy () const
	return true if this is a copy of something (i.e. an exprCopy) More...

virtual expression *	Copy () const
	return copy of this expression (only makes sense in exprCopy) More...

Private Attributes
bool	issignpower_
	do we mean a signed power function: sign(arg0) * \|arg0\|^arg1 (assumes that arg1 is constant) 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::exprOp
expression **	arglist_
	argument list is an array of pointers to other expressions More...

int	nargs_
	number of arguments (cardinality of arglist) More...

Detailed Description

Power of an expression (binary operator), $ f(x)^k$ with $ k$ constant.

Definition at line 30 of file CouenneExprPow.hpp.

Constructor & Destructor Documentation

Couenne::exprPow::exprPow	(	expression **	al,
		int	n = `2`,
		bool	signpower = `false`
	)

inline

Constructor.

Definition at line 40 of file CouenneExprPow.hpp.

Couenne::exprPow::exprPow	(	expression *	arg0,
		expression *	arg1,
		bool	signpower = `false`
	)

inline

Constructor with only two arguments.

Definition at line 44 of file CouenneExprPow.hpp.

Member Function Documentation

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

inlinevirtual

cloning method

Reimplemented from Couenne::expression.

Definition at line 48 of file CouenneExprPow.hpp.

virtual enum pos Couenne::exprPow::printPos ( ) const

inlinevirtual

print operator positioning

Reimplemented from Couenne::exprOp.

Definition at line 52 of file CouenneExprPow.hpp.

virtual std::string Couenne::exprPow::printOp ( ) const

inlinevirtual

print operator

Reimplemented from Couenne::exprOp.

Reimplemented in Couenne::exprOddPow.

Definition at line 56 of file CouenneExprPow.hpp.

CouNumber Couenne::exprPow::operator() ( )

inlinevirtual

function for the evaluation of the expression

compute power

Implements Couenne::expression.

Reimplemented in Couenne::exprEvenPow, and Couenne::exprOddPow.

Definition at line 173 of file CouenneExprPow.hpp.

CouNumber exprPow::gradientNorm ( const double * x )

virtual

return l-2 norm of gradient at given point

Reimplemented from Couenne::expression.

Definition at line 365 of file exprPow.cpp.

expression * exprPow::differentiate ( int index )

virtual

differentiation

differentiate power of expressions

Reimplemented from Couenne::expression.

Definition at line 120 of file exprPow.cpp.

expression * exprPow::simplify ( )

virtual

simplification

simplify power f(x) ^ g(x)

Reimplemented from Couenne::exprOp.

Definition at line 31 of file exprPow.cpp.

int exprPow::Linearity ( )

virtual

get a measure of "how linear" the expression is

get a measure of "how linear" the expression is:

ZERO = 0: a zero CONSTANT = 1: a constant LINEAR = 2: linear QUADRATIC = 3: quadratic NONLINER = 4: nonlinear non-quadratic

Reimplemented from Couenne::exprOp.

Definition at line 189 of file exprPow.cpp.

bool exprPow::isInteger ( )

virtual

is this expression integer?

Reimplemented from Couenne::exprOp.

Definition at line 235 of file exprPow.cpp.

void exprPow::getBounds	(	expression *&	lb,
		expression *&	ub
	)

virtual

Get lower and upper bound of an expression (if any)

Reimplemented from Couenne::expression.

Reimplemented in Couenne::exprEvenPow, and Couenne::exprOddPow.

Definition at line 31 of file conv-exprPow-getBounds.cpp.

void exprPow::getBounds	(	CouNumber &	lb,
		CouNumber &	ub
	)

virtual

Get value of lower and upper bound of an expression (if any)

Reimplemented from Couenne::expression.

Reimplemented in Couenne::exprEvenPow, and Couenne::exprOddPow.

Definition at line 186 of file conv-exprPow-getBounds.cpp.

exprAux * exprPow::standardize	(	CouenneProblem *	p,
		bool	addAux = `true`
	)

virtual

reduce expression in standard form, creating additional aux variables (and constraints)

Reimplemented from Couenne::exprOp.

Reimplemented in Couenne::exprEvenPow, and Couenne::exprOddPow.

Definition at line 38 of file conv-exprPow.cpp.

void exprPow::generateCuts	(	expression *	w,
		OsiCuts &	cs,
		const CouenneCutGenerator *	cg,
		t_chg_bounds *	chg = `NULL`,
		int	wind = `-1`,
		CouNumber	lbw = `-COUENNE_INFINITY`,
		CouNumber	ubw = `COUENNE_INFINITY`
	)

virtual

generate equality between *this and *w

Reimplemented from Couenne::expression.

Reimplemented in Couenne::exprEvenPow, and Couenne::exprOddPow.

Definition at line 105 of file conv-exprPow.cpp.

virtual expression* Couenne::exprPow::getFixVar ( )

inlinevirtual

return an index to the variable's argument that is better fixed in a branching rule for solving a nonconvexity gap

Reimplemented in Couenne::exprEvenPow, and Couenne::exprOddPow.

Definition at line 96 of file CouenneExprPow.hpp.

virtual enum expr_type Couenne::exprPow::code ( )

inlinevirtual

code for comparison

Reimplemented from Couenne::exprOp.

Reimplemented in Couenne::exprEvenPow, and Couenne::exprOddPow.

Definition at line 100 of file CouenneExprPow.hpp.

bool exprPow::impliedBound	(	int	,
		CouNumber *	,
		CouNumber *	,
		t_chg_bounds *	,
		enum auxSign	= `expression::AUX_EQ`
	)

virtual

implied bound processing

implied bound processing for expression w = x^k, upon change in lower- and/or upper bound of w, whose index is wind

Reimplemented from Couenne::expression.

Reimplemented in Couenne::exprEvenPow, and Couenne::exprOddPow.

Definition at line 28 of file impliedBounds-exprPow.cpp.

CouNumber exprPow::selectBranch	(	const CouenneObject *	obj,
		const OsiBranchingInformation *	info,
		expression *&	var,
		double *&	brpts,
		double *&	brDist,
		int &	way
	)

virtual

set up branching object by evaluating many branching points for each expression's arguments

Reimplemented from Couenne::expression.

Reimplemented in Couenne::exprEvenPow, and Couenne::exprOddPow.

Definition at line 35 of file branchExprPow.cpp.

void exprPow::closestFeasible	(	expression *	varind,
		expression *	vardep,
		CouNumber &	left,
		CouNumber &	right
	)		const

virtual

compute $y^{lv}$ and $y^{uv}$ for Violation Transfer algorithm

Reimplemented from Couenne::expression.

Definition at line 290 of file exprPow.cpp.

bool exprPow::isCuttable	(	CouenneProblem *	problem,
		int	index
	)		const

virtual

can this expression be further linearized or are we on its concave ("bad") side

Reimplemented from Couenne::expression.

Reimplemented in Couenne::exprEvenPow, and Couenne::exprOddPow.

Definition at line 375 of file exprPow.cpp.

virtual bool Couenne::exprPow::isSignpower ( ) const

inlinevirtual

return whether this expression corresponds to a signed integer power

Definition at line 127 of file CouenneExprPow.hpp.

Member Data Documentation

bool Couenne::exprPow::issignpower_

private

do we mean a signed power function: sign(arg0) * |arg0|^arg1 (assumes that arg1 is constant)

Definition at line 35 of file CouenneExprPow.hpp.

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

/tmp/OS-2.10.2/Couenne/src/expression/operators/CouenneExprPow.hpp
/tmp/OS-2.10.2/Couenne/src/bound_tightening/operators/impliedBounds-exprPow.cpp
/tmp/OS-2.10.2/Couenne/src/branch/operators/branchExprPow.cpp
/tmp/OS-2.10.2/Couenne/src/convex/operators/conv-exprPow-getBounds.cpp
/tmp/OS-2.10.2/Couenne/src/convex/operators/conv-exprPow.cpp
/tmp/OS-2.10.2/Couenne/src/expression/operators/exprPow.cpp

Public Member Functions

Private Attributes

Additional Inherited Members

Detailed Description

Constructor & Destructor Documentation

Member Function Documentation

Member Data Documentation