Expression Handler

Detailed Description

methods for expression handlers

Functions
void	SCIPexprhdlrSetCopyFreeHdlr (SCIP_EXPRHDLR *exprhdlr, SCIP_DECL_EXPRCOPYHDLR((*copyhdlr)), SCIP_DECL_EXPRFREEHDLR((*freehdlr)))
void	SCIPexprhdlrSetCopyFreeData (SCIP_EXPRHDLR *exprhdlr, SCIP_DECL_EXPRCOPYDATA((*copydata)), SCIP_DECL_EXPRFREEDATA((*freedata)))
void	SCIPexprhdlrSetPrint (SCIP_EXPRHDLR *exprhdlr, SCIP_DECL_EXPRPRINT((*print)))
void	SCIPexprhdlrSetParse (SCIP_EXPRHDLR *exprhdlr, SCIP_DECL_EXPRPARSE((*parse)))
void	SCIPexprhdlrSetCurvature (SCIP_EXPRHDLR *exprhdlr, SCIP_DECL_EXPRCURVATURE((*curvature)))
void	SCIPexprhdlrSetMonotonicity (SCIP_EXPRHDLR *exprhdlr, SCIP_DECL_EXPRMONOTONICITY((*monotonicity)))
void	SCIPexprhdlrSetIntegrality (SCIP_EXPRHDLR *exprhdlr, SCIP_DECL_EXPRINTEGRALITY((*integrality)))
void	SCIPexprhdlrSetHash (SCIP_EXPRHDLR *exprhdlr, SCIP_DECL_EXPRHASH((*hash)))
void	SCIPexprhdlrSetCompare (SCIP_EXPRHDLR *exprhdlr, SCIP_DECL_EXPRCOMPARE((*compare)))
void	SCIPexprhdlrSetDiff (SCIP_EXPRHDLR *exprhdlr, SCIP_DECL_EXPRBWDIFF((*bwdiff)), SCIP_DECL_EXPRFWDIFF((*fwdiff)), SCIP_DECL_EXPRBWFWDIFF((*bwfwdiff)))
void	SCIPexprhdlrSetIntEval (SCIP_EXPRHDLR *exprhdlr, SCIP_DECL_EXPRINTEVAL((*inteval)))
void	SCIPexprhdlrSetSimplify (SCIP_EXPRHDLR *exprhdlr, SCIP_DECL_EXPRSIMPLIFY((*simplify)))
void	SCIPexprhdlrSetReverseProp (SCIP_EXPRHDLR *exprhdlr, SCIP_DECL_EXPRREVERSEPROP((*reverseprop)))
void	SCIPexprhdlrSetGetSymdata (SCIP_EXPRHDLR *exprhdlr, SCIP_DECL_EXPRGETSYMDATA((*getsymdata)))
void	SCIPexprhdlrSetEstimate (SCIP_EXPRHDLR *exprhdlr, SCIP_DECL_EXPRINITESTIMATES((*initestimates)), SCIP_DECL_EXPRESTIMATE((*estimate)))
const char *	SCIPexprhdlrGetName (SCIP_EXPRHDLR *exprhdlr)
const char *	SCIPexprhdlrGetDescription (SCIP_EXPRHDLR *exprhdlr)
unsigned int	SCIPexprhdlrGetPrecedence (SCIP_EXPRHDLR *exprhdlr)
SCIP_EXPRHDLRDATA *	SCIPexprhdlrGetData (SCIP_EXPRHDLR *exprhdlr)
SCIP_Bool	SCIPexprhdlrHasPrint (SCIP_EXPRHDLR *exprhdlr)
SCIP_Bool	SCIPexprhdlrHasBwdiff (SCIP_EXPRHDLR *exprhdlr)
SCIP_Bool	SCIPexprhdlrHasFwdiff (SCIP_EXPRHDLR *exprhdlr)
SCIP_Bool	SCIPexprhdlrHasIntEval (SCIP_EXPRHDLR *exprhdlr)
SCIP_Bool	SCIPexprhdlrHasEstimate (SCIP_EXPRHDLR *exprhdlr)
SCIP_Bool	SCIPexprhdlrHasInitEstimates (SCIP_EXPRHDLR *exprhdlr)
SCIP_Bool	SCIPexprhdlrHasSimplify (SCIP_EXPRHDLR *exprhdlr)
SCIP_Bool	SCIPexprhdlrHasCurvature (SCIP_EXPRHDLR *exprhdlr)
SCIP_Bool	SCIPexprhdlrHasMonotonicity (SCIP_EXPRHDLR *exprhdlr)
SCIP_Bool	SCIPexprhdlrHasReverseProp (SCIP_EXPRHDLR *exprhdlr)
SCIP_Bool	SCIPexprhdlrHasGetSymData (SCIP_EXPRHDLR *exprhdlr)
	SCIP_DECL_SORTPTRCOMP (SCIPexprhdlrComp)
SCIP_RETCODE	SCIPincludeExprhdlr (SCIP *scip, SCIP_EXPRHDLR **exprhdlr, const char *name, const char *desc, unsigned int precedence, SCIP_DECL_EXPREVAL((*eval)), SCIP_EXPRHDLRDATA *data)
SCIP_EXPRHDLR **	SCIPgetExprhdlrs (SCIP *scip)
int	SCIPgetNExprhdlrs (SCIP *scip)
SCIP_EXPRHDLR *	SCIPfindExprhdlr (SCIP *scip, const char *name)
SCIP_EXPRHDLR *	SCIPgetExprhdlrVar (SCIP *scip)
SCIP_EXPRHDLR *	SCIPgetExprhdlrValue (SCIP *scip)
SCIP_EXPRHDLR *	SCIPgetExprhdlrSum (SCIP *scip)
SCIP_EXPRHDLR *	SCIPgetExprhdlrProduct (SCIP *scip)
SCIP_EXPRHDLR *	SCIPgetExprhdlrPower (SCIP *scip)

Expression Handler Statistics
unsigned int	SCIPexprhdlrGetNCreated (SCIP_EXPRHDLR *exprhdlr)
SCIP_Longint	SCIPexprhdlrGetNIntevalCalls (SCIP_EXPRHDLR *exprhdlr)
SCIP_Real	SCIPexprhdlrGetIntevalTime (SCIP_EXPRHDLR *exprhdlr)
SCIP_Longint	SCIPexprhdlrGetNReversepropCalls (SCIP_EXPRHDLR *exprhdlr)
SCIP_Real	SCIPexprhdlrGetReversepropTime (SCIP_EXPRHDLR *exprhdlr)
SCIP_Longint	SCIPexprhdlrGetNCutoffs (SCIP_EXPRHDLR *exprhdlr)
SCIP_Longint	SCIPexprhdlrGetNDomainReductions (SCIP_EXPRHDLR *exprhdlr)
void	SCIPexprhdlrIncrementNDomainReductions (SCIP_EXPRHDLR *exprhdlr, int nreductions)
SCIP_Longint	SCIPexprhdlrGetNEstimateCalls (SCIP_EXPRHDLR *exprhdlr)
SCIP_Real	SCIPexprhdlrGetEstimateTime (SCIP_EXPRHDLR *exprhdlr)
SCIP_Longint	SCIPexprhdlrGetNBranchings (SCIP_EXPRHDLR *exprhdlr)
void	SCIPexprhdlrIncrementNBranchings (SCIP_EXPRHDLR *exprhdlr)
SCIP_Longint	SCIPexprhdlrGetNSimplifyCalls (SCIP_EXPRHDLR *exprhdlr)
SCIP_Real	SCIPexprhdlrGetSimplifyTime (SCIP_EXPRHDLR *exprhdlr)
SCIP_Longint	SCIPexprhdlrGetNSimplifications (SCIP_EXPRHDLR *exprhdlr)

Function Documentation

SCIPexprhdlrSetCopyFreeHdlr()

void SCIPexprhdlrSetCopyFreeHdlr	(	SCIP_EXPRHDLR *	exprhdlr,
		SCIP_DECL_EXPRCOPYHDLR((*copyhdlr))	,
		SCIP_DECL_EXPRFREEHDLR((*freehdlr))
	)

set the expression handler callbacks to copy and free an expression handler

Parameters

exprhdlr

expression handler

Definition at line 370 of file expr.c.

References NULL.

Referenced by SCIPincludeExprhdlrAbs(), SCIPincludeExprhdlrCos(), SCIPincludeExprhdlrEntropy(), SCIPincludeExprhdlrErf(), SCIPincludeExprhdlrExp(), SCIPincludeExprhdlrLog(), SCIPincludeExprhdlrPow(), SCIPincludeExprhdlrProduct(), SCIPincludeExprhdlrSignpower(), SCIPincludeExprhdlrSin(), SCIPincludeExprhdlrSum(), SCIPincludeExprhdlrValue(), SCIPincludeExprhdlrVar(), and SCIPincludeExprhdlrVaridx().

SCIPexprhdlrSetCopyFreeData()

void SCIPexprhdlrSetCopyFreeData	(	SCIP_EXPRHDLR *	exprhdlr,
		SCIP_DECL_EXPRCOPYDATA((*copydata))	,
		SCIP_DECL_EXPRFREEDATA((*freedata))
	)

set the expression handler callbacks to copy and free expression data

Parameters

exprhdlr

expression handler

Definition at line 383 of file expr.c.

References NULL.

Referenced by SCIPincludeExprhdlrEntropy(), SCIPincludeExprhdlrExp(), SCIPincludeExprhdlrLog(), SCIPincludeExprhdlrPow(), SCIPincludeExprhdlrProduct(), SCIPincludeExprhdlrSignpower(), SCIPincludeExprhdlrSum(), SCIPincludeExprhdlrValue(), SCIPincludeExprhdlrVar(), and SCIPincludeExprhdlrVaridx().

SCIPexprhdlrSetPrint()

void SCIPexprhdlrSetPrint	(	SCIP_EXPRHDLR *	exprhdlr,
		SCIP_DECL_EXPRPRINT((*print))
	)

set the print callback of an expression handler

Parameters

exprhdlr

expression handler

Definition at line 396 of file expr.c.

References NULL.

Referenced by SCIPincludeExprhdlrPow(), SCIPincludeExprhdlrProduct(), SCIPincludeExprhdlrSignpower(), SCIPincludeExprhdlrSum(), SCIPincludeExprhdlrValue(), SCIPincludeExprhdlrVar(), and SCIPincludeExprhdlrVaridx().

SCIPexprhdlrSetParse()

void SCIPexprhdlrSetParse	(	SCIP_EXPRHDLR *	exprhdlr,
		SCIP_DECL_EXPRPARSE((*parse))
	)

set the parse callback of an expression handler

Parameters

exprhdlr

expression handler

Definition at line 407 of file expr.c.

References NULL.

Referenced by SCIPincludeExprhdlrAbs(), SCIPincludeExprhdlrCos(), SCIPincludeExprhdlrEntropy(), SCIPincludeExprhdlrErf(), SCIPincludeExprhdlrExp(), SCIPincludeExprhdlrLog(), SCIPincludeExprhdlrSignpower(), and SCIPincludeExprhdlrSin().

SCIPexprhdlrSetCurvature()

void SCIPexprhdlrSetCurvature	(	SCIP_EXPRHDLR *	exprhdlr,
		SCIP_DECL_EXPRCURVATURE((*curvature))
	)

set the curvature detection callback of an expression handler

Parameters

exprhdlr

expression handler

Definition at line 418 of file expr.c.

References NULL.

Referenced by SCIPincludeExprhdlrAbs(), SCIPincludeExprhdlrCos(), SCIPincludeExprhdlrEntropy(), SCIPincludeExprhdlrErf(), SCIPincludeExprhdlrExp(), SCIPincludeExprhdlrLog(), SCIPincludeExprhdlrPow(), SCIPincludeExprhdlrProduct(), SCIPincludeExprhdlrSignpower(), SCIPincludeExprhdlrSin(), SCIPincludeExprhdlrSum(), SCIPincludeExprhdlrValue(), SCIPincludeExprhdlrVar(), and SCIPincludeExprhdlrVaridx().

SCIPexprhdlrSetMonotonicity()

void SCIPexprhdlrSetMonotonicity	(	SCIP_EXPRHDLR *	exprhdlr,
		SCIP_DECL_EXPRMONOTONICITY((*monotonicity))
	)

set the monotonicity detection callback of an expression handler

Parameters

exprhdlr

expression handler

Definition at line 429 of file expr.c.

References NULL.

Referenced by SCIPincludeExprhdlrAbs(), SCIPincludeExprhdlrCos(), SCIPincludeExprhdlrEntropy(), SCIPincludeExprhdlrErf(), SCIPincludeExprhdlrExp(), SCIPincludeExprhdlrLog(), SCIPincludeExprhdlrPow(), SCIPincludeExprhdlrProduct(), SCIPincludeExprhdlrSignpower(), SCIPincludeExprhdlrSin(), SCIPincludeExprhdlrSum(), SCIPincludeExprhdlrValue(), SCIPincludeExprhdlrVar(), and SCIPincludeExprhdlrVaridx().

SCIPexprhdlrSetIntegrality()

void SCIPexprhdlrSetIntegrality	(	SCIP_EXPRHDLR *	exprhdlr,
		SCIP_DECL_EXPRINTEGRALITY((*integrality))
	)

set the integrality detection callback of an expression handler

Parameters

exprhdlr

expression handler

Definition at line 440 of file expr.c.

References NULL.

Referenced by SCIPincludeExprhdlrAbs(), SCIPincludeExprhdlrEntropy(), SCIPincludeExprhdlrErf(), SCIPincludeExprhdlrPow(), SCIPincludeExprhdlrProduct(), SCIPincludeExprhdlrSignpower(), SCIPincludeExprhdlrSum(), SCIPincludeExprhdlrValue(), and SCIPincludeExprhdlrVar().

SCIPexprhdlrSetHash()

void SCIPexprhdlrSetHash	(	SCIP_EXPRHDLR *	exprhdlr,
		SCIP_DECL_EXPRHASH((*hash))
	)

set the hash callback of an expression handler

Parameters

exprhdlr

expression handler

Definition at line 451 of file expr.c.

References NULL.

Referenced by SCIPincludeExprhdlrAbs(), SCIPincludeExprhdlrCos(), SCIPincludeExprhdlrEntropy(), SCIPincludeExprhdlrErf(), SCIPincludeExprhdlrExp(), SCIPincludeExprhdlrLog(), SCIPincludeExprhdlrPow(), SCIPincludeExprhdlrProduct(), SCIPincludeExprhdlrSignpower(), SCIPincludeExprhdlrSin(), SCIPincludeExprhdlrSum(), SCIPincludeExprhdlrValue(), SCIPincludeExprhdlrVar(), and SCIPincludeExprhdlrVaridx().

SCIPexprhdlrSetCompare()

void SCIPexprhdlrSetCompare	(	SCIP_EXPRHDLR *	exprhdlr,
		SCIP_DECL_EXPRCOMPARE((*compare))
	)

set the compare callback of an expression handler

Parameters

exprhdlr

expression handler

Definition at line 462 of file expr.c.

References NULL.

Referenced by SCIPincludeExprhdlrPow(), SCIPincludeExprhdlrProduct(), SCIPincludeExprhdlrSignpower(), SCIPincludeExprhdlrSum(), SCIPincludeExprhdlrValue(), SCIPincludeExprhdlrVar(), and SCIPincludeExprhdlrVaridx().

SCIPexprhdlrSetDiff()

void SCIPexprhdlrSetDiff	(	SCIP_EXPRHDLR *	exprhdlr,
		SCIP_DECL_EXPRBWDIFF((*bwdiff))	,
		SCIP_DECL_EXPRFWDIFF((*fwdiff))	,
		SCIP_DECL_EXPRBWFWDIFF((*bwfwdiff))
	)

set differentiation callbacks of an expression handler

Parameters

exprhdlr

expression handler

Definition at line 473 of file expr.c.

References NULL.

Referenced by SCIPincludeExprhdlrAbs(), SCIPincludeExprhdlrCos(), SCIPincludeExprhdlrEntropy(), SCIPincludeExprhdlrErf(), SCIPincludeExprhdlrExp(), SCIPincludeExprhdlrLog(), SCIPincludeExprhdlrPow(), SCIPincludeExprhdlrProduct(), SCIPincludeExprhdlrSignpower(), SCIPincludeExprhdlrSin(), SCIPincludeExprhdlrSum(), SCIPincludeExprhdlrValue(), SCIPincludeExprhdlrVar(), and SCIPincludeExprhdlrVaridx().

SCIPexprhdlrSetIntEval()

void SCIPexprhdlrSetIntEval	(	SCIP_EXPRHDLR *	exprhdlr,
		SCIP_DECL_EXPRINTEVAL((*inteval))
	)

set the interval evaluation callback of an expression handler

Parameters

exprhdlr

expression handler

Definition at line 488 of file expr.c.

References NULL.

Referenced by SCIPincludeExprhdlrAbs(), SCIPincludeExprhdlrCos(), SCIPincludeExprhdlrEntropy(), SCIPincludeExprhdlrErf(), SCIPincludeExprhdlrExp(), SCIPincludeExprhdlrLog(), SCIPincludeExprhdlrPow(), SCIPincludeExprhdlrProduct(), SCIPincludeExprhdlrSignpower(), SCIPincludeExprhdlrSin(), SCIPincludeExprhdlrSum(), SCIPincludeExprhdlrValue(), and SCIPincludeExprhdlrVar().

SCIPexprhdlrSetSimplify()

void SCIPexprhdlrSetSimplify	(	SCIP_EXPRHDLR *	exprhdlr,
		SCIP_DECL_EXPRSIMPLIFY((*simplify))
	)

set the simplify callback of an expression handler

Parameters

exprhdlr

expression handler

Definition at line 499 of file expr.c.

References NULL.

Referenced by SCIPincludeExprhdlrAbs(), SCIPincludeExprhdlrCos(), SCIPincludeExprhdlrEntropy(), SCIPincludeExprhdlrErf(), SCIPincludeExprhdlrExp(), SCIPincludeExprhdlrLog(), SCIPincludeExprhdlrPow(), SCIPincludeExprhdlrProduct(), SCIPincludeExprhdlrSignpower(), SCIPincludeExprhdlrSin(), SCIPincludeExprhdlrSum(), and SCIPincludeExprhdlrVar().

SCIPexprhdlrSetReverseProp()

void SCIPexprhdlrSetReverseProp	(	SCIP_EXPRHDLR *	exprhdlr,
		SCIP_DECL_EXPRREVERSEPROP((*reverseprop))
	)

set the reverse propagation callback of an expression handler

Parameters

exprhdlr

expression handler

Definition at line 510 of file expr.c.

References NULL.

Referenced by SCIPincludeExprhdlrAbs(), SCIPincludeExprhdlrCos(), SCIPincludeExprhdlrEntropy(), SCIPincludeExprhdlrExp(), SCIPincludeExprhdlrLog(), SCIPincludeExprhdlrPow(), SCIPincludeExprhdlrProduct(), SCIPincludeExprhdlrSignpower(), SCIPincludeExprhdlrSin(), and SCIPincludeExprhdlrSum().

SCIPexprhdlrSetGetSymdata()

void SCIPexprhdlrSetGetSymdata	(	SCIP_EXPRHDLR *	exprhdlr,
		SCIP_DECL_EXPRGETSYMDATA((*getsymdata))
	)

set the symmetry information callback of an expression handler

Parameters

exprhdlr

expression handler

Definition at line 521 of file expr.c.

References NULL.

Referenced by SCIPincludeExprhdlrPow(), SCIPincludeExprhdlrProduct(), SCIPincludeExprhdlrSignpower(), and SCIPincludeExprhdlrSum().

SCIPexprhdlrSetEstimate()

void SCIPexprhdlrSetEstimate	(	SCIP_EXPRHDLR *	exprhdlr,
		SCIP_DECL_EXPRINITESTIMATES((*initestimates))	,
		SCIP_DECL_EXPRESTIMATE((*estimate))
	)

set the estimation callbacks of an expression handler

Parameters

exprhdlr

expression handler

Definition at line 532 of file expr.c.

References NULL.

Referenced by SCIPincludeExprhdlrAbs(), SCIPincludeExprhdlrCos(), SCIPincludeExprhdlrEntropy(), SCIPincludeExprhdlrExp(), SCIPincludeExprhdlrLog(), SCIPincludeExprhdlrPow(), SCIPincludeExprhdlrProduct(), SCIPincludeExprhdlrSignpower(), SCIPincludeExprhdlrSin(), and SCIPincludeExprhdlrSum().

SCIPexprhdlrGetName()

const char * SCIPexprhdlrGetName

(

SCIP_EXPRHDLR *

exprhdlr

)

gives the name of an expression handler

Parameters

exprhdlr

expression handler

Definition at line 545 of file expr.c.

References SCIP_Exprhdlr::name, and NULL.

Referenced by addSymmetryInformation(), computeEstimatorsTrig(), computeInitialCutsTrig(), conshdlrsCanProvideSymInformation(), createAuxVar(), DECL_CURVCHECK(), detectNlhdlr(), enforceExpr(), enforceSP11(), eval(), exprIsNonSmooth(), forwardPropExpr(), reversePropQueue(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_EXPRBWDIFF(), SCIP_DECL_EXPRBWFWDIFF(), SCIP_DECL_EXPRESTIMATE(), SCIP_DECL_EXPRFWDIFF(), SCIP_DECL_EXPRINITESTIMATES(), SCIP_DECL_NLHDLRESTIMATE(), SCIP_DECL_NLHDLRINITSEPA(), SCIP_DECL_NLHDLRSOLLINEARIZE(), SCIPexprCompare(), SCIPexprhdlrCopyInclude(), SCIPexprhdlrParseExpr(), SCIPexprhdlrPrintExpr(), SCIPexprintCompile(), SCIPgetIndexExprVaridx(), SCIPgetVarExprVar(), SCIPisExprAbs(), SCIPisExprCos(), SCIPisExprEntropy(), SCIPisExprErf(), SCIPisExprExp(), SCIPisExprLog(), SCIPisExprSignpower(), SCIPisExprSin(), SCIPisExprVaridx(), SCIPprintExpressionHandlerStatistics(), SCIPsetIndexExprVaridx(), SCIPtightenExprIntervalNonlinear(), tryAddGadgetBilinearProductSignedPerm(), tryAddGadgetEvenOperatorSum(), and tryAddGadgetEvenOperatorVariable().

SCIPexprhdlrGetDescription()

const char * SCIPexprhdlrGetDescription

(

SCIP_EXPRHDLR *

exprhdlr

)

gives the description of an expression handler (can be NULL)

Parameters

exprhdlr

expression handler

Definition at line 555 of file expr.c.

References SCIP_Exprhdlr::desc, and NULL.

Referenced by SCIP_DECL_DIALOGEXEC().

SCIPexprhdlrGetPrecedence()

unsigned int SCIPexprhdlrGetPrecedence

(

SCIP_EXPRHDLR *

exprhdlr

)

gives the precedence of an expression handler

Parameters

exprhdlr

expression handler

Definition at line 565 of file expr.c.

References NULL, and SCIP_Exprhdlr::precedence.

Referenced by printExpr(), SCIP_DECL_DIALOGEXEC(), and SCIPexprPrint().

SCIPexprhdlrGetData()

SCIP_EXPRHDLRDATA * SCIPexprhdlrGetData

(

SCIP_EXPRHDLR *

exprhdlr

)

gives the data of an expression handler

Parameters

exprhdlr

expression handler

Definition at line 575 of file expr.c.

References SCIP_Exprhdlr::data, and NULL.

Referenced by SCIP_DECL_EXPRESTIMATE(), SCIP_DECL_EXPRINITESTIMATES(), SCIP_DECL_EXPRINTEVAL(), SCIP_DECL_EXPRREVERSEPROP(), and SCIP_DECL_EXPRSIMPLIFY().

SCIPexprhdlrHasPrint()

SCIP_Bool SCIPexprhdlrHasPrint

(

SCIP_EXPRHDLR *

exprhdlr

)

returns whether expression handler implements the print callback

Parameters

exprhdlr

expression handler

Definition at line 585 of file expr.c.

References NULL.

Referenced by SCIPexprhdlrPrintExpr().

SCIPexprhdlrHasBwdiff()

SCIP_Bool SCIPexprhdlrHasBwdiff

(

SCIP_EXPRHDLR *

exprhdlr

)

returns whether expression handler implements the backward differentiation callback

Parameters

exprhdlr

expression handler

Definition at line 595 of file expr.c.

References NULL.

Referenced by constructExpr().

SCIPexprhdlrHasFwdiff()

SCIP_Bool SCIPexprhdlrHasFwdiff

(

SCIP_EXPRHDLR *

exprhdlr

)

returns whether expression handler implements the forward differentiation callback

Parameters

exprhdlr

expression handler

Definition at line 605 of file expr.c.

References NULL.

Referenced by SCIPexprintCompile().

SCIPexprhdlrHasIntEval()

SCIP_Bool SCIPexprhdlrHasIntEval

(

SCIP_EXPRHDLR *

exprhdlr

)

returns whether expression handler implements the interval evaluation callback

Parameters

exprhdlr

expression handler

Definition at line 615 of file expr.c.

References NULL.

Referenced by SCIP_DECL_NLHDLRDETECT().

SCIPexprhdlrHasEstimate()

SCIP_Bool SCIPexprhdlrHasEstimate

(

SCIP_EXPRHDLR *

exprhdlr

)

returns whether expression handler implements the estimator callback

Parameters

exprhdlr

expression handler

Definition at line 625 of file expr.c.

References NULL.

Referenced by SCIP_DECL_NLHDLRDETECT().

SCIPexprhdlrHasInitEstimates()

SCIP_Bool SCIPexprhdlrHasInitEstimates

(

SCIP_EXPRHDLR *

exprhdlr

)

returns whether expression handler implements the initial estimators callback

Parameters

exprhdlr

expression handler

Definition at line 635 of file expr.c.

References NULL.

Referenced by SCIP_DECL_NLHDLRINITSEPA().

SCIPexprhdlrHasSimplify()

SCIP_Bool SCIPexprhdlrHasSimplify

(

SCIP_EXPRHDLR *

exprhdlr

)

returns whether expression handler implements the simplification callback

Parameters

exprhdlr

expression handler

Definition at line 645 of file expr.c.

References NULL.

SCIPexprhdlrHasCurvature()

SCIP_Bool SCIPexprhdlrHasCurvature

(

SCIP_EXPRHDLR *

exprhdlr

)

returns whether expression handler implements the curvature callback

Parameters

exprhdlr

expression handler

Definition at line 655 of file expr.c.

References NULL.

Referenced by SCIPcomputeExprCurvature().

SCIPexprhdlrHasMonotonicity()

SCIP_Bool SCIPexprhdlrHasMonotonicity

(

SCIP_EXPRHDLR *

exprhdlr

)

returns whether expression handler implements the monotonicity callback

Parameters

exprhdlr

expression handler

Definition at line 665 of file expr.c.

References NULL.

Referenced by propagateLocks().

SCIPexprhdlrHasReverseProp()

SCIP_Bool SCIPexprhdlrHasReverseProp

(

SCIP_EXPRHDLR *

exprhdlr

)

returns whether expression handler implements the reverse propagation callback

Parameters

exprhdlr

expression handler

Definition at line 675 of file expr.c.

References NULL.

Referenced by reversePropQueue(), and SCIP_DECL_NLHDLRDETECT().

SCIPexprhdlrHasGetSymData()

SCIP_Bool SCIPexprhdlrHasGetSymData

(

SCIP_EXPRHDLR *

exprhdlr

)

returns whether expression handler implements the symmetry information callback

return whether expression handler implements the symmetry data callback

Parameters

exprhdlr

expression handler

Definition at line 685 of file expr.c.

References NULL.

Referenced by addSymmetryInformation(), conshdlrsCanProvideSymInformation(), and SCIPgetCoefSymData().

SCIP_DECL_SORTPTRCOMP()

SCIP_DECL_SORTPTRCOMP

(

SCIPexprhdlrComp

)

compares two expression handler w.r.t. their name

Definition at line 695 of file expr.c.

SCIPexprhdlrGetNCreated()

unsigned int SCIPexprhdlrGetNCreated

(

SCIP_EXPRHDLR *

exprhdlr

)

gets number of times an expression has been created with given expression handler

Parameters

exprhdlr

expression handler

Definition at line 701 of file expr.c.

References SCIP_Exprhdlr::ncreated, and NULL.

Referenced by SCIPprintExpressionHandlerStatistics().

SCIPexprhdlrGetNIntevalCalls()

SCIP_Longint SCIPexprhdlrGetNIntevalCalls

(

SCIP_EXPRHDLR *

exprhdlr

)

gets number of times the interval evaluation callback was called

Parameters

exprhdlr

expression handler

Definition at line 711 of file expr.c.

References SCIP_Exprhdlr::nintevalcalls, and NULL.

Referenced by SCIPprintExpressionHandlerStatistics().

SCIPexprhdlrGetIntevalTime()

SCIP_Real SCIPexprhdlrGetIntevalTime

(

SCIP_EXPRHDLR *

exprhdlr

)

gets time spend in interval evaluation callback

Parameters

exprhdlr

expression handler

Definition at line 721 of file expr.c.

References SCIP_Exprhdlr::intevaltime, NULL, and SCIPclockGetTime().

Referenced by SCIPprintExpressionHandlerStatistics().

SCIPexprhdlrGetNReversepropCalls()

SCIP_Longint SCIPexprhdlrGetNReversepropCalls

(

SCIP_EXPRHDLR *

exprhdlr

)

gets number of times the reverse propagation callback was called

Parameters

exprhdlr

expression handler

Definition at line 731 of file expr.c.

References SCIP_Exprhdlr::npropcalls, and NULL.

Referenced by SCIPprintExpressionHandlerStatistics().

SCIPexprhdlrGetReversepropTime()

SCIP_Real SCIPexprhdlrGetReversepropTime

(

SCIP_EXPRHDLR *

exprhdlr

)

gets time spend in reverse propagation callback

Parameters

exprhdlr

expression handler

Definition at line 741 of file expr.c.

References NULL, SCIP_Exprhdlr::proptime, and SCIPclockGetTime().

Referenced by SCIPprintExpressionHandlerStatistics().

SCIPexprhdlrGetNCutoffs()

SCIP_Longint SCIPexprhdlrGetNCutoffs

(

SCIP_EXPRHDLR *

exprhdlr

)

gets number of times an empty interval was found in reverse propagation

Parameters

exprhdlr

expression handler

Definition at line 751 of file expr.c.

References SCIP_Exprhdlr::ncutoffs, and NULL.

Referenced by SCIPprintExpressionHandlerStatistics().

SCIPexprhdlrGetNDomainReductions()

SCIP_Longint SCIPexprhdlrGetNDomainReductions

(

SCIP_EXPRHDLR *

exprhdlr

)

gets number of times a bound reduction was found in reverse propagation (and accepted by caller)

Parameters

exprhdlr

expression handler

Definition at line 761 of file expr.c.

References SCIP_Exprhdlr::ndomreds, and NULL.

Referenced by SCIPprintExpressionHandlerStatistics().

SCIPexprhdlrIncrementNDomainReductions()

void SCIPexprhdlrIncrementNDomainReductions	(	SCIP_EXPRHDLR *	exprhdlr,
		int	nreductions
	)

increments the domain reductions count of an expression handler

Parameters

exprhdlr	expression handler
nreductions	number of reductions to add to counter

Definition at line 771 of file expr.c.

References SCIP_Exprhdlr::ndomreds, and NULL.

Referenced by SCIP_DECL_NLHDLRREVERSEPROP().

SCIPexprhdlrGetNEstimateCalls()

SCIP_Longint SCIPexprhdlrGetNEstimateCalls

(

SCIP_EXPRHDLR *

exprhdlr

)

gets number of times the estimation callback was called

Parameters

exprhdlr

expression handler

Definition at line 783 of file expr.c.

References SCIP_Exprhdlr::nestimatecalls, and NULL.

Referenced by SCIPprintExpressionHandlerStatistics().

SCIPexprhdlrGetEstimateTime()

SCIP_Real SCIPexprhdlrGetEstimateTime

(

SCIP_EXPRHDLR *

exprhdlr

)

gets time spend in estimation callback

Parameters

exprhdlr

expression handler

Definition at line 793 of file expr.c.

References SCIP_Exprhdlr::estimatetime, NULL, and SCIPclockGetTime().

Referenced by SCIPprintExpressionHandlerStatistics().

SCIPexprhdlrGetNBranchings()

SCIP_Longint SCIPexprhdlrGetNBranchings

(

SCIP_EXPRHDLR *

exprhdlr

)

gets number of times branching candidates reported by of this expression handler were used to assemble branching candidates

that is, how often did we consider branching on a child of this expression

Parameters

exprhdlr

expression handler

Definition at line 807 of file expr.c.

References SCIP_Exprhdlr::nbranchscores, and NULL.

Referenced by SCIPprintExpressionHandlerStatistics().

SCIPexprhdlrIncrementNBranchings()

void SCIPexprhdlrIncrementNBranchings

(

SCIP_EXPRHDLR *

exprhdlr

)

increments the branching candidates count of an expression handler

Parameters

exprhdlr

expression handler

Definition at line 817 of file expr.c.

References SCIP_Exprhdlr::nbranchscores, and NULL.

Referenced by SCIP_DECL_NLHDLRESTIMATE().

SCIPexprhdlrGetNSimplifyCalls()

SCIP_Longint SCIPexprhdlrGetNSimplifyCalls

(

SCIP_EXPRHDLR *

exprhdlr

)

gets number of times the simplify callback was called

Parameters

exprhdlr

expression handler

Definition at line 827 of file expr.c.

References SCIP_Exprhdlr::nsimplifycalls, and NULL.

Referenced by SCIPprintExpressionHandlerStatistics().

SCIPexprhdlrGetSimplifyTime()

SCIP_Real SCIPexprhdlrGetSimplifyTime

(

SCIP_EXPRHDLR *

exprhdlr

)

gets time spend in simplify callback

Parameters

exprhdlr

expression handler

Definition at line 837 of file expr.c.

References NULL, SCIPclockGetTime(), and SCIP_Exprhdlr::simplifytime.

Referenced by SCIPprintExpressionHandlerStatistics().

SCIPexprhdlrGetNSimplifications()

SCIP_Longint SCIPexprhdlrGetNSimplifications

(

SCIP_EXPRHDLR *

exprhdlr

)

gets number of times the simplify callback found a simplification

Parameters

exprhdlr

expression handler

Definition at line 847 of file expr.c.

References SCIP_Exprhdlr::nsimplified, and NULL.

Referenced by SCIPprintExpressionHandlerStatistics().

SCIPincludeExprhdlr()

SCIP_RETCODE SCIPincludeExprhdlr	(	SCIP *	scip,
		SCIP_EXPRHDLR **	exprhdlr,
		const char *	name,
		const char *	desc,
		unsigned int	precedence,
		SCIP_DECL_EXPREVAL((*eval))	,
		SCIP_EXPRHDLRDATA *	data
	)

creates the handler for an expression handler and includes it into SCIP

Parameters

scip	SCIP data structure
exprhdlr	buffer where to store created expression handler
name	name of expression handler (must not be NULL)
desc	description of expression handler (can be NULL)
precedence	precedence of expression operation (used for printing)
data	data of expression handler (can be NULL)

Definition at line 823 of file scip_expr.c.

References eval(), NULL, SCIP_CALL, SCIP_OKAY, SCIPexprhdlrCreate(), and SCIPsetIncludeExprhdlr().

Referenced by SCIPincludeExprhdlrAbs(), SCIPincludeExprhdlrCos(), SCIPincludeExprhdlrEntropy(), SCIPincludeExprhdlrErf(), SCIPincludeExprhdlrExp(), SCIPincludeExprhdlrLog(), SCIPincludeExprhdlrPow(), SCIPincludeExprhdlrProduct(), SCIPincludeExprhdlrSignpower(), SCIPincludeExprhdlrSin(), SCIPincludeExprhdlrSum(), SCIPincludeExprhdlrValue(), SCIPincludeExprhdlrVar(), and SCIPincludeExprhdlrVaridx().

SCIPgetExprhdlrs()

SCIP_EXPRHDLR ** SCIPgetExprhdlrs

(

SCIP *

scip

)

gives expression handlers

Parameters

scip	SCIP data structure

Definition at line 846 of file scip_expr.c.

References NULL.

Referenced by conshdlrsCanProvideSymInformation(), and SCIP_DECL_DIALOGEXEC().

SCIPgetNExprhdlrs()

int SCIPgetNExprhdlrs

(

SCIP *

scip

)

gives number of expression handlers

Parameters

scip	SCIP data structure

Definition at line 857 of file scip_expr.c.

References NULL.

Referenced by conshdlrsCanProvideSymInformation(), and SCIP_DECL_DIALOGEXEC().

SCIPfindExprhdlr()

SCIP_EXPRHDLR * SCIPfindExprhdlr	(	SCIP *	scip,
		const char *	name
	)

returns an expression handler of a given name (or NULL if not found)

Parameters

scip	SCIP data structure
name	name of expression handler

Definition at line 868 of file scip_expr.c.

References NULL, and SCIPsetFindExprhdlr().

Referenced by parseBase(), SCIPcreateExprAbs(), SCIPcreateExprCos(), SCIPcreateExprEntropy(), SCIPcreateExprErf(), SCIPcreateExprExp(), SCIPcreateExprLog(), SCIPcreateExprSignpower(), SCIPcreateExprSin(), and SCIPcreateExprVaridx().

SCIPgetExprhdlrVar()

SCIP_EXPRHDLR * SCIPgetExprhdlrVar

(

SCIP *

scip

)

returns expression handler for variable expressions (or NULL if not included)

Parameters

scip	SCIP data structure

Definition at line 880 of file scip_expr.c.

References NULL.

Referenced by SCIPcreateExprVar().

SCIPgetExprhdlrValue()

SCIP_EXPRHDLR * SCIPgetExprhdlrValue

(

SCIP *

scip

)

returns expression handler for constant value expressions (or NULL if not included)

Parameters

scip	SCIP data structure

Definition at line 891 of file scip_expr.c.

References NULL.

Referenced by SCIPcreateExprValue().

SCIPgetExprhdlrSum()

SCIP_EXPRHDLR * SCIPgetExprhdlrSum

(

SCIP *

scip

)

returns expression handler for sum expressions (or NULL if not included)

Parameters

scip	SCIP data structure

Definition at line 902 of file scip_expr.c.

References NULL.

Referenced by printExpr(), SCIP_DECL_EXPRSIMPLIFY(), and SCIPcreateExprSum().

SCIPgetExprhdlrProduct()

SCIP_EXPRHDLR * SCIPgetExprhdlrProduct

(

SCIP *

scip

)

returns expression handler for product expressions (or NULL if not included)

Parameters

scip	SCIP data structure

Definition at line 913 of file scip_expr.c.

References NULL.

Referenced by SCIPcreateExprProduct().

SCIPgetExprhdlrPower()

SCIP_EXPRHDLR * SCIPgetExprhdlrPower

(

SCIP *

scip

)

returns expression handler for power expressions (or NULL if not included)

Parameters

scip	SCIP data structure

Definition at line 924 of file scip_expr.c.

References NULL.

Referenced by SCIPcreateExprPow().