constant-type operator More...

#include <CouenneExprConst.hpp>

Inheritance diagram for Couenne::exprConst:

Public Member Functions
enum nodeType	Type () const
	node type More...

CouNumber	Value () const
	value of expression More...

	exprConst (CouNumber value)
	Constructor. More...

	exprConst (const exprConst &e, Domain *d=NULL)
	Copy constructor. More...

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

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

CouNumber	operator() ()
	return constant's value More...

expression *	differentiate (int)
	differentiation More...

int	dependsOn (int *ind, int n, enum dig_type type=STOP_AT_AUX)
	dependence on variable set More...

int	Linearity ()
	get a measure of "how linear" the expression is (see CouenneTypes.h) 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...

void	generateCuts (expression , OsiCuts &, const CouenneCutGenerator , t_chg_bounds *=NULL, int=-1, CouNumber=-COUENNE_INFINITY, CouNumber=COUENNE_INFINITY)
	generate convexification cut for constraint w = this More...

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

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

virtual int	rank ()
	used in rank-based branching variable choice 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 int	nArgs () const
	return number of arguments (when applicable, that is, with N-ary functions) More...

virtual expression **	ArgList () const
	return arglist (when applicable, that is, with N-ary functions) More...

virtual void	ArgList (expression **al)
	set arglist (used in deleting nodes without deleting children) 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 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 CouNumber	gradientNorm (const double *x)
	return l-2 norm of gradient at given point More...

int	dependsOn (int singleton, enum dig_type type=STOP_AT_AUX)
	version with one index only More...

virtual int	DepList (std::set< int > &deplist, enum dig_type type=ORIG_ONLY)
	fill std::set with indices of variables on which this expression depends. More...

virtual expression *	simplify ()
	simplify expression (useful for derivatives) More...

virtual bool	isDefinedInteger ()
	is this expression defined as an integer? More...

virtual exprAux *	standardize (CouenneProblem *p, bool addAux=true)
	Create standard form of this expression, by: 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 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 int	Multiplicity ()
	multiplicity of a variable 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	replace (exprVar , exprVar )
	replace expression with another More...

virtual void	fillDepSet (std::set< DepNode , compNode > , DepGraph *)
	update dependence set with index of variables on which this expression depends More...

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

virtual void	realign (const CouenneProblem *p)
	empty function to redirect variables to proper variable vector More...

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

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

virtual void	closestFeasible (expression varind, expression vardep, CouNumber &left, CouNumber &right) const
	closest feasible points in function in both directions 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	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
CouNumber	value_
	the value of this 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...

Detailed Description

constant-type operator

Definition at line 23 of file CouenneExprConst.hpp.

Constructor & Destructor Documentation

Couenne::exprConst::exprConst ( CouNumber value )

inline

Constructor.

Definition at line 41 of file CouenneExprConst.hpp.

Referenced by clone(), differentiate(), and getBounds().

Couenne::exprConst::exprConst	(	const exprConst &	e,
		Domain *	d = `NULL`
	)

inline

Copy constructor.

Definition at line 45 of file CouenneExprConst.hpp.

References value_.

Member Function Documentation

enum nodeType Couenne::exprConst::Type ( ) const

inlinevirtual

node type

Reimplemented from Couenne::expression.

Definition at line 33 of file CouenneExprConst.hpp.

References Couenne::CONST.

CouNumber Couenne::exprConst::Value ( ) const

inlinevirtual

value of expression

Reimplemented from Couenne::expression.

Definition at line 37 of file CouenneExprConst.hpp.

References value_.

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

inlinevirtual

Cloning method.

Reimplemented from Couenne::expression.

Definition at line 49 of file CouenneExprConst.hpp.

References exprConst(), and value_.

void Couenne::exprConst::print	(	std::ostream &	out = `std::cout`,
		bool	= `false`
	)		const

inlinevirtual

I/O.

Reimplemented from Couenne::expression.

Definition at line 53 of file CouenneExprConst.hpp.

References value_.

CouNumber Couenne::exprConst::operator() ( )

inlinevirtual

return constant's value

Implements Couenne::expression.

Definition at line 58 of file CouenneExprConst.hpp.

References value_.

expression* Couenne::exprConst::differentiate ( int )

inlinevirtual

differentiation

Reimplemented from Couenne::expression.

Definition at line 62 of file CouenneExprConst.hpp.

References exprConst().

int Couenne::exprConst::dependsOn	(	int *	ind,
		int	n,
		enum dig_type	type = `STOP_AT_AUX`
	)

inlinevirtual

dependence on variable set

Reimplemented from Couenne::expression.

Definition at line 66 of file CouenneExprConst.hpp.

int Couenne::exprConst::Linearity ( )

inlinevirtual

get a measure of "how linear" the expression is (see CouenneTypes.h)

Reimplemented from Couenne::expression.

Definition at line 70 of file CouenneExprConst.hpp.

References Couenne::CONSTANT, COUENNE_EPS, value_, and Couenne::ZERO.

void Couenne::exprConst::getBounds	(	expression *&	lower,
		expression *&	upper
	)

inlinevirtual

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

Reimplemented from Couenne::expression.

Definition at line 74 of file CouenneExprConst.hpp.

References exprConst(), and value_.

void Couenne::exprConst::getBounds	(	CouNumber &	lower,
		CouNumber &	upper
	)

inlinevirtual

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

Reimplemented from Couenne::expression.

Definition at line 80 of file CouenneExprConst.hpp.

References value_.

void Couenne::exprConst::generateCuts	(	expression *	,
		OsiCuts &	,
		const CouenneCutGenerator *	,
		t_chg_bounds *	= `NULL`,
		int	= `-1`,
		CouNumber	= `-COUENNE_INFINITY`,
		CouNumber	= `COUENNE_INFINITY`
	)

virtual

generate convexification cut for constraint w = this

Reimplemented from Couenne::expression.

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

inlinevirtual

code for comparisons

Reimplemented from Couenne::expression.

Definition at line 91 of file CouenneExprConst.hpp.

References Couenne::COU_EXPRCONST.

virtual bool Couenne::exprConst::isInteger ( )

inlinevirtual

is this expression integer?

Reimplemented from Couenne::expression.

Definition at line 95 of file CouenneExprConst.hpp.

References Couenne::isInteger(), and value_.

virtual int Couenne::exprConst::rank ( )

inlinevirtual

used in rank-based branching variable choice

Reimplemented from Couenne::expression.

Definition at line 99 of file CouenneExprConst.hpp.

Member Data Documentation

CouNumber Couenne::exprConst::value_

private

the value of this constant

Definition at line 28 of file CouenneExprConst.hpp.

Referenced by clone(), exprConst(), getBounds(), isInteger(), Linearity(), operator()(), print(), and Value().

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

CouenneExprConst.hpp

Public Member Functions

Private Attributes

Additional Inherited Members

Detailed Description

Constructor & Destructor Documentation

Member Function Documentation

Member Data Documentation