Expression Handler

Detailed Description

functions for expression handlers

Functions
void	SCIPexprhdlrSetCopyFreeHdlr (SCIP_EXPRHDLR *exprhdlr, SCIP_DECL_EXPRCOPYHDLR((*copyhdlr)),)
void	SCIPexprhdlrSetCopyFreeData (SCIP_EXPRHDLR *exprhdlr, SCIP_DECL_EXPRCOPYDATA((*copydata)),)
void	SCIPexprhdlrSetPrint (SCIP_EXPRHDLR *exprhdlr,)
void	SCIPexprhdlrSetParse (SCIP_EXPRHDLR *exprhdlr,)
void	SCIPexprhdlrSetCurvature (SCIP_EXPRHDLR *exprhdlr,)
void	SCIPexprhdlrSetMonotonicity (SCIP_EXPRHDLR *exprhdlr,)
void	SCIPexprhdlrSetIntegrality (SCIP_EXPRHDLR *exprhdlr,)
void	SCIPexprhdlrSetHash (SCIP_EXPRHDLR *exprhdlr,)
void	SCIPexprhdlrSetCompare (SCIP_EXPRHDLR *exprhdlr,)
void	SCIPexprhdlrSetDiff (SCIP_EXPRHDLR *exprhdlr, SCIP_DECL_EXPRBWDIFF((*bwdiff)), SCIP_DECL_EXPRFWDIFF((*fwdiff)),)
void	SCIPexprhdlrSetIntEval (SCIP_EXPRHDLR *exprhdlr,)
void	SCIPexprhdlrSetSimplify (SCIP_EXPRHDLR *exprhdlr,)
void	SCIPexprhdlrSetReverseProp (SCIP_EXPRHDLR *exprhdlr,)
void	SCIPexprhdlrSetGetSymdata (SCIP_EXPRHDLR *exprhdlr,)
void	SCIPexprhdlrSetEstimate (SCIP_EXPRHDLR *exprhdlr, SCIP_DECL_EXPRINITESTIMATES((*initestimates)),)
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))	)

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

Parameters

exprhdlr	expression handler
-	handler copy callback (can be NULL) handler free callback (can be NULL)

Definition at line 370 of file expr.c.

References assert(), NULL, SCIP_DECL_EXPRCOPYHDLR, SCIP_DECL_EXPRFREEHDLR, and SCIPexprhdlrSetCopyFreeHdlr().

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

SCIPexprhdlrSetCopyFreeData()

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

set the expression handler callbacks to copy and free expression data

Parameters

exprhdlr	expression handler
-	expression data copy callback (can be NULL for expressions without data) expression data free callback (can be NULL if data does not need to be freed)

Definition at line 383 of file expr.c.

References assert(), NULL, SCIP_DECL_EXPRCOPYDATA, SCIP_DECL_EXPRFREEDATA, and SCIPexprhdlrSetCopyFreeData().

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

SCIPexprhdlrSetPrint()

void SCIPexprhdlrSetPrint

(

SCIP_EXPRHDLR *

exprhdlr

)

set the print callback of an expression handler

Parameters

exprhdlr

expression handler print callback (can be NULL)

Definition at line 396 of file expr.c.

References assert(), NULL, SCIP_DECL_EXPRPRINT, and SCIPexprhdlrSetPrint().

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

SCIPexprhdlrSetParse()

void SCIPexprhdlrSetParse

(

SCIP_EXPRHDLR *

exprhdlr

)

set the parse callback of an expression handler

Parameters

exprhdlr

expression handler parse callback (can be NULL)

Definition at line 407 of file expr.c.

References assert(), NULL, SCIP_DECL_EXPRPARSE, and SCIPexprhdlrSetParse().

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

SCIPexprhdlrSetCurvature()

void SCIPexprhdlrSetCurvature

(

SCIP_EXPRHDLR *

exprhdlr

)

set the curvature detection callback of an expression handler

Parameters

exprhdlr

expression handler curvature detection callback (can be NULL)

Definition at line 418 of file expr.c.

References assert(), NULL, SCIP_DECL_EXPRCURVATURE, and SCIPexprhdlrSetCurvature().

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

SCIPexprhdlrSetMonotonicity()

void SCIPexprhdlrSetMonotonicity

(

SCIP_EXPRHDLR *

exprhdlr

)

set the monotonicity detection callback of an expression handler

Parameters

exprhdlr

expression handler monotonicity detection callback (can be NULL)

Definition at line 429 of file expr.c.

References assert(), NULL, SCIP_DECL_EXPRMONOTONICITY, and SCIPexprhdlrSetMonotonicity().

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

SCIPexprhdlrSetIntegrality()

void SCIPexprhdlrSetIntegrality

(

SCIP_EXPRHDLR *

exprhdlr

)

set the integrality detection callback of an expression handler

Parameters

exprhdlr

expression handler integrality detection callback (can be NULL)

Definition at line 440 of file expr.c.

References assert(), NULL, SCIP_DECL_EXPRINTEGRALITY, and SCIPexprhdlrSetIntegrality().

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

SCIPexprhdlrSetHash()

void SCIPexprhdlrSetHash

(

SCIP_EXPRHDLR *

exprhdlr

)

set the hash callback of an expression handler

Parameters

exprhdlr

expression handler hash callback (can be NULL)

Definition at line 451 of file expr.c.

References assert(), NULL, SCIP_DECL_EXPRHASH, and SCIPexprhdlrSetHash().

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

SCIPexprhdlrSetCompare()

void SCIPexprhdlrSetCompare

(

SCIP_EXPRHDLR *

exprhdlr

)

set the compare callback of an expression handler

Parameters

exprhdlr

expression handler compare callback (can be NULL)

Definition at line 462 of file expr.c.

References assert(), NULL, SCIP_DECL_EXPRCOMPARE, and SCIPexprhdlrSetCompare().

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

SCIPexprhdlrSetDiff()

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

set differentiation callbacks of an expression handler

Parameters

exprhdlr	expression handler
-	backward derivative evaluation callback (can be NULL)
-	forward derivative evaluation callback (can be NULL) backward-forward derivative evaluation callback (can be NULL)

Definition at line 473 of file expr.c.

References assert(), NULL, SCIP_DECL_EXPRBWDIFF, SCIP_DECL_EXPRBWFWDIFF, SCIP_DECL_EXPRFWDIFF, and SCIPexprhdlrSetDiff().

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

SCIPexprhdlrSetIntEval()

void SCIPexprhdlrSetIntEval

(

SCIP_EXPRHDLR *

exprhdlr

)

set the interval evaluation callback of an expression handler

Parameters

exprhdlr

expression handler interval evaluation callback (can be NULL)

Definition at line 488 of file expr.c.

References assert(), NULL, SCIP_DECL_EXPRINTEVAL, and SCIPexprhdlrSetIntEval().

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

SCIPexprhdlrSetSimplify()

void SCIPexprhdlrSetSimplify

(

SCIP_EXPRHDLR *

exprhdlr

)

set the simplify callback of an expression handler

Parameters

exprhdlr

expression handler simplify callback (can be NULL)

Definition at line 499 of file expr.c.

References assert(), NULL, SCIP_DECL_EXPRSIMPLIFY, and SCIPexprhdlrSetSimplify().

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

SCIPexprhdlrSetReverseProp()

void SCIPexprhdlrSetReverseProp

(

SCIP_EXPRHDLR *

exprhdlr

)

set the reverse propagation callback of an expression handler

Parameters

exprhdlr

expression handler reverse propagation callback (can be NULL)

Definition at line 510 of file expr.c.

References assert(), NULL, SCIP_DECL_EXPRREVERSEPROP, and SCIPexprhdlrSetReverseProp().

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

SCIPexprhdlrSetGetSymdata()

void SCIPexprhdlrSetGetSymdata

(

SCIP_EXPRHDLR *

exprhdlr

)

set the symmetry information callback of an expression handler

Parameters

exprhdlr

expression handler symmetry information callback (can be NULL)

Definition at line 521 of file expr.c.

References assert(), NULL, SCIP_DECL_EXPRGETSYMDATA, and SCIPexprhdlrSetGetSymdata().

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

SCIPexprhdlrSetEstimate()

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

set the estimation callbacks of an expression handler

Parameters

exprhdlr	expression handler
-	initial estimators callback (can be NULL) estimator callback (can be NULL)

Definition at line 532 of file expr.c.

References assert(), NULL, SCIP_DECL_EXPRESTIMATE, SCIP_DECL_EXPRINITESTIMATES, and SCIPexprhdlrSetEstimate().

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

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 assert(), SCIP_Exprhdlr::name, NULL, and SCIPexprhdlrGetName().

Referenced by addSymmetryInformation(), atomic_userexpr::atomic_userexpr(), computeEstimatorsTrig(), computeInitialCutsTrig(), conshdlrsCanProvideSymInformation(), createAuxVar(), DECL_CURVCHECK(), detectNlhdlr(), enforceExpr(), enforceSP11(), eval(), exprIsNonSmooth(), SCIPNLFeeder::FeedConExpression(), forwardPropExpr(), reversePropQueue(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_EXPRBWDIFF(), SCIP_DECL_EXPRBWDIFF(), SCIP_DECL_EXPRBWDIFF(), SCIP_DECL_EXPRBWDIFF(), SCIP_DECL_EXPRBWDIFF(), SCIP_DECL_EXPRBWFWDIFF(), SCIP_DECL_EXPRESTIMATE(), SCIP_DECL_EXPRESTIMATE(), SCIP_DECL_EXPRESTIMATE(), SCIP_DECL_EXPRESTIMATE(), SCIP_DECL_EXPRESTIMATE(), SCIP_DECL_EXPRESTIMATE(), SCIP_DECL_EXPRESTIMATE(), SCIP_DECL_EXPRESTIMATE(), SCIP_DECL_EXPRESTIMATE(), SCIP_DECL_EXPRESTIMATE(), SCIP_DECL_EXPRFWDIFF(), SCIP_DECL_EXPRINITESTIMATES(), SCIP_DECL_EXPRINITESTIMATES(), SCIP_DECL_EXPRINITESTIMATES(), SCIP_DECL_EXPRINITESTIMATES(), SCIP_DECL_EXPRINITESTIMATES(), SCIP_DECL_EXPRINITESTIMATES(), SCIP_DECL_EXPRINITESTIMATES(), SCIP_DECL_NLHDLRESTIMATE(), SCIP_DECL_NLHDLRINITSEPA(), SCIP_DECL_NLHDLRSOLLINEARIZE(), SCIPcollectExpressionHandlerStatistics(), SCIPexprCompare(), SCIPexprhdlrCopyInclude(), SCIPexprhdlrGetName(), 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 assert(), SCIP_Exprhdlr::desc, NULL, and SCIPexprhdlrGetDescription().

Referenced by SCIP_DECL_DIALOGEXEC(), SCIPcollectExpressionHandlerStatistics(), and SCIPexprhdlrGetDescription().

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 assert(), NULL, SCIP_Exprhdlr::precedence, and SCIPexprhdlrGetPrecedence().

Referenced by printExpr(), SCIP_DECL_DIALOGEXEC(), SCIPexprhdlrGetPrecedence(), 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 assert(), SCIP_Exprhdlr::data, NULL, and SCIPexprhdlrGetData().

Referenced by SCIP_DECL_EXPRBWDIFF(), SCIP_DECL_EXPRBWFWDIFF(), SCIP_DECL_EXPRCOMPARE(), SCIP_DECL_EXPRCOPYDATA(), SCIP_DECL_EXPRCOPYHDLR(), SCIP_DECL_EXPRCURVATURE(), SCIP_DECL_EXPRESTIMATE(), SCIP_DECL_EXPRESTIMATE(), SCIP_DECL_EXPREVAL(), SCIP_DECL_EXPRFREEDATA(), SCIP_DECL_EXPRFWDIFF(), SCIP_DECL_EXPRGETSYMDATA(), SCIP_DECL_EXPRHASH(), SCIP_DECL_EXPRINITESTIMATES(), SCIP_DECL_EXPRINITESTIMATES(), SCIP_DECL_EXPRINTEGRALITY(), SCIP_DECL_EXPRINTEVAL(), SCIP_DECL_EXPRINTEVAL(), SCIP_DECL_EXPRINTEVAL(), SCIP_DECL_EXPRMONOTONICITY(), SCIP_DECL_EXPRPARSE(), SCIP_DECL_EXPRPRINT(), SCIP_DECL_EXPRREVERSEPROP(), SCIP_DECL_EXPRREVERSEPROP(), SCIP_DECL_EXPRREVERSEPROP(), SCIP_DECL_EXPRSIMPLIFY(), SCIP_DECL_EXPRSIMPLIFY(), SCIP_DECL_EXPRSIMPLIFY(), SCIPexprhdlrGetData(), SCIPfindObjExprhdlr(), and SCIPgetObjExprhdlr().

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 assert(), NULL, SCIP_Bool, and SCIPexprhdlrHasPrint().

Referenced by SCIPexprhdlrHasPrint(), and 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 assert(), NULL, SCIP_Bool, and SCIPexprhdlrHasBwdiff().

Referenced by constructExpr(), and SCIPexprhdlrHasBwdiff().

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 assert(), NULL, SCIP_Bool, and SCIPexprhdlrHasFwdiff().

Referenced by SCIPexprhdlrHasFwdiff(), and 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 assert(), NULL, SCIP_Bool, and SCIPexprhdlrHasIntEval().

Referenced by SCIP_DECL_NLHDLRDETECT(), and SCIPexprhdlrHasIntEval().

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 assert(), NULL, SCIP_Bool, and SCIPexprhdlrHasEstimate().

Referenced by SCIP_DECL_NLHDLRDETECT(), and SCIPexprhdlrHasEstimate().

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 assert(), NULL, SCIP_Bool, and SCIPexprhdlrHasInitEstimates().

Referenced by SCIP_DECL_NLHDLRINITSEPA(), and SCIPexprhdlrHasInitEstimates().

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 assert(), NULL, SCIP_Bool, and SCIPexprhdlrHasSimplify().

Referenced by SCIPexprhdlrHasSimplify().

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 assert(), NULL, SCIP_Bool, and SCIPexprhdlrHasCurvature().

Referenced by SCIPcomputeExprCurvature(), and SCIPexprhdlrHasCurvature().

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 assert(), NULL, SCIP_Bool, and SCIPexprhdlrHasMonotonicity().

Referenced by propagateLocks(), and SCIPexprhdlrHasMonotonicity().

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 assert(), NULL, SCIP_Bool, and SCIPexprhdlrHasReverseProp().

Referenced by reversePropQueue(), SCIP_DECL_NLHDLRDETECT(), and SCIPexprhdlrHasReverseProp().

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 assert(), NULL, SCIP_Bool, and SCIPexprhdlrHasGetSymData().

Referenced by addSymmetryInformation(), conshdlrsCanProvideSymInformation(), SCIPexprhdlrHasGetSymData(), 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.

References SCIP_DECL_SORTPTRCOMP.

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 assert(), SCIP_Exprhdlr::ncreated, NULL, and SCIPexprhdlrGetNCreated().

Referenced by SCIPcollectExpressionHandlerStatistics(), SCIPexprhdlrGetNCreated(), and 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 assert(), SCIP_Exprhdlr::nintevalcalls, NULL, SCIP_Longint, and SCIPexprhdlrGetNIntevalCalls().

Referenced by SCIPcollectExpressionHandlerStatistics(), SCIPexprhdlrGetNIntevalCalls(), and 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 assert(), SCIP_Exprhdlr::intevaltime, NULL, SCIP_Real, SCIPclockGetTime(), and SCIPexprhdlrGetIntevalTime().

Referenced by SCIPcollectExpressionHandlerStatistics(), SCIPexprhdlrGetIntevalTime(), and 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 assert(), SCIP_Exprhdlr::npropcalls, NULL, SCIP_Longint, and SCIPexprhdlrGetNReversepropCalls().

Referenced by SCIPcollectExpressionHandlerStatistics(), SCIPexprhdlrGetNReversepropCalls(), and 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 assert(), NULL, SCIP_Exprhdlr::proptime, SCIP_Real, SCIPclockGetTime(), and SCIPexprhdlrGetReversepropTime().

Referenced by SCIPcollectExpressionHandlerStatistics(), SCIPexprhdlrGetReversepropTime(), and 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 assert(), SCIP_Exprhdlr::ncutoffs, NULL, SCIP_Longint, and SCIPexprhdlrGetNCutoffs().

Referenced by SCIPcollectExpressionHandlerStatistics(), SCIPexprhdlrGetNCutoffs(), and 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 assert(), SCIP_Exprhdlr::ndomreds, NULL, SCIP_Longint, and SCIPexprhdlrGetNDomainReductions().

Referenced by SCIPcollectExpressionHandlerStatistics(), SCIPexprhdlrGetNDomainReductions(), and 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 assert(), SCIP_Exprhdlr::ndomreds, NULL, and SCIPexprhdlrIncrementNDomainReductions().

Referenced by SCIP_DECL_NLHDLRREVERSEPROP(), and SCIPexprhdlrIncrementNDomainReductions().

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 assert(), SCIP_Exprhdlr::nestimatecalls, NULL, SCIP_Longint, and SCIPexprhdlrGetNEstimateCalls().

Referenced by SCIPcollectExpressionHandlerStatistics(), SCIPexprhdlrGetNEstimateCalls(), and 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 assert(), SCIP_Exprhdlr::estimatetime, NULL, SCIP_Real, SCIPclockGetTime(), and SCIPexprhdlrGetEstimateTime().

Referenced by SCIPcollectExpressionHandlerStatistics(), SCIPexprhdlrGetEstimateTime(), and 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 assert(), SCIP_Exprhdlr::nbranchscores, NULL, SCIP_Longint, and SCIPexprhdlrGetNBranchings().

Referenced by SCIPcollectExpressionHandlerStatistics(), SCIPexprhdlrGetNBranchings(), and 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 assert(), SCIP_Exprhdlr::nbranchscores, NULL, and SCIPexprhdlrIncrementNBranchings().

Referenced by SCIP_DECL_NLHDLRESTIMATE(), and SCIPexprhdlrIncrementNBranchings().

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 assert(), SCIP_Exprhdlr::nsimplifycalls, NULL, SCIP_Longint, and SCIPexprhdlrGetNSimplifyCalls().

Referenced by SCIPcollectExpressionHandlerStatistics(), SCIPexprhdlrGetNSimplifyCalls(), and 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 assert(), NULL, SCIP_Real, SCIPclockGetTime(), SCIPexprhdlrGetSimplifyTime(), and SCIP_Exprhdlr::simplifytime.

Referenced by SCIPcollectExpressionHandlerStatistics(), SCIPexprhdlrGetSimplifyTime(), and 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 assert(), SCIP_Exprhdlr::nsimplified, NULL, SCIP_Longint, and SCIPexprhdlrGetNSimplifications().

Referenced by SCIPcollectExpressionHandlerStatistics(), SCIPexprhdlrGetNSimplifications(), and 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

Precondition

This method can be called if SCIP is in one of the following stages:

• SCIP_STAGE_INIT
• SCIP_STAGE_PROBLEM

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)
-	point evaluation callback (must not be NULL)
data	data of expression handler (can be NULL)

Definition at line 847 of file scip_expr.c.

References assert(), FALSE, NULL, SCIP_CALL, SCIP_DECL_EXPREVAL, SCIP_OKAY, SCIPcheckStage, SCIPexprhdlrCreate(), SCIPincludeExprhdlr(), SCIPsetIncludeExprhdlr(), and TRUE.

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

SCIPgetExprhdlrs()

SCIP_EXPRHDLR ** SCIPgetExprhdlrs

(

SCIP *

scip

)

gives expression handlers

Parameters

scip	SCIP data structure

Definition at line 872 of file scip_expr.c.

References assert(), NULL, and SCIPgetExprhdlrs().

Referenced by conshdlrsCanProvideSymInformation(), SCIP_DECL_DIALOGEXEC(), and SCIPgetExprhdlrs().

SCIPgetNExprhdlrs()

int SCIPgetNExprhdlrs

(

SCIP *

scip

)

gives number of expression handlers

Parameters

scip	SCIP data structure

Definition at line 883 of file scip_expr.c.

References assert(), NULL, and SCIPgetNExprhdlrs().

Referenced by conshdlrsCanProvideSymInformation(), SCIP_DECL_DIALOGEXEC(), and SCIPgetNExprhdlrs().

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 894 of file scip_expr.c.

References assert(), NULL, SCIPfindExprhdlr(), and SCIPsetFindExprhdlr().

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

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 906 of file scip_expr.c.

References assert(), NULL, and SCIPgetExprhdlrVar().

Referenced by SCIPcreateExprVar(), and SCIPgetExprhdlrVar().

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 917 of file scip_expr.c.

References assert(), NULL, and SCIPgetExprhdlrValue().

Referenced by SCIPcreateExprValue(), and SCIPgetExprhdlrValue().

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 928 of file scip_expr.c.

References assert(), NULL, and SCIPgetExprhdlrSum().

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

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 939 of file scip_expr.c.

References assert(), NULL, and SCIPgetExprhdlrProduct().

Referenced by SCIPcreateExprProduct(), and SCIPgetExprhdlrProduct().

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 950 of file scip_expr.c.

References assert(), NULL, and SCIPgetExprhdlrPower().

Referenced by SCIPcreateExprPow(), and SCIPgetExprhdlrPower().