Scippy

SCIP

Solving Constraint Integer Programs

Functions
Expression Handler
Public API of SCIP » Core API » Methods for managing plugins

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 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_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
exprhdlrexpression handler

Definition at line 368 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
exprhdlrexpression handler

Definition at line 381 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
exprhdlrexpression handler

Definition at line 394 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
exprhdlrexpression handler

Definition at line 405 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
exprhdlrexpression handler

Definition at line 416 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
exprhdlrexpression handler

Definition at line 427 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
exprhdlrexpression handler

Definition at line 438 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
exprhdlrexpression handler

Definition at line 449 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
exprhdlrexpression handler

Definition at line 460 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
exprhdlrexpression handler

Definition at line 471 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
exprhdlrexpression handler

Definition at line 486 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
exprhdlrexpression handler

Definition at line 497 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
exprhdlrexpression handler

Definition at line 508 of file expr.c.

References NULL.

Referenced by SCIPincludeExprhdlrAbs(), SCIPincludeExprhdlrCos(), SCIPincludeExprhdlrEntropy(), SCIPincludeExprhdlrExp(), SCIPincludeExprhdlrLog(), SCIPincludeExprhdlrPow(), SCIPincludeExprhdlrProduct(), SCIPincludeExprhdlrSignpower(), SCIPincludeExprhdlrSin(), 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
exprhdlrexpression handler

Definition at line 519 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
exprhdlrexpression handler

Definition at line 532 of file expr.c.

References SCIP_Exprhdlr::name, and NULL.

Referenced by addTightEstimatorCut(), atomic_userexpr::atomic_userexpr(), computeEstimatorsTrig(), computeInitialCutsTrig(), 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_HASHKEYVAL(), SCIP_DECL_NLHDLRESTIMATE(), SCIP_DECL_NLHDLRINITSEPA(), SCIPexprCompare(), SCIPexprhdlrCopyInclude(), SCIPexprhdlrParseExpr(), SCIPexprhdlrPrintExpr(), SCIPexprintCompile(), SCIPgetIndexExprVaridx(), SCIPgetVarExprVar(), SCIPisExprAbs(), SCIPisExprCos(), SCIPisExprEntropy(), SCIPisExprErf(), SCIPisExprExp(), SCIPisExprLog(), SCIPisExprSignpower(), SCIPisExprSin(), SCIPisExprVaridx(), SCIPprintExpressionHandlerStatistics(), SCIPsetIncludeDialog(), SCIPsetIndexExprVaridx(), and SCIPtightenExprIntervalNonlinear().

◆ SCIPexprhdlrGetDescription()

const char * SCIPexprhdlrGetDescription ( SCIP_EXPRHDLR *  exprhdlr)

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

Parameters
exprhdlrexpression handler

Definition at line 542 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
exprhdlrexpression handler

Definition at line 552 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
exprhdlrexpression handler

Definition at line 562 of file expr.c.

References SCIP_Exprhdlr::data, and NULL.

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

◆ SCIPexprhdlrHasPrint()

SCIP_Bool SCIPexprhdlrHasPrint ( SCIP_EXPRHDLR *  exprhdlr)

returns whether expression handler implements the print callback

Parameters
exprhdlrexpression handler

Definition at line 572 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
exprhdlrexpression handler

Definition at line 582 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
exprhdlrexpression handler

Definition at line 592 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
exprhdlrexpression handler

Definition at line 602 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
exprhdlrexpression handler

Definition at line 612 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
exprhdlrexpression handler

Definition at line 622 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
exprhdlrexpression handler

Definition at line 632 of file expr.c.

References NULL.

◆ SCIPexprhdlrHasCurvature()

SCIP_Bool SCIPexprhdlrHasCurvature ( SCIP_EXPRHDLR *  exprhdlr)

returns whether expression handler implements the curvature callback

Parameters
exprhdlrexpression handler

Definition at line 642 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
exprhdlrexpression handler

Definition at line 652 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
exprhdlrexpression handler

Definition at line 662 of file expr.c.

References NULL.

Referenced by reversePropQueue(), and SCIP_DECL_NLHDLRDETECT().

◆ SCIP_DECL_SORTPTRCOMP()

SCIP_DECL_SORTPTRCOMP ( SCIPexprhdlrComp  )

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

Definition at line 672 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
exprhdlrexpression handler

Definition at line 678 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
exprhdlrexpression handler

Definition at line 688 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
exprhdlrexpression handler

Definition at line 698 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
exprhdlrexpression handler

Definition at line 708 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
exprhdlrexpression handler

Definition at line 718 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
exprhdlrexpression handler

Definition at line 728 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
exprhdlrexpression handler

Definition at line 738 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
exprhdlrexpression handler
nreductionsnumber of reductions to add to counter

Definition at line 748 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
exprhdlrexpression handler

Definition at line 760 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
exprhdlrexpression handler

Definition at line 770 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
exprhdlrexpression handler

Definition at line 784 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
exprhdlrexpression handler

Definition at line 794 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
exprhdlrexpression handler

Definition at line 804 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
exprhdlrexpression handler

Definition at line 814 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
exprhdlrexpression handler

Definition at line 824 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
scipSCIP data structure
exprhdlrbuffer where to store created expression handler
namename of expression handler (must not be NULL)
descdescription of expression handler (can be NULL)
precedenceprecedence of expression operation (used for printing)
datadata of expression handler (can be NULL)

Definition at line 814 of file scip_expr.c.

References eval(), Scip::mem, NULL, SCIP_CALL, SCIP_OKAY, SCIPexprhdlrCreate(), SCIPsetIncludeExprhdlr(), Scip::set, and SCIP_Mem::setmem.

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
scipSCIP data structure

Definition at line 837 of file scip_expr.c.

References SCIP_Set::exprhdlrs, NULL, and Scip::set.

Referenced by SCIP_DECL_DIALOGEXEC().

◆ SCIPgetNExprhdlrs()

int SCIPgetNExprhdlrs ( SCIP *  scip)

gives number of expression handlers

Parameters
scipSCIP data structure

Definition at line 848 of file scip_expr.c.

References SCIP_Set::nexprhdlrs, NULL, and Scip::set.

Referenced by 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
scipSCIP data structure
namename of expression handler

Definition at line 859 of file scip_expr.c.

References NULL, SCIPsetFindExprhdlr(), and Scip::set.

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
scipSCIP data structure

Definition at line 871 of file scip_expr.c.

References SCIP_Set::exprhdlrvar, NULL, and Scip::set.

Referenced by SCIPcreateExprVar().

◆ SCIPgetExprhdlrValue()

SCIP_EXPRHDLR * SCIPgetExprhdlrValue ( SCIP *  scip)

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

Parameters
scipSCIP data structure

Definition at line 882 of file scip_expr.c.

References SCIP_Set::exprhdlrval, NULL, and Scip::set.

Referenced by SCIPcreateExprValue().

◆ SCIPgetExprhdlrSum()

SCIP_EXPRHDLR * SCIPgetExprhdlrSum ( SCIP *  scip)

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

Parameters
scipSCIP data structure

Definition at line 893 of file scip_expr.c.

References SCIP_Set::exprhdlrsum, NULL, and Scip::set.

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
scipSCIP data structure

Definition at line 904 of file scip_expr.c.

References SCIP_Set::exprhdlrproduct, NULL, and Scip::set.

Referenced by SCIPcreateExprProduct().

◆ SCIPgetExprhdlrPower()

SCIP_EXPRHDLR * SCIPgetExprhdlrPower ( SCIP *  scip)

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

Parameters
scipSCIP data structure

Definition at line 915 of file scip_expr.c.

References SCIP_Set::exprhdlrpow, NULL, and Scip::set.

Referenced by SCIPcreateExprPow().