SCIP Doxygen Documentation
 
Loading...
Searching...
No Matches

Detailed Description

methods 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_EXPRHDLRDATASCIPexprhdlrGetData (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_EXPRHDLRSCIPfindExprhdlr (SCIP *scip, const char *name)
 
SCIP_EXPRHDLRSCIPgetExprhdlrVar (SCIP *scip)
 
SCIP_EXPRHDLRSCIPgetExprhdlrValue (SCIP *scip)
 
SCIP_EXPRHDLRSCIPgetExprhdlrSum (SCIP *scip)
 
SCIP_EXPRHDLRSCIPgetExprhdlrProduct (SCIP *scip)
 
SCIP_EXPRHDLRSCIPgetExprhdlrPower (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))  )

◆ SCIPexprhdlrSetCopyFreeData()

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

set the expression handler callbacks to copy and free expression data

Parameters
exprhdlrexpression handler

Definition at line 383 of file expr.c.

References assert(), and NULL.

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

◆ SCIPexprhdlrSetPrint()

void SCIPexprhdlrSetPrint ( SCIP_EXPRHDLR * exprhdlr)

set the print callback of an expression handler

Parameters
exprhdlrexpression handler print callback (can be NULL)

Definition at line 396 of file expr.c.

References assert(), and NULL.

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

◆ SCIPexprhdlrSetParse()

void SCIPexprhdlrSetParse ( SCIP_EXPRHDLR * exprhdlr)

set the parse callback of an expression handler

Parameters
exprhdlrexpression handler parse callback (can be NULL)

Definition at line 407 of file expr.c.

References assert(), and NULL.

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

◆ SCIPexprhdlrSetCurvature()

void SCIPexprhdlrSetCurvature ( SCIP_EXPRHDLR * exprhdlr)

◆ SCIPexprhdlrSetMonotonicity()

void SCIPexprhdlrSetMonotonicity ( SCIP_EXPRHDLR * exprhdlr)

◆ SCIPexprhdlrSetIntegrality()

void SCIPexprhdlrSetIntegrality ( SCIP_EXPRHDLR * exprhdlr)

set the integrality detection callback of an expression handler

Parameters
exprhdlrexpression handler integrality detection callback (can be NULL)

Definition at line 440 of file expr.c.

References assert(), and NULL.

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

◆ SCIPexprhdlrSetHash()

◆ SCIPexprhdlrSetCompare()

void SCIPexprhdlrSetCompare ( SCIP_EXPRHDLR * exprhdlr)

set the compare callback of an expression handler

Parameters
exprhdlrexpression handler compare callback (can be NULL)

Definition at line 462 of file expr.c.

References assert(), and NULL.

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

◆ SCIPexprhdlrSetDiff()

◆ SCIPexprhdlrSetIntEval()

void SCIPexprhdlrSetIntEval ( SCIP_EXPRHDLR * exprhdlr)

set the interval evaluation callback of an expression handler

Parameters
exprhdlrexpression handler interval evaluation callback (can be NULL)

Definition at line 488 of file expr.c.

References assert(), and NULL.

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

◆ SCIPexprhdlrSetSimplify()

void SCIPexprhdlrSetSimplify ( SCIP_EXPRHDLR * exprhdlr)

◆ SCIPexprhdlrSetReverseProp()

void SCIPexprhdlrSetReverseProp ( SCIP_EXPRHDLR * exprhdlr)

set the reverse propagation callback of an expression handler

Parameters
exprhdlrexpression handler reverse propagation callback (can be NULL)

Definition at line 510 of file expr.c.

References assert(), and NULL.

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

◆ SCIPexprhdlrSetGetSymdata()

void SCIPexprhdlrSetGetSymdata ( SCIP_EXPRHDLR * exprhdlr)

set the symmetry information callback of an expression handler

Parameters
exprhdlrexpression handler symmetry information callback (can be NULL)

Definition at line 521 of file expr.c.

References assert(), and NULL.

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

◆ SCIPexprhdlrSetEstimate()

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

◆ SCIPexprhdlrGetName()

const char * SCIPexprhdlrGetName ( SCIP_EXPRHDLR * exprhdlr)

gives the name of an expression handler

Parameters
exprhdlrexpression handler

Definition at line 545 of file expr.c.

References assert(), SCIP_Exprhdlr::name, and NULL.

Referenced by addSymmetryInformation(), atomic_userexpr::atomic_userexpr(), computeEstimatorsTrig(), computeInitialCutsTrig(), conshdlrsCanProvideSymInformation(), createAuxVar(), DECL_CURVCHECK(), detectNlhdlr(), enforceExpr(), enforceSP11(), eval(), exprIsNonSmooth(), 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(), 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
exprhdlrexpression handler

Definition at line 555 of file expr.c.

References assert(), 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 565 of file expr.c.

References assert(), 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 575 of file expr.c.

References assert(), SCIP_Exprhdlr::data, and NULL.

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

◆ SCIPexprhdlrHasPrint()

SCIP_Bool SCIPexprhdlrHasPrint ( SCIP_EXPRHDLR * exprhdlr)

returns whether expression handler implements the print callback

Parameters
exprhdlrexpression handler

Definition at line 585 of file expr.c.

References assert(), NULL, and SCIP_Bool.

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 595 of file expr.c.

References assert(), NULL, and SCIP_Bool.

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 605 of file expr.c.

References assert(), NULL, and SCIP_Bool.

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 615 of file expr.c.

References assert(), NULL, and SCIP_Bool.

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 625 of file expr.c.

References assert(), NULL, and SCIP_Bool.

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 635 of file expr.c.

References assert(), NULL, and SCIP_Bool.

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 645 of file expr.c.

References assert(), NULL, and SCIP_Bool.

◆ SCIPexprhdlrHasCurvature()

SCIP_Bool SCIPexprhdlrHasCurvature ( SCIP_EXPRHDLR * exprhdlr)

returns whether expression handler implements the curvature callback

Parameters
exprhdlrexpression handler

Definition at line 655 of file expr.c.

References assert(), NULL, and SCIP_Bool.

Referenced by SCIPcomputeExprCurvature().

◆ SCIPexprhdlrHasMonotonicity()

SCIP_Bool SCIPexprhdlrHasMonotonicity ( SCIP_EXPRHDLR * exprhdlr)

returns whether expression handler implements the monotonicity callback

Parameters
exprhdlrexpression handler

Definition at line 665 of file expr.c.

References assert(), NULL, and SCIP_Bool.

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 675 of file expr.c.

References assert(), NULL, and SCIP_Bool.

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

Definition at line 685 of file expr.c.

References assert(), NULL, and SCIP_Bool.

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

Definition at line 701 of file expr.c.

References assert(), 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 711 of file expr.c.

References assert(), SCIP_Exprhdlr::nintevalcalls, NULL, and SCIP_Longint.

Referenced by SCIPprintExpressionHandlerStatistics().

◆ SCIPexprhdlrGetIntevalTime()

SCIP_Real SCIPexprhdlrGetIntevalTime ( SCIP_EXPRHDLR * exprhdlr)

gets time spend in interval evaluation callback

Parameters
exprhdlrexpression handler

Definition at line 721 of file expr.c.

References assert(), SCIP_Exprhdlr::intevaltime, NULL, SCIP_Real, 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 731 of file expr.c.

References assert(), SCIP_Exprhdlr::npropcalls, NULL, and SCIP_Longint.

Referenced by SCIPprintExpressionHandlerStatistics().

◆ SCIPexprhdlrGetReversepropTime()

SCIP_Real SCIPexprhdlrGetReversepropTime ( SCIP_EXPRHDLR * exprhdlr)

gets time spend in reverse propagation callback

Parameters
exprhdlrexpression handler

Definition at line 741 of file expr.c.

References assert(), NULL, SCIP_Exprhdlr::proptime, SCIP_Real, 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 751 of file expr.c.

References assert(), SCIP_Exprhdlr::ncutoffs, NULL, and SCIP_Longint.

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 761 of file expr.c.

References assert(), SCIP_Exprhdlr::ndomreds, NULL, and SCIP_Longint.

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 771 of file expr.c.

References assert(), 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 783 of file expr.c.

References assert(), SCIP_Exprhdlr::nestimatecalls, NULL, and SCIP_Longint.

Referenced by SCIPprintExpressionHandlerStatistics().

◆ SCIPexprhdlrGetEstimateTime()

SCIP_Real SCIPexprhdlrGetEstimateTime ( SCIP_EXPRHDLR * exprhdlr)

gets time spend in estimation callback

Parameters
exprhdlrexpression handler

Definition at line 793 of file expr.c.

References assert(), SCIP_Exprhdlr::estimatetime, NULL, SCIP_Real, 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 807 of file expr.c.

References assert(), SCIP_Exprhdlr::nbranchscores, NULL, and SCIP_Longint.

Referenced by SCIPprintExpressionHandlerStatistics().

◆ SCIPexprhdlrIncrementNBranchings()

void SCIPexprhdlrIncrementNBranchings ( SCIP_EXPRHDLR * exprhdlr)

increments the branching candidates count of an expression handler

Parameters
exprhdlrexpression handler

Definition at line 817 of file expr.c.

References assert(), 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 827 of file expr.c.

References assert(), SCIP_Exprhdlr::nsimplifycalls, NULL, and SCIP_Longint.

Referenced by SCIPprintExpressionHandlerStatistics().

◆ SCIPexprhdlrGetSimplifyTime()

SCIP_Real SCIPexprhdlrGetSimplifyTime ( SCIP_EXPRHDLR * exprhdlr)

gets time spend in simplify callback

Parameters
exprhdlrexpression handler

Definition at line 837 of file expr.c.

References assert(), NULL, SCIP_Real, 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 847 of file expr.c.

References assert(), SCIP_Exprhdlr::nsimplified, NULL, and SCIP_Longint.

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

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

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

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

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

References assert(), and NULL.

Referenced by conshdlrsCanProvideSymInformation(), and SCIP_DECL_DIALOGEXEC().

◆ SCIPgetNExprhdlrs()

int SCIPgetNExprhdlrs ( SCIP * scip)

gives number of expression handlers

Parameters
scipSCIP data structure

Definition at line 864 of file scip_expr.c.

References assert(), and 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
scipSCIP data structure
namename of expression handler

Definition at line 875 of file scip_expr.c.

References assert(), 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
scipSCIP data structure

Definition at line 887 of file scip_expr.c.

References assert(), and NULL.

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

References assert(), and NULL.

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

References assert(), and 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
scipSCIP data structure

Definition at line 920 of file scip_expr.c.

References assert(), and NULL.

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

References assert(), and NULL.

Referenced by SCIPcreateExprPow().