assert(expr !=
NULL);
80assert(simplifiedexpr !=
NULL);
88*simplifiedexpr = expr;
109 if( requsize > varssize )
115assert(requsize <= nvars);
122 for( i = 0; i < nvars; ++i )
132 SCIP_CALL( SCIPcallExprSimplify(
scip, sumexpr, simplifiedexpr, ownercreate, ownercreatedata) );
166 returnindex1 < index2 ? -1 : index1 == index2 ? 0 : 1;
184assert(targetexprdata !=
NULL);
185assert(sourceexpr !=
NULL);
188assert(targetscip == sourcescip);
191assert(var !=
NULL);
206assert(expr !=
NULL);
209assert(exprdata !=
NULL);
222assert(expr !=
NULL);
237assert(expr !=
NULL);
257assert(expr !=
NULL);
279assert(expr !=
NULL);
282assert(var !=
NULL);
284 if( intevalvar !=
NULL)
285*interval = intevalvar(
scip, var, intevalvardata);
309assert(expr !=
NULL);
311assert(hashkey !=
NULL);
314assert(var !=
NULL);
327assert(expr !=
NULL);
328assert(success !=
NULL);
342assert(expr !=
NULL);
343assert(result !=
NULL);
356assert(expr !=
NULL);
357assert(isintegral !=
NULL);
372assert(exprhdlr !=
NULL);
395 void* ownercreatedata
400assert(expr !=
NULL);
401assert(var !=
NULL);
420assert(expr !=
NULL);
#define SCIP_INTERVAL_INFINITY
static SCIP_DECL_EXPRPRINT(printVar)
static SCIP_DECL_EXPRCOPYDATA(copydataVar)
static SCIP_DECL_EXPREVAL(evalVar)
static SCIP_DECL_EXPRSIMPLIFY(simplifyVar)
static SCIP_DECL_EXPRCOMPARE(compareVar)
static SCIP_DECL_EXPRBWFWDIFF(bwfwdiffVar)
static SCIP_DECL_EXPRCURVATURE(curvatureVar)
#define infty2infty(infty1, infty2, val)
static SCIP_DECL_EXPRFREEDATA(freedataVar)
static SCIP_DECL_EXPRHASH(hashVar)
static SCIP_DECL_EXPRMONOTONICITY(monotonicityVar)
static SCIP_DECL_EXPRCOPYHDLR(copyhdlrVar)
static SCIP_DECL_EXPRBWDIFF(bwdiffVar)
#define EXPRHDLR_PRECEDENCE
static SCIP_DECL_EXPRINTEGRALITY(integralityVar)
static SCIP_DECL_EXPRINTEVAL(intevalVar)
static SCIP_DECL_EXPRFWDIFF(fwdiffVar)
variable expression handler
SCIP_RETCODE SCIPcreateExprVar(SCIP *scip, SCIP_EXPR **expr, SCIP_VAR *var, SCIP_DECL_EXPR_OWNERCREATE((*ownercreate)), void *ownercreatedata)
SCIP_RETCODE SCIPappendExprSumExpr(SCIP *scip, SCIP_EXPR *expr, SCIP_EXPR *child, SCIP_Real childcoef)
SCIP_RETCODE SCIPcreateExprSum(SCIP *scip, SCIP_EXPR **expr, int nchildren, SCIP_EXPR **children, SCIP_Real *coefficients, SCIP_Real constant, SCIP_DECL_EXPR_OWNERCREATE((*ownercreate)), void *ownercreatedata)
SCIP_RETCODE SCIPincludeExprhdlrVar(SCIP *scip)
void SCIPinfoMessage(SCIP *scip, FILE *file, const char *formatstr,...)
unsigned int SCIPcalcFibHash(SCIP_Real v)
const char * SCIPexprhdlrGetName(SCIP_EXPRHDLR *exprhdlr)
void SCIPexprhdlrSetIntegrality(SCIP_EXPRHDLR *exprhdlr, SCIP_DECL_EXPRINTEGRALITY((*integrality)))
void SCIPexprhdlrSetCopyFreeData(SCIP_EXPRHDLR *exprhdlr, SCIP_DECL_EXPRCOPYDATA((*copydata)), SCIP_DECL_EXPRFREEDATA((*freedata)))
void SCIPexprhdlrSetPrint(SCIP_EXPRHDLR *exprhdlr, SCIP_DECL_EXPRPRINT((*print)))
void SCIPexprhdlrSetHash(SCIP_EXPRHDLR *exprhdlr, SCIP_DECL_EXPRHASH((*hash)))
void SCIPexprhdlrSetCopyFreeHdlr(SCIP_EXPRHDLR *exprhdlr, SCIP_DECL_EXPRCOPYHDLR((*copyhdlr)), SCIP_DECL_EXPRFREEHDLR((*freehdlr)))
void SCIPexprhdlrSetDiff(SCIP_EXPRHDLR *exprhdlr, SCIP_DECL_EXPRBWDIFF((*bwdiff)), SCIP_DECL_EXPRFWDIFF((*fwdiff)), SCIP_DECL_EXPRBWFWDIFF((*bwfwdiff)))
SCIP_EXPRHDLR * SCIPgetExprhdlrVar(SCIP *scip)
void SCIPexprhdlrSetMonotonicity(SCIP_EXPRHDLR *exprhdlr, SCIP_DECL_EXPRMONOTONICITY((*monotonicity)))
void SCIPexprhdlrSetIntEval(SCIP_EXPRHDLR *exprhdlr, SCIP_DECL_EXPRINTEVAL((*inteval)))
void SCIPexprhdlrSetCurvature(SCIP_EXPRHDLR *exprhdlr, SCIP_DECL_EXPRCURVATURE((*curvature)))
SCIP_RETCODE SCIPincludeExprhdlr(SCIP *scip, SCIP_EXPRHDLR **exprhdlr, const char *name, const char *desc, unsigned int precedence, SCIP_DECL_EXPREVAL((*eval)), SCIP_EXPRHDLRDATA *data)
void SCIPexprhdlrSetCompare(SCIP_EXPRHDLR *exprhdlr, SCIP_DECL_EXPRCOMPARE((*compare)))
void SCIPexprhdlrSetSimplify(SCIP_EXPRHDLR *exprhdlr, SCIP_DECL_EXPRSIMPLIFY((*simplify)))
SCIP_RETCODE SCIPcreateExpr(SCIP *scip, SCIP_EXPR **expr, SCIP_EXPRHDLR *exprhdlr, SCIP_EXPRDATA *exprdata, int nchildren, SCIP_EXPR **children, SCIP_DECL_EXPR_OWNERCREATE((*ownercreate)), void *ownercreatedata)
void SCIPexprSetData(SCIP_EXPR *expr, SCIP_EXPRDATA *exprdata)
int SCIPexprGetNChildren(SCIP_EXPR *expr)
SCIP_RETCODE SCIPreleaseExpr(SCIP *scip, SCIP_EXPR **expr)
SCIP_EXPRDATA * SCIPexprGetData(SCIP_EXPR *expr)
SCIP_RETCODE SCIPprintExpr(SCIP *scip, SCIP_EXPR *expr, FILE *file)
SCIP_VAR * SCIPgetVarExprVar(SCIP_EXPR *expr)
void SCIPcaptureExpr(SCIP_EXPR *expr)
SCIP_EXPRHDLR * SCIPexprGetHdlr(SCIP_EXPR *expr)
void SCIPintervalSetBounds(SCIP_INTERVAL *resultant, SCIP_Real inf, SCIP_Real sup)
#define SCIPallocBufferArray(scip, ptr, num)
#define SCIPreallocBufferArray(scip, ptr, num)
#define SCIPfreeBufferArray(scip, ptr)
SCIP_Real SCIPgetSolVal(SCIP *scip, SCIP_SOL *sol, SCIP_VAR *var)
SCIP_Real SCIPinfinity(SCIP *scip)
SCIP_Bool SCIPisInfinity(SCIP *scip, SCIP_Real val)
SCIP_RETCODE SCIPgetProbvarLinearSum(SCIP *scip, SCIP_VAR **vars, SCIP_Real *scalars, int *nvars, int varssize, SCIP_Real *constant, int *requiredsize, SCIP_Bool mergemultiples)
SCIP_Bool SCIPvarIsActive(SCIP_VAR *var)
SCIP_Real SCIPvarGetUbLocal(SCIP_VAR *var)
int SCIPvarGetIndex(SCIP_VAR *var)
const char * SCIPvarGetName(SCIP_VAR *var)
SCIP_RETCODE SCIPreleaseVar(SCIP *scip, SCIP_VAR **var)
SCIP_Bool SCIPvarIsIntegral(SCIP_VAR *var)
SCIP_Real SCIPvarGetLbLocal(SCIP_VAR *var)
SCIP_Bool SCIPvarIsOriginal(SCIP_VAR *var)
SCIP_RETCODE SCIPcaptureVar(SCIP *scip, SCIP_VAR *var)
#define SCIP_DECL_EXPR_OWNERCREATE(x)
struct SCIP_ExprData SCIP_EXPRDATA
#define SCIP_EXPRITER_ENTEREXPR
enum SCIP_Retcode SCIP_RETCODE
RetroSearch is an open source project built by @garambo | Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4