Detailed Description

constraint handler for nonlinear constraints specified by algebraic expressions

Author: Ksenia Bestuzheva; Benjamin Mueller; Felipe Serrano; Stefan Vigerske

#include <ctype.h>
#include "scip/cons_nonlinear.h"
#include "scip/nlhdlr.h"
#include "scip/expr_var.h"
#include "scip/expr_varidx.h"
#include "scip/expr_abs.h"
#include "scip/expr_sum.h"
#include "scip/expr_value.h"
#include "scip/expr_pow.h"
#include "scip/expr_trig.h"
#include "scip/nlhdlr_convex.h"
#include "scip/cons_linear.h"
#include "scip/cons_varbound.h"
#include "scip/cons_and.h"
#include "scip/cons_bounddisjunction.h"
#include "scip/heur_subnlp.h"
#include "scip/heur_trysol.h"
#include "scip/lapack_calls.h"
#include "scip/debug.h"
#include "scip/dialog_default.h"
#include "scip/scip_expr.h"
#include "scip/symmetry_graph.h"
#include "scip/prop_symmetry.h"
#include "symmetry/struct_symmetry.h"
#include "scip/pub_misc_sort.h"

Go to the source code of this file.

Data Structures
struct	EXPRENFO

struct	CONSUPGRADE

struct	BRANCHCAND

Macros
#define	CONSHDLR_NAME "nonlinear"

#define	CONSHDLR_DESC "handler for nonlinear constraints specified by algebraic expressions"

#define	CONSHDLR_ENFOPRIORITY 50

#define	CONSHDLR_CHECKPRIORITY -4000010

#define	CONSHDLR_EAGERFREQ 100

#define	CONSHDLR_NEEDSCONS TRUE

#define	CONSHDLR_SEPAPRIORITY 10

#define	CONSHDLR_SEPAFREQ 1

#define	CONSHDLR_DELAYSEPA FALSE

#define	CONSHDLR_PROPFREQ 1

#define	CONSHDLR_DELAYPROP FALSE

#define	CONSHDLR_PROP_TIMING SCIP_PROPTIMING_BEFORELP

#define	CONSHDLR_PRESOLTIMING SCIP_PRESOLTIMING_ALWAYS

#define	CONSHDLR_MAXPREROUNDS -1

#define	TABLE_NAME_NONLINEAR "cons_nonlinear"

#define	TABLE_DESC_NONLINEAR "nonlinear constraint handler statistics"

#define	TABLE_POSITION_NONLINEAR 14600

#define	TABLE_EARLIEST_STAGE_NONLINEAR SCIP_STAGE_TRANSFORMED

#define	TABLE_NAME_NLHDLR "nlhdlr"

#define	TABLE_DESC_NLHDLR "nonlinear handler statistics"

#define	TABLE_POSITION_NLHDLR 14601

#define	TABLE_EARLIEST_STAGE_NLHDLR SCIP_STAGE_PRESOLVING

#define	DIALOG_NAME "nlhdlrs"

#define	DIALOG_DESC "display nonlinear handlers"

#define	DIALOG_ISSUBMENU FALSE

#define	VERTEXPOLY_MAXPERTURBATION 1e-3

#define	VERTEXPOLY_USEDUALSIMPLEX TRUE

#define	VERTEXPOLY_RANDNUMINITSEED 20181029

#define	VERTEXPOLY_ADJUSTFACETFACTOR 1e1

#define	BRANCH_RANDNUMINITSEED 20191229

#define	BILIN_MAXNAUXEXPRS 10

#define	infty2infty(infty1, infty2, val) ((val) >= (infty1) ? (infty2) : (val))

#define	POWEROFTWO(x) (0x1u << (x))

#define	ENFOLOG(x)

#define	consInitpreNonlinear NULL

#define	consRespropNonlinear NULL

#define	consDelvarsNonlinear NULL

#define	consGetDiveBdChgsNonlinear NULL

Functions
static SCIP_RETCODE	forwardPropExpr (SCIP scip, SCIP_CONSHDLR conshdlr, SCIP_EXPR rootexpr, SCIP_Bool tightenauxvars, SCIP_Bool infeasible, int *ntightenings)

static SCIP_RETCODE	freeAuxVar (SCIP scip, SCIP_EXPR expr)

static SCIP_RETCODE	freeEnfoData (SCIP scip, SCIP_EXPR expr, SCIP_Bool freeauxvar)

static	SCIP_DECL_EXPR_OWNERFREE (exprownerFree)

static	SCIP_DECL_EXPR_OWNERPRINT (exprownerPrint)

static	SCIP_DECL_EXPR_OWNEREVALACTIVITY (exprownerEvalactivity)

static	SCIP_DECL_EXPR_OWNERCREATE (exprownerCreate)

static SCIP_RETCODE	createExprVar (SCIP scip, SCIP_CONSHDLR conshdlr, SCIP_EXPR *expr, SCIP_VAR var)

static	SCIP_DECL_EXPR_MAPEXPR (mapexprvar)

static	SCIP_DECL_EXPR_MAPEXPR (mapexprtransvar)

static SCIP_RETCODE	storeVarExprs (SCIP scip, SCIP_CONSHDLR conshdlr, SCIP_CONSDATA *consdata)

static SCIP_RETCODE	freeVarExprs (SCIP scip, SCIP_CONSDATA consdata)

static	SCIP_DECL_EXPR_INTEVALVAR (intEvalVarBoundTightening)

static	SCIP_DECL_SORTPTRCOMP (compIndexConsNonlinear)

static	SCIP_DECL_EVENTEXEC (processVarEvent)

static SCIP_RETCODE	catchVarEvent (SCIP scip, SCIP_EVENTHDLR eventhdlr, SCIP_EXPR expr, SCIP_CONS cons)

static SCIP_RETCODE	catchVarEvents (SCIP scip, SCIP_EVENTHDLR eventhdlr, SCIP_CONS *cons)

static SCIP_RETCODE	dropVarEvent (SCIP scip, SCIP_EVENTHDLR eventhdlr, SCIP_EXPR expr, SCIP_CONS cons)

static SCIP_RETCODE	dropVarEvents (SCIP scip, SCIP_EVENTHDLR eventhdlr, SCIP_CONS *cons)

static SCIP_RETCODE	createCons (SCIP scip, SCIP_CONSHDLR conshdlr, SCIP_CONS *cons, const char name, SCIP_EXPR *expr, SCIP_Real lhs, SCIP_Real rhs, SCIP_Bool copyexpr, SCIP_Bool initial, SCIP_Bool separate, SCIP_Bool enforce, SCIP_Bool check, SCIP_Bool propagate, SCIP_Bool local, SCIP_Bool modifiable, SCIP_Bool dynamic, SCIP_Bool removable)

static SCIP_Real	getExprAbsOrigViolation (SCIP scip, SCIP_EXPR expr, SCIP_SOL sol, SCIP_Bool violunder, SCIP_Bool *violover)

static SCIP_Real	getExprAbsAuxViolation (SCIP scip, SCIP_EXPR expr, SCIP_Real auxvalue, SCIP_SOL sol, SCIP_Bool violunder, SCIP_Bool *violover)

static SCIP_RETCODE	computeViolation (SCIP scip, SCIP_CONS cons, SCIP_SOL *sol, SCIP_Longint soltag)

static SCIP_Real	getConsAbsViolation (SCIP_CONS *cons)

static SCIP_RETCODE	getConsRelViolation (SCIP scip, SCIP_CONS cons, SCIP_Real viol, SCIP_SOL sol, SCIP_Longint soltag)

static SCIP_Bool	isConsViolated (SCIP scip, SCIP_CONS cons)

static void	findUnlockedLinearVar (SCIP scip, SCIP_CONS cons)

static SCIP_RETCODE	proposeFeasibleSolution (SCIP scip, SCIP_CONSHDLR conshdlr, SCIP_CONS *conss, int nconss, SCIP_SOL sol, SCIP_Bool *success)

static SCIP_RETCODE	notifyNlhdlrNewsol (SCIP scip, SCIP_CONSHDLR conshdlr, SCIP_CONS *conss, int nconss, SCIP_SOL sol, SCIP_Bool solisbest)

static	SCIP_DECL_EVENTEXEC (processNewSolutionEvent)

static SCIP_RETCODE	tightenAuxVarBounds (SCIP scip, SCIP_CONSHDLR conshdlr, SCIP_EXPR expr, SCIP_INTERVAL bounds, SCIP_Bool cutoff, int *ntightenings)

static SCIP_Bool	isIntervalBetter (SCIP *scip, SCIP_Bool subsetsufficient, SCIP_INTERVAL newinterval, SCIP_INTERVAL oldinterval)

static SCIP_RETCODE	reversePropQueue (SCIP scip, SCIP_CONSHDLR conshdlr, SCIP_Bool infeasible, int ntightenings)

static SCIP_RETCODE	propConss (SCIP scip, SCIP_CONSHDLR conshdlr, SCIP_CONS *conss, int nconss, SCIP_Bool force, SCIP_RESULT result, int *nchgbds)

static SCIP_RETCODE	propExprDomains (SCIP scip, SCIP_CONSHDLR conshdlr, SCIP_CONS *conss, int nconss, SCIP_RESULT result, int *nchgbds)

static SCIP_RETCODE	propagateLocks (SCIP scip, SCIP_EXPR expr, int nlockspos, int nlocksneg)

static SCIP_RETCODE	addLocks (SCIP scip, SCIP_CONS cons, int nlockspos, int nlocksneg)

static SCIP_RETCODE	createNlRow (SCIP scip, SCIP_CONS cons)

static	SCIP_DECL_SORTPTRCOMP (enfodataCmp)

static SCIP_RETCODE	detectNlhdlr (SCIP scip, SCIP_EXPR expr, SCIP_CONS *cons)

static SCIP_RETCODE	detectNlhdlrs (SCIP scip, SCIP_CONSHDLR conshdlr, SCIP_CONS **conss, int nconss)

static SCIP_RETCODE	initSolve (SCIP scip, SCIP_CONSHDLR conshdlr, SCIP_CONS **conss, int nconss)

static SCIP_RETCODE	deinitSolve (SCIP scip, SCIP_CONSHDLR conshdlr, SCIP_CONS **conss, int nconss)

static SCIP_Bool	isBinaryProduct (SCIP scip, SCIP_EXPR expr)

static SCIP_RETCODE	getBilinearBinaryTerms (SCIP scip, SCIP_EXPR sumexpr, SCIP_VAR xs, SCIP_VAR ys, int childidxs, int nterms)

static SCIP_RETCODE	reformulateFactorizedBinaryQuadratic (SCIP scip, SCIP_CONSHDLR conshdlr, SCIP_CONS cons, SCIP_VAR facvar, SCIP_VAR *vars, SCIP_Real coefs, int nvars, SCIP_EXPR *newexpr, int naddconss)

static SCIP_RETCODE	getFactorizedBinaryQuadraticExpr (SCIP scip, SCIP_CONSHDLR conshdlr, SCIP_CONS cons, SCIP_EXPR sumexpr, int minterms, SCIP_EXPR *newexpr, int naddconss)

static SCIP_RETCODE	getBinaryProductExprDo (SCIP scip, SCIP_CONSHDLR conshdlr, SCIP_EXPR prodexpr, SCIP_EXPR newexpr, int naddconss, SCIP_Bool empathy4and)

static SCIP_RETCODE	getBinaryProductExpr (SCIP scip, SCIP_CONSHDLR conshdlr, SCIP_HASHMAP exprmap, SCIP_EXPR prodexpr, SCIP_EXPR *newexpr, int naddconss, int *nchgcoefs)

static SCIP_RETCODE	replaceBinaryProducts (SCIP scip, SCIP_CONSHDLR conshdlr, SCIP_CONS cons, SCIP_HASHMAP exprmap, SCIP_EXPRITER it, int naddconss, int *nchgcoefs)

static SCIP_RETCODE	presolveBinaryProducts (SCIP scip, SCIP_CONSHDLR conshdlr, SCIP_CONS *conss, int nconss, int naddconss, int *nchgcoefs)

static SCIP_RETCODE	scaleConsSides (SCIP scip, SCIP_CONSHDLR conshdlr, SCIP_CONS cons, SCIP_Bool changed)

static SCIP_RETCODE	forbidNonlinearVariablesMultiaggration (SCIP scip, SCIP_CONSHDLR conshdlr, SCIP_CONS **conss, int nconss)

static SCIP_RETCODE	canonicalizeConstraints (SCIP scip, SCIP_CONSHDLR conshdlr, SCIP_CONS *conss, int nconss, SCIP_PRESOLTIMING presoltiming, SCIP_Bool infeasible, int ndelconss, int naddconss, int *nchgcoefs)

static SCIP_RETCODE	presolveMergeConss (SCIP scip, SCIP_CONS conss, int nconss, SCIP_Bool success)

static	SCIP_DECL_EXPR_INTEVALVAR (intEvalVarRedundancyCheck)

static SCIP_RETCODE	presolveRedundantConss (SCIP scip, SCIP_CONSHDLR conshdlr, SCIP_CONS *conss, int nconss, SCIP_Bool cutoff, int ndelconss, int nchgbds)

static SCIP_RETCODE	presolveUpgrade (SCIP scip, SCIP_CONSHDLR conshdlr, SCIP_CONS cons, SCIP_Bool upgraded, int nupgdconss, int naddconss)

static SCIP_Bool	isSingleLockedCand (SCIP scip, SCIP_EXPR expr)

static SCIP_RETCODE	removeSingleLockedVars (SCIP scip, SCIP_EXPR expr, SCIP_EXPRITER it, SCIP_HASHMAP exprcands)

static SCIP_RETCODE	presolveSingleLockedVars (SCIP scip, SCIP_CONSHDLR conshdlr, SCIP_CONS cons, int nchgvartypes, int naddconss, SCIP_Bool infeasible)

static SCIP_RETCODE	presolveImplint (SCIP scip, SCIP_CONSHDLR conshdlr, SCIP_CONS *conss, int nconss, int nchgvartypes, SCIP_Bool *infeasible)

static SCIP_RETCODE	createAuxVar (SCIP scip, SCIP_EXPR expr)

static SCIP_RETCODE	initSepa (SCIP scip, SCIP_CONSHDLR conshdlr, SCIP_CONS *conss, int nconss, SCIP_Bool infeasible)

static SCIP_Bool	branchAuxNonlinear (SCIP scip, SCIP_CONSHDLR conshdlr)

static SCIP_Real	getViolSplitWeight (SCIP scip, SCIP_CONSHDLR conshdlr, SCIP_VAR var, SCIP_SOL sol)

static void	addExprsViolScore (SCIP scip, SCIP_EXPR exprs, int nexprs, SCIP_Real violscore, SCIP_SOL sol, SCIP_Bool *success)

static SCIP_RETCODE	addExprViolScoresAuxVars (SCIP scip, SCIP_EXPR expr, SCIP_Real violscore, SCIP_VAR *auxvars, int nauxvars, SCIP_SOL sol, SCIP_Bool *success)

static SCIP_RETCODE	registerBranchingCandidatesAllUnfixed (SCIP scip, SCIP_CONSHDLR conshdlr, SCIP_CONS *conss, int nconss, int nnotify)

static SCIP_RETCODE	registerBranchingCandidates (SCIP scip, SCIP_CONSHDLR conshdlr, SCIP_CONS *conss, int nconss, SCIP_Bool success)

static SCIP_RETCODE	collectBranchingCandidates (SCIP scip, SCIP_CONSHDLR conshdlr, SCIP_CONS *conss, int nconss, SCIP_Real maxrelconsviol, SCIP_SOL sol, SCIP_Longint soltag, BRANCHCAND cands, int ncands)

static SCIP_Real	getDualBranchscore (SCIP scip, SCIP_CONSHDLR conshdlr, SCIP_VAR *var)

static void	scoreBranchingCandidates (SCIP scip, SCIP_CONSHDLR conshdlr, BRANCHCAND cands, int ncands, SCIP_Bool considerfracnl, SCIP_SOL sol)

static	SCIP_DECL_SORTINDCOMP (branchcandCompare)

static SCIP_RETCODE	selectBranchingCandidate (SCIP scip, SCIP_CONSHDLR conshdlr, BRANCHCAND cands, int ncands, SCIP_Bool considerfracnl, BRANCHCAND *selected)

static SCIP_RETCODE	branching (SCIP scip, SCIP_CONSHDLR conshdlr, SCIP_CONS *conss, int nconss, SCIP_Real maxrelconsviol, SCIP_SOL sol, SCIP_Longint soltag, SCIP_RESULT *result)

static SCIP_RETCODE	enforceExprNlhdlr (SCIP scip, SCIP_CONSHDLR conshdlr, SCIP_CONS cons, SCIP_NLHDLR nlhdlr, SCIP_EXPR expr, SCIP_NLHDLREXPRDATA nlhdlrexprdata, SCIP_SOL sol, SCIP_Real auxvalue, SCIP_Bool overestimate, SCIP_Bool separated, SCIP_Bool allowweakcuts, SCIP_Bool inenforcement, SCIP_Bool branchcandonly, SCIP_RESULT result)

static SCIP_RETCODE	enforceExpr (SCIP scip, SCIP_CONSHDLR conshdlr, SCIP_CONS cons, SCIP_EXPR expr, SCIP_SOL sol, SCIP_Longint soltag, SCIP_Bool allowweakcuts, SCIP_Bool inenforcement, SCIP_Bool branchcandonly, SCIP_RESULT result)

static SCIP_RETCODE	enforceConstraint (SCIP scip, SCIP_CONSHDLR conshdlr, SCIP_CONS cons, SCIP_SOL sol, SCIP_Longint soltag, SCIP_EXPRITER it, SCIP_Bool allowweakcuts, SCIP_Bool inenforcement, SCIP_Bool branchcandonly, SCIP_RESULT result, SCIP_Bool *success)

static SCIP_RETCODE	enforceConstraints (SCIP scip, SCIP_CONSHDLR conshdlr, SCIP_CONS *conss, int nconss, SCIP_SOL sol, SCIP_Longint soltag, SCIP_Bool inenforcement, SCIP_Bool branchcandonly, SCIP_Real maxrelconsviol, SCIP_RESULT *result)

static SCIP_RETCODE	branchingIntegralOrNonlinear (SCIP scip, SCIP_CONSHDLR conshdlr, SCIP_CONS *conss, int nconss, SCIP_Longint soltag, SCIP_Real maxrelconsviol, SCIP_Bool branchintegral, SCIP_Bool *cutoff)

static SCIP_Bool	branchingIntegralFirst (SCIP scip, SCIP_CONSHDLR conshdlr)

static SCIP_RETCODE	analyzeViolation (SCIP scip, SCIP_CONS conss, int nconss, SCIP_SOL sol, SCIP_Longint soltag, SCIP_Real maxabsconsviol, SCIP_Real maxrelconsviol, SCIP_Real minauxviol, SCIP_Real maxauxviol, SCIP_Real *maxvarboundviol)

static SCIP_RETCODE	consEnfo (SCIP scip, SCIP_CONSHDLR conshdlr, SCIP_CONS *conss, int nconss, SCIP_SOL sol, SCIP_RESULT *result)

static SCIP_RETCODE	consSepa (SCIP scip, SCIP_CONSHDLR conshdlr, SCIP_CONS *conss, int nconss, SCIP_SOL sol, SCIP_RESULT *result)

static	SCIP_DECL_HASHGETKEY (bilinearTermsGetHashkey)

static	SCIP_DECL_HASHKEYEQ (bilinearTermsIsHashkeyEq)

static	SCIP_DECL_HASHKEYVAL (bilinearTermsGetHashkeyVal)

static	SCIP_DECL_SORTPTRCOMP (auxexprComp)

static SCIP_RETCODE	bilinTermAddAuxExpr (SCIP scip, SCIP_CONSHDLRDATA conshdlrdata, SCIP_CONSNONLINEAR_BILINTERM term, SCIP_CONSNONLINEAR_AUXEXPR auxexpr, SCIP_Bool *added)

static SCIP_RETCODE	bilinearTermsInsertAll (SCIP scip, SCIP_CONSHDLR conshdlr, SCIP_CONS **conss, int nconss)

static SCIP_RETCODE	bilinearTermsInsertEntry (SCIP scip, SCIP_CONSHDLR conshdlr, SCIP_VAR x, SCIP_VAR y, int nlockspos, int nlocksneg, int *idx, SCIP_Bool existing)

static SCIP_RETCODE	bilinearTermsFree (SCIP scip, SCIP_CONSHDLRDATA conshdlrdata)

static SCIP_RETCODE	buildVertexPolyhedralSeparationLP (SCIP scip, int nvars, SCIP_LPI *lp)

static SCIP_Real	computeVertexPolyhedralMaxFacetError (SCIP scip, SCIP_Bool overestimate, SCIP_Real funvals, SCIP_Real box, int nallvars, int nvars, int nonfixedpos, SCIP_Real *facetcoefs, SCIP_Real facetconstant)

static SCIP_RETCODE	computeVertexPolyhedralFacetLP (SCIP scip, SCIP_CONSHDLR conshdlr, SCIP_Bool overestimate, SCIP_Real xstar, SCIP_Real box, int nallvars, int nonfixedpos, SCIP_Real funvals, int nvars, SCIP_Real targetvalue, SCIP_Bool success, SCIP_Real facetcoefs, SCIP_Real *facetconstant)

static SCIP_RETCODE	computeVertexPolyhedralFacetUnivariate (SCIP scip, SCIP_Real left, SCIP_Real right, SCIP_Real funleft, SCIP_Real funright, SCIP_Bool success, SCIP_Real facetcoef, SCIP_Real facetconstant)

static SCIP_RETCODE	computeHyperplaneThreePoints (SCIP scip, SCIP_Real a1, SCIP_Real a2, SCIP_Real a3, SCIP_Real b1, SCIP_Real b2, SCIP_Real b3, SCIP_Real c1, SCIP_Real c2, SCIP_Real c3, SCIP_Real alpha, SCIP_Real beta, SCIP_Real gamma_, SCIP_Real *delta)

static SCIP_RETCODE	computeVertexPolyhedralFacetBivariate (SCIP scip, SCIP_Bool overestimate, SCIP_Real p1[2], SCIP_Real p2[2], SCIP_Real p3[2], SCIP_Real p4[2], SCIP_Real p1val, SCIP_Real p2val, SCIP_Real p3val, SCIP_Real p4val, SCIP_Real xstar[2], SCIP_Real targetvalue, SCIP_Bool success, SCIP_Real facetcoefs, SCIP_Real facetconstant)

static SCIP_RETCODE	ensureOpenArraySizeSymdetect (SCIP scip, int openidx, int nelems, int maxnelems)

static SCIP_RETCODE	ensureLocVarsArraySize (SCIP scip, SCIP_VAR vars, SCIP_Real vals, int nelems, int *maxnelems)

static SCIP_RETCODE	tryAddGadgetBilinearProductSignedPerm (SCIP scip, SCIP_EXPR expr, SCIP_CONS cons, SYM_GRAPH graph, int parentidx, SCIP_Bool hasparentcoef, SCIP_Real parentcoef, SCIP_VAR *consvars, SCIP_Real consvals, int maxnconsvars, SCIP_HASHSET handledexprs, SCIP_Bool *success)

static SCIP_Bool	isEvenOperator (SCIP scip, SCIP_EXPR expr, SCIP_Bool hasvalue, SCIP_Real value)

static SCIP_Bool	varIsCenteredAt0 (SCIP scip, SCIP_VAR var)

static SCIP_RETCODE	tryAddGadgetEvenOperatorVariable (SCIP scip, SCIP_EXPR evenopexpr, SCIP_EXPR child, SCIP_CONS cons, SYM_GRAPH graph, int parentidx, SCIP_Bool hasparentcoef, SCIP_Real parentcoef, SCIP_Bool hassymval, SCIP_Real symval, SCIP_VAR consvars, SCIP_Real consvals, int maxnconsvars, SCIP_Bool success)

static SCIP_RETCODE	tryAddGadgetEvenOperatorSum (SCIP scip, SCIP_EXPR evenopexpr, SCIP_EXPR child, SCIP_CONS cons, SYM_GRAPH graph, int parentidx, SCIP_Bool hasparentcoef, SCIP_Real parentcoef, SCIP_Bool hassymval, SCIP_Real symval, SCIP_VAR consvars, SCIP_Real consvals, int maxnconsvars, SCIP_HASHSET handledexprs, SCIP_Bool *success)

static SCIP_RETCODE	tryAddGadgetEvenOperator (SCIP scip, SCIP_EXPR expr, SCIP_CONS cons, SYM_GRAPH graph, int parentidx, SCIP_Bool hasparentcoef, SCIP_Real parentcoef, SCIP_VAR *consvars, SCIP_Real consvals, int maxnconsvars, SCIP_HASHSET handledexprs, SCIP_Bool *success)

static	SCIP_DECL_SORTINDCOMP (SCIPsortVarPtr)

static SCIP_Real	getDomainCenter (SCIP scip, SCIP_VAR var)

static SCIP_RETCODE	tryAddGadgetSquaredDifference (SCIP scip, SCIP_EXPR sumexpr, SCIP_CONS cons, SYM_GRAPH graph, int sumnodeidx, SCIP_VAR *consvars, SCIP_Real consvals, int maxnconsvars, SCIP_HASHSET handledexprs)

static SCIP_RETCODE	addSymmetryInformation (SCIP scip, SYM_SYMTYPE symtype, SCIP_CONS cons, SYM_GRAPH graph, SCIP_Bool success)

static	SCIP_DECL_CONSHDLRCOPY (conshdlrCopyNonlinear)

static	SCIP_DECL_CONSFREE (consFreeNonlinear)

static	SCIP_DECL_CONSINIT (consInitNonlinear)

static	SCIP_DECL_CONSEXIT (consExitNonlinear)

static	SCIP_DECL_CONSEXITPRE (consExitpreNonlinear)

static	SCIP_DECL_CONSINITSOL (consInitsolNonlinear)

static	SCIP_DECL_CONSEXITSOL (consExitsolNonlinear)

static	SCIP_DECL_CONSDELETE (consDeleteNonlinear)

static	SCIP_DECL_CONSTRANS (consTransNonlinear)

static	SCIP_DECL_CONSINITLP (consInitlpNonlinear)

static	SCIP_DECL_CONSSEPALP (consSepalpNonlinear)

static	SCIP_DECL_CONSSEPASOL (consSepasolNonlinear)

static	SCIP_DECL_CONSENFOLP (consEnfolpNonlinear)

static	SCIP_DECL_CONSENFORELAX (consEnforelaxNonlinear)

static	SCIP_DECL_CONSENFOPS (consEnfopsNonlinear)

static	SCIP_DECL_CONSCHECK (consCheckNonlinear)

static	SCIP_DECL_CONSPROP (consPropNonlinear)

static	SCIP_DECL_CONSPRESOL (consPresolNonlinear)

static	SCIP_DECL_CONSLOCK (consLockNonlinear)

static	SCIP_DECL_CONSACTIVE (consActiveNonlinear)

static	SCIP_DECL_CONSDEACTIVE (consDeactiveNonlinear)

static	SCIP_DECL_CONSENABLE (consEnableNonlinear)

static	SCIP_DECL_CONSDISABLE (consDisableNonlinear)

static	SCIP_DECL_CONSPRINT (consPrintNonlinear)

static	SCIP_DECL_CONSCOPY (consCopyNonlinear)

static	SCIP_DECL_CONSPARSE (consParseNonlinear)

static	SCIP_DECL_CONSGETVARS (consGetVarsNonlinear)

static	SCIP_DECL_CONSGETNVARS (consGetNVarsNonlinear)

static	SCIP_DECL_CONSGETPERMSYMGRAPH (consGetPermsymGraphNonlinear)

static	SCIP_DECL_CONSGETSIGNEDPERMSYMGRAPH (consGetSignedPermsymGraphNonlinear)

static	SCIP_DECL_TABLEOUTPUT (tableOutputNonlinear)

static	SCIP_DECL_TABLEOUTPUT (tableOutputNlhdlr)

static	SCIP_DECL_DIALOGEXEC (dialogExecDisplayNlhdlrs)

SCIP_RETCODE	SCIPincludeConshdlrNonlinear (SCIP *scip)

SCIP_RETCODE	SCIPincludeConsUpgradeNonlinear (SCIP scip, SCIP_DECL_NONLINCONSUPGD((nlconsupgd)), int priority, SCIP_Bool active, const char *conshdlrname)

SCIP_RETCODE	SCIPcreateConsNonlinear (SCIP scip, SCIP_CONS cons, const char name, SCIP_EXPR *expr, SCIP_Real lhs, SCIP_Real rhs, SCIP_Bool initial, SCIP_Bool separate, SCIP_Bool enforce, SCIP_Bool check, SCIP_Bool propagate, SCIP_Bool local, SCIP_Bool modifiable, SCIP_Bool dynamic, SCIP_Bool removable)

SCIP_RETCODE	SCIPcreateConsBasicNonlinear (SCIP scip, SCIP_CONS cons, const char name, SCIP_EXPR *expr, SCIP_Real lhs, SCIP_Real rhs)

SCIP_RETCODE	SCIPcreateConsQuadraticNonlinear (SCIP scip, SCIP_CONS cons, const char name, int nlinvars, SCIP_VAR *linvars, SCIP_Real lincoefs, int nquadterms, SCIP_VAR quadvars1, SCIP_VAR quadvars2, SCIP_Real *quadcoefs, SCIP_Real lhs, SCIP_Real rhs, SCIP_Bool initial, SCIP_Bool separate, SCIP_Bool enforce, SCIP_Bool check, SCIP_Bool propagate, SCIP_Bool local, SCIP_Bool modifiable, SCIP_Bool dynamic, SCIP_Bool removable)

SCIP_RETCODE	SCIPcreateConsBasicQuadraticNonlinear (SCIP scip, SCIP_CONS cons, const char name, int nlinvars, SCIP_VAR *linvars, SCIP_Real lincoefs, int nquadterms, SCIP_VAR quadvars1, SCIP_VAR quadvars2, SCIP_Real *quadcoefs, SCIP_Real lhs, SCIP_Real rhs)

SCIP_RETCODE	SCIPcreateConsBasicSOCNonlinear (SCIP scip, SCIP_CONS cons, const char name, int nvars, SCIP_VAR *vars, SCIP_Real coefs, SCIP_Real offsets, SCIP_Real constant, SCIP_VAR rhsvar, SCIP_Real rhscoeff, SCIP_Real rhsoffset)

SCIP_RETCODE	SCIPcreateConsBasicSignpowerNonlinear (SCIP scip, SCIP_CONS cons, const char name, SCIP_VAR x, SCIP_VAR z, SCIP_Real exponent, SCIP_Real xoffset, SCIP_Real zcoef, SCIP_Real lhs, SCIP_Real rhs)

SCIP_Longint	SCIPgetCurBoundsTagNonlinear (SCIP_CONSHDLR *conshdlr)

SCIP_Longint	SCIPgetLastBoundRelaxTagNonlinear (SCIP_CONSHDLR *conshdlr)

void	SCIPincrementCurBoundsTagNonlinear (SCIP_CONSHDLR *conshdlr, SCIP_Bool boundrelax)

SCIP_HASHMAP *	SCIPgetVarExprHashmapNonlinear (SCIP_CONSHDLR *conshdlr)

SCIP_RETCODE	SCIPprocessRowprepNonlinear (SCIP scip, SCIP_NLHDLR nlhdlr, SCIP_CONS cons, SCIP_EXPR expr, SCIP_ROWPREP rowprep, SCIP_Bool overestimate, SCIP_VAR auxvar, SCIP_Real auxvalue, SCIP_Bool allowweakcuts, SCIP_Bool branchscoresuccess, SCIP_Bool inenforcement, SCIP_SOL sol, SCIP_RESULT result)

SCIP_Bool	SCIPassumeConvexNonlinear (SCIP_CONSHDLR *conshdlr)

SCIP_RETCODE	SCIPcollectBilinTermsNonlinear (SCIP scip, SCIP_CONSHDLR conshdlr, SCIP_CONS **conss, int nconss)

int	SCIPgetNBilinTermsNonlinear (SCIP_CONSHDLR *conshdlr)

SCIP_CONSNONLINEAR_BILINTERM *	SCIPgetBilinTermsNonlinear (SCIP_CONSHDLR *conshdlr)

int	SCIPgetBilinTermIdxNonlinear (SCIP_CONSHDLR conshdlr, SCIP_VAR x, SCIP_VAR *y)

SCIP_CONSNONLINEAR_BILINTERM *	SCIPgetBilinTermNonlinear (SCIP_CONSHDLR conshdlr, SCIP_VAR x, SCIP_VAR *y)

SCIP_Real	SCIPevalBilinAuxExprNonlinear (SCIP scip, SCIP_VAR x, SCIP_VAR y, SCIP_CONSNONLINEAR_AUXEXPR auxexpr, SCIP_SOL *sol)

SCIP_RETCODE	SCIPinsertBilinearTermExistingNonlinear (SCIP scip, SCIP_CONSHDLR conshdlr, SCIP_VAR x, SCIP_VAR y, SCIP_VAR *auxvar, int nlockspos, int nlocksneg)

SCIP_RETCODE	SCIPinsertBilinearTermImplicitNonlinear (SCIP scip, SCIP_CONSHDLR conshdlr, SCIP_VAR x, SCIP_VAR y, SCIP_VAR *auxvar, SCIP_Real coefx, SCIP_Real coefy, SCIP_Real coefaux, SCIP_Real cst, SCIP_Bool overestimate)

SCIP_RETCODE	SCIPcomputeFacetVertexPolyhedralNonlinear (SCIP scip, SCIP_CONSHDLR conshdlr, SCIP_Bool overestimate, SCIP_DECL_VERTEXPOLYFUN((function)), void fundata, SCIP_Real xstar, SCIP_Real box, int nallvars, SCIP_Real targetvalue, SCIP_Bool success, SCIP_Real facetcoefs, SCIP_Real *facetconstant)

SCIP_EXPR *	SCIPgetExprNonlinear (SCIP_CONS *cons)

SCIP_Real	SCIPgetLhsNonlinear (SCIP_CONS *cons)

SCIP_Real	SCIPgetRhsNonlinear (SCIP_CONS *cons)

SCIP_RETCODE	SCIPgetNlRowNonlinear (SCIP scip, SCIP_CONS cons, SCIP_NLROW **nlrow)

SCIP_EXPRCURV	SCIPgetCurvatureNonlinear (SCIP_CONS *cons)

SCIP_RETCODE	SCIPcheckQuadraticNonlinear (SCIP scip, SCIP_CONS cons, SCIP_Bool *isquadratic)

SCIP_RETCODE	SCIPchgLhsNonlinear (SCIP scip, SCIP_CONS cons, SCIP_Real lhs)

SCIP_RETCODE	SCIPchgRhsNonlinear (SCIP scip, SCIP_CONS cons, SCIP_Real rhs)

SCIP_RETCODE	SCIPchgExprNonlinear (SCIP scip, SCIP_CONS cons, SCIP_EXPR *expr)

SCIP_RETCODE	SCIPaddLinearVarNonlinear (SCIP scip, SCIP_CONS cons, SCIP_VAR *var, SCIP_Real coef)

SCIP_RETCODE	SCIPaddExprNonlinear (SCIP scip, SCIP_CONS cons, SCIP_EXPR *expr, SCIP_Real coef)

SCIP_RETCODE	SCIPgetExprActivityNonlinear (SCIP scip, SCIP_CONS cons, SCIP_SOL sol, SCIP_Real activity)

SCIP_RETCODE	SCIPgetAbsViolationNonlinear (SCIP scip, SCIP_CONS cons, SCIP_SOL sol, SCIP_Real viol)

SCIP_RETCODE	SCIPgetRelViolationNonlinear (SCIP scip, SCIP_CONS cons, SCIP_SOL sol, SCIP_Real viol)

void	SCIPgetLinvarMayDecreaseNonlinear (SCIP scip, SCIP_CONS cons, SCIP_VAR *var, SCIP_Real coef)

void	SCIPgetLinvarMayIncreaseNonlinear (SCIP scip, SCIP_CONS cons, SCIP_VAR *var, SCIP_Real coef)

int	SCIPgetExprNLocksPosNonlinear (SCIP_EXPR *expr)

int	SCIPgetExprNLocksNegNonlinear (SCIP_EXPR *expr)

SCIP_VAR *	SCIPgetExprAuxVarNonlinear (SCIP_EXPR *expr)

int	SCIPgetExprNEnfosNonlinear (SCIP_EXPR *expr)

void	SCIPgetExprEnfoDataNonlinear (SCIP_EXPR expr, int idx, SCIP_NLHDLR nlhdlr, SCIP_NLHDLREXPRDATA nlhdlrexprdata, SCIP_NLHDLR_METHOD nlhdlrparticipation, SCIP_Bool sepabelowusesactivity, SCIP_Bool sepaaboveusesactivity, SCIP_Real *auxvalue)

void	SCIPsetExprEnfoAuxValueNonlinear (SCIP_EXPR *expr, int idx, SCIP_Real auxvalue)

unsigned int	SCIPgetExprNPropUsesActivityNonlinear (SCIP_EXPR *expr)

unsigned int	SCIPgetExprNSepaUsesActivityNonlinear (SCIP_EXPR *expr)

unsigned int	SCIPgetExprNAuxvarUsesNonlinear (SCIP_EXPR *expr)

SCIP_RETCODE	SCIPregisterExprUsageNonlinear (SCIP scip, SCIP_EXPR expr, SCIP_Bool useauxvar, SCIP_Bool useactivityforprop, SCIP_Bool useactivityforsepabelow, SCIP_Bool useactivityforsepaabove)

SCIP_RETCODE	SCIPgetExprAbsOrigViolationNonlinear (SCIP scip, SCIP_EXPR expr, SCIP_SOL sol, SCIP_Longint soltag, SCIP_Real viol, SCIP_Bool violunder, SCIP_Bool violover)

SCIP_RETCODE	SCIPgetExprAbsAuxViolationNonlinear (SCIP scip, SCIP_EXPR expr, SCIP_Real auxvalue, SCIP_SOL sol, SCIP_Real viol, SCIP_Bool violunder, SCIP_Bool violover)

SCIP_RETCODE	SCIPgetExprRelAuxViolationNonlinear (SCIP scip, SCIP_EXPR expr, SCIP_Real auxvalue, SCIP_SOL sol, SCIP_Real viol, SCIP_Bool violunder, SCIP_Bool violover)

SCIP_INTERVAL	SCIPgetExprBoundsNonlinear (SCIP scip, SCIP_EXPR expr)

SCIP_RETCODE	SCIPtightenExprIntervalNonlinear (SCIP scip, SCIP_EXPR expr, SCIP_INTERVAL newbounds, SCIP_Bool cutoff, int ntightenings)

SCIP_RETCODE	SCIPmarkExprPropagateNonlinear (SCIP scip, SCIP_EXPR expr)

void	SCIPaddExprViolScoreNonlinear (SCIP scip, SCIP_EXPR expr, SCIP_Real violscore)

SCIP_RETCODE	SCIPaddExprsViolScoreNonlinear (SCIP scip, SCIP_EXPR exprs, int nexprs, SCIP_Real violscore, SCIP_SOL sol, SCIP_Bool *success)

SCIP_Real	SCIPgetExprViolScoreNonlinear (SCIP_EXPR *expr)

SCIP_Real	SCIPgetExprPartialDiffNonlinear (SCIP scip, SCIP_EXPR expr, SCIP_VAR *var)

SCIP_Real	SCIPgetExprPartialDiffGradientDirNonlinear (SCIP scip, SCIP_EXPR expr, SCIP_VAR *var)

SCIP_Real	SCIPevalExprQuadraticAuxNonlinear (SCIP scip, SCIP_EXPR expr, SCIP_SOL *sol)

SCIP_RETCODE	SCIPincludeNlhdlrNonlinear (SCIP scip, SCIP_NLHDLR nlhdlr, const char name, const char desc, int detectpriority, int enfopriority, SCIP_DECL_NLHDLRDETECT((detect)), SCIP_DECL_NLHDLREVALAUX((evalaux)), SCIP_NLHDLRDATA nlhdlrdata)

int	SCIPgetNNlhdlrsNonlinear (SCIP_CONSHDLR *conshdlr)

SCIP_NLHDLR **	SCIPgetNlhdlrsNonlinear (SCIP_CONSHDLR *conshdlr)

SCIP_NLHDLR *	SCIPfindNlhdlrNonlinear (SCIP_CONSHDLR conshdlr, const char name)

SCIP_NLHDLREXPRDATA *	SCIPgetNlhdlrExprDataNonlinear (SCIP_NLHDLR nlhdlr, SCIP_EXPR expr)

Macro Definition Documentation

◆ CONSHDLR_NAME

◆ CONSHDLR_DESC

#define CONSHDLR_DESC "handler for nonlinear constraints specified by algebraic expressions"

Definition at line 84 of file cons_nonlinear.c.

Referenced by SCIPincludeConshdlrNonlinear().

◆ CONSHDLR_ENFOPRIORITY

#define CONSHDLR_ENFOPRIORITY 50

priority of the constraint handler for constraint enforcing

Definition at line 85 of file cons_nonlinear.c.

Referenced by SCIPincludeConshdlrNonlinear().

◆ CONSHDLR_CHECKPRIORITY

#define CONSHDLR_CHECKPRIORITY -4000010

priority of the constraint handler for checking feasibility

Definition at line 86 of file cons_nonlinear.c.

Referenced by SCIPincludeConshdlrNonlinear().

◆ CONSHDLR_EAGERFREQ

#define CONSHDLR_EAGERFREQ 100

frequency for using all instead of only the useful constraints in separation, propagation and enforcement, -1 for no eager evaluations, 0 for first only

Definition at line 87 of file cons_nonlinear.c.

Referenced by SCIPincludeConshdlrNonlinear().

◆ CONSHDLR_NEEDSCONS

#define CONSHDLR_NEEDSCONS TRUE

should the constraint handler be skipped, if no constraints are available?

Definition at line 90 of file cons_nonlinear.c.

Referenced by SCIPincludeConshdlrNonlinear().

◆ CONSHDLR_SEPAPRIORITY

#define CONSHDLR_SEPAPRIORITY 10

priority of the constraint handler for separation

Definition at line 93 of file cons_nonlinear.c.

Referenced by SCIPincludeConshdlrNonlinear().

◆ CONSHDLR_SEPAFREQ

#define CONSHDLR_SEPAFREQ 1

frequency for separating cuts; zero means to separate only in the root node

Definition at line 94 of file cons_nonlinear.c.

Referenced by SCIPincludeConshdlrNonlinear().

◆ CONSHDLR_DELAYSEPA

#define CONSHDLR_DELAYSEPA FALSE

should separation method be delayed, if other separators found cuts?

Definition at line 95 of file cons_nonlinear.c.

Referenced by SCIPincludeConshdlrNonlinear().

◆ CONSHDLR_PROPFREQ

#define CONSHDLR_PROPFREQ 1

frequency for propagating domains; zero means only preprocessing propagation

Definition at line 97 of file cons_nonlinear.c.

Referenced by SCIPincludeConshdlrNonlinear().

◆ CONSHDLR_DELAYPROP

#define CONSHDLR_DELAYPROP FALSE

should propagation method be delayed, if other propagators found reductions?

Definition at line 98 of file cons_nonlinear.c.

Referenced by SCIPincludeConshdlrNonlinear().

◆ CONSHDLR_PROP_TIMING

#define CONSHDLR_PROP_TIMING SCIP_PROPTIMING_BEFORELP

propagation timing mask of the constraint handler

Definition at line 99 of file cons_nonlinear.c.

Referenced by SCIPincludeConshdlrNonlinear().

◆ CONSHDLR_PRESOLTIMING

#define CONSHDLR_PRESOLTIMING SCIP_PRESOLTIMING_ALWAYS

presolving timing of the constraint handler (fast, medium, or exhaustive)

Definition at line 101 of file cons_nonlinear.c.

Referenced by SCIPincludeConshdlrNonlinear().

◆ CONSHDLR_MAXPREROUNDS

#define CONSHDLR_MAXPREROUNDS -1

maximal number of presolving rounds the constraint handler participates in (-1: no limit)

Definition at line 102 of file cons_nonlinear.c.

Referenced by SCIPincludeConshdlrNonlinear().

◆ TABLE_NAME_NONLINEAR

#define TABLE_NAME_NONLINEAR "cons_nonlinear"

Definition at line 105 of file cons_nonlinear.c.

Referenced by SCIPincludeConshdlrNonlinear().

◆ TABLE_DESC_NONLINEAR

#define TABLE_DESC_NONLINEAR "nonlinear constraint handler statistics"

Definition at line 106 of file cons_nonlinear.c.

Referenced by SCIPincludeConshdlrNonlinear().

◆ TABLE_POSITION_NONLINEAR

#define TABLE_POSITION_NONLINEAR 14600

the position of the statistics table

Definition at line 107 of file cons_nonlinear.c.

Referenced by SCIPincludeConshdlrNonlinear().

◆ TABLE_EARLIEST_STAGE_NONLINEAR

#define TABLE_EARLIEST_STAGE_NONLINEAR SCIP_STAGE_TRANSFORMED

output of the statistics table is only printed from this stage onwards

Definition at line 108 of file cons_nonlinear.c.

Referenced by SCIPincludeConshdlrNonlinear().

◆ TABLE_NAME_NLHDLR

#define TABLE_NAME_NLHDLR "nlhdlr"

Definition at line 111 of file cons_nonlinear.c.

Referenced by SCIPincludeConshdlrNonlinear().

◆ TABLE_DESC_NLHDLR

#define TABLE_DESC_NLHDLR "nonlinear handler statistics"

Definition at line 112 of file cons_nonlinear.c.

Referenced by SCIPincludeConshdlrNonlinear().

◆ TABLE_POSITION_NLHDLR

#define TABLE_POSITION_NLHDLR 14601

the position of the statistics table

Definition at line 113 of file cons_nonlinear.c.

Referenced by SCIPincludeConshdlrNonlinear().

◆ TABLE_EARLIEST_STAGE_NLHDLR

#define TABLE_EARLIEST_STAGE_NLHDLR SCIP_STAGE_PRESOLVING

output of the statistics table is only printed from this stage onwards

Definition at line 114 of file cons_nonlinear.c.

Referenced by SCIPincludeConshdlrNonlinear().

◆ DIALOG_NAME

#define DIALOG_NAME "nlhdlrs"

Definition at line 116 of file cons_nonlinear.c.

Referenced by SCIPincludeConshdlrNonlinear().

◆ DIALOG_DESC

#define DIALOG_DESC "display nonlinear handlers"

Definition at line 117 of file cons_nonlinear.c.

Referenced by SCIPincludeConshdlrNonlinear().

◆ DIALOG_ISSUBMENU

#define DIALOG_ISSUBMENU FALSE

Definition at line 118 of file cons_nonlinear.c.

Referenced by SCIPincludeConshdlrNonlinear().

◆ VERTEXPOLY_MAXPERTURBATION

#define VERTEXPOLY_MAXPERTURBATION 1e-3

maximum perturbation

Definition at line 120 of file cons_nonlinear.c.

Referenced by SCIPincludeConshdlrNonlinear().

◆ VERTEXPOLY_USEDUALSIMPLEX

#define VERTEXPOLY_USEDUALSIMPLEX TRUE

use dual or primal simplex algorithm?

Definition at line 121 of file cons_nonlinear.c.

Referenced by SCIPincludeConshdlrNonlinear().

◆ VERTEXPOLY_RANDNUMINITSEED

#define VERTEXPOLY_RANDNUMINITSEED 20181029

seed for random number generator, which is used to move points away from the boundary

Definition at line 122 of file cons_nonlinear.c.

Referenced by computeVertexPolyhedralFacetLP().

◆ VERTEXPOLY_ADJUSTFACETFACTOR

#define VERTEXPOLY_ADJUSTFACETFACTOR 1e1

adjust resulting facets in checkRikun() up to a violation of this value times lpfeastol

Definition at line 123 of file cons_nonlinear.c.

Referenced by SCIPincludeConshdlrNonlinear().

◆ BRANCH_RANDNUMINITSEED

#define BRANCH_RANDNUMINITSEED 20191229

seed for random number generator, which is used to select from several similar good branching candidates

Definition at line 125 of file cons_nonlinear.c.

Referenced by selectBranchingCandidate().

◆ BILIN_MAXNAUXEXPRS

#define BILIN_MAXNAUXEXPRS 10

maximal number of auxiliary expressions per bilinear term

Definition at line 127 of file cons_nonlinear.c.

Referenced by SCIPincludeConshdlrNonlinear().

◆ infty2infty

#define infty2infty	(	infty1,
		infty2,
		val
	)	((val) >= (infty1) ? (infty2) : (val))

translate from one value of infinity to another

if val is ≥ infty1, then give infty2, else give val

Definition at line 133 of file cons_nonlinear.c.

Referenced by SCIP_DECL_EXPR_INTEVALVAR().

◆ POWEROFTWO

#define POWEROFTWO ( x ) (0x1u << (x))

translates x to 2^x for non-negative integer x

Definition at line 136 of file cons_nonlinear.c.

Referenced by buildVertexPolyhedralSeparationLP(), computeVertexPolyhedralFacetLP(), computeVertexPolyhedralMaxFacetError(), and SCIPcomputeFacetVertexPolyhedralNonlinear().

◆ ENFOLOG

#define ENFOLOG ( x )

Definition at line 142 of file cons_nonlinear.c.

Referenced by analyzeViolation(), branching(), branchingIntegralOrNonlinear(), collectBranchingCandidates(), consEnfo(), consSepa(), enforceConstraint(), enforceConstraints(), enforceExpr(), enforceExprNlhdlr(), notifyNlhdlrNewsol(), registerBranchingCandidates(), SCIP_DECL_CONSEXIT(), SCIP_DECL_CONSINIT(), SCIPprocessRowprepNonlinear(), scoreBranchingCandidates(), and selectBranchingCandidate().

◆ consInitpreNonlinear

#define consInitpreNonlinear NULL

presolving initialization method of constraint handler (called when presolving is about to begin)

Definition at line 11099 of file cons_nonlinear.c.

Referenced by SCIP_DECL_CONSEXIT(), and SCIPincludeConshdlrNonlinear().

◆ consRespropNonlinear

#define consRespropNonlinear NULL

propagation conflict resolving method of constraint handler

Definition at line 11668 of file cons_nonlinear.c.

Referenced by SCIP_DECL_CONSPRESOL(), and SCIPincludeConshdlrNonlinear().

◆ consDelvarsNonlinear

#define consDelvarsNonlinear NULL

variable deletion of constraint handler

Definition at line 11889 of file cons_nonlinear.c.

Referenced by SCIP_DECL_CONSDISABLE(), and SCIPincludeConshdlrNonlinear().

◆ consGetDiveBdChgsNonlinear

#define consGetDiveBdChgsNonlinear NULL

constraint handler method to suggest dive bound changes during the generic diving algorithm

Definition at line 12160 of file cons_nonlinear.c.

Referenced by SCIP_DECL_CONSGETNVARS(), and SCIPincludeConshdlrNonlinear().

Function Documentation

◆ forwardPropExpr()

static SCIP_RETCODE forwardPropExpr	(	SCIP *	scip,
		SCIP_CONSHDLR *	conshdlr,
		SCIP_EXPR *	rootexpr,
		SCIP_Bool	tightenauxvars,
		SCIP_Bool *	infeasible,
		int *	ntightenings
	)

static

propagate bounds of the expressions in a given expression tree (that is, updates activity intervals) and tries to tighten the bounds of the auxiliary variables accordingly

Parameters

scip	SCIP data structure
conshdlr	constraint handler
rootexpr	expression
tightenauxvars	should the bounds of auxiliary variables be tightened?
infeasible	buffer to store whether the problem is infeasible (NULL if not needed)
ntightenings	buffer to store the number of auxiliary variable tightenings (NULL if not needed)

Definition at line 2167 of file cons_nonlinear.c.

References FALSE, SCIP_Interval::inf, isIntervalBetter(), NULL, SCIP_Bool, SCIP_CALL, SCIP_EXPRITER_DFS, SCIP_EXPRITER_LEAVEEXPR, SCIP_EXPRITER_VISITINGCHILD, SCIP_INTERVAL_INFINITY, SCIP_LONGINT_FORMAT, SCIP_NLHDLR_METHOD_ACTIVITY, SCIP_OKAY, SCIPABORT, SCIPceil(), SCIPconshdlrGetData(), SCIPcreateExpriter(), SCIPdebugMsg, SCIPdebugMsgPrint, SCIPepsilon(), SCIPerrorMessage, SCIPexprGetActivity(), SCIPexprGetActivityTag(), SCIPexprGetHdlr(), SCIPexprGetNChildren(), SCIPexprGetOwnerData(), SCIPexprhdlrGetName(), SCIPexprIsIntegral(), SCIPexpriterGetChildExprDFS(), SCIPexpriterGetCurrent(), SCIPexpriterGetNext(), SCIPexpriterGetStageDFS(), SCIPexpriterInit(), SCIPexpriterIsEnd(), SCIPexpriterSetStagesDFS(), SCIPexpriterSkipDFS(), SCIPexprSetActivity(), SCIPfloor(), SCIPfreeExpriter(), SCIPgetVarExprVar(), SCIPintervalIntersectEps(), SCIPintervalIsEmpty(), SCIPintervalSetEmpty(), SCIPintervalSetEntire(), SCIPisExprVar(), SCIPisInfinity(), SCIPisRelEQ(), SCIPnlhdlrGetName(), SCIPnlhdlrHasIntEval(), SCIPprintExpr(), SCIPvarGetName(), SCIP_Interval::sup, tightenAuxVarBounds(), and TRUE.

Referenced by enforceConstraint(), presolveRedundantConss(), propConss(), SCIP_DECL_EXPR_OWNEREVALACTIVITY(), and tightenAuxVarBounds().

◆ freeAuxVar()

static SCIP_RETCODE freeAuxVar	(	SCIP *	scip,
		SCIP_EXPR *	expr
	)

static

frees auxiliary variables of expression, if any

Parameters

scip	SCIP data structure
expr	expression which auxvar to free, if any

Definition at line 387 of file cons_nonlinear.c.

References freeEnfoData(), NULL, SCIP_CALL, SCIP_OKAY, SCIPaddVarLocks(), SCIPdebugMsg, SCIPexprGetOwnerData(), SCIPreleaseVar(), and SCIPvarGetName().

Referenced by freeEnfoData().

◆ freeEnfoData()

static SCIP_RETCODE freeEnfoData	(	SCIP *	scip,
		SCIP_EXPR *	expr,
		SCIP_Bool	freeauxvar
	)

static

frees data used for enforcement of expression, that is, nonlinear handlers

can also clear indicators whether expr needs enforcement methods, that is, free an associated auxiliary variable and reset the nactivityuses counts

Parameters

scip	SCIP data structure
expr	expression whose enforcement data will be released
freeauxvar	whether aux var should be released and activity usage counts be reset

Definition at line 423 of file cons_nonlinear.c.

References FALSE, freeAuxVar(), NULL, SCIP_CALL, SCIP_DECL_EXPR_OWNERFREE(), SCIP_OKAY, SCIPexprGetOwnerData(), SCIPfreeBlockMemory, and SCIPfreeBlockMemoryArrayNull.

Referenced by deinitSolve(), detectNlhdlrs(), freeAuxVar(), SCIP_DECL_EXPR_OWNERFREE(), and SCIPregisterExprUsageNonlinear().

◆ SCIP_DECL_EXPR_OWNERFREE()

static SCIP_DECL_EXPR_OWNERFREE ( exprownerFree )

static

callback that frees data that this conshdlr stored in an expression

Definition at line 486 of file cons_nonlinear.c.

References freeEnfoData(), NULL, SCIP_CALL, SCIP_DECL_EXPR_OWNERPRINT(), SCIP_OKAY, SCIPconshdlrGetData(), SCIPfreeBlockMemory, SCIPfreeBlockMemoryArrayNull, SCIPgetVarExprVar(), SCIPhashmapGetImage(), SCIPhashmapRemove(), SCIPisExprVar(), and TRUE.

Referenced by freeEnfoData().

◆ SCIP_DECL_EXPR_OWNERPRINT()

static SCIP_DECL_EXPR_OWNERPRINT ( exprownerPrint )

static

Definition at line 538 of file cons_nonlinear.c.

References NULL, SCIP_DECL_EXPR_OWNEREVALACTIVITY(), SCIP_NLHDLR_METHOD_ACTIVITY, SCIP_NLHDLR_METHOD_SEPAABOVE, SCIP_NLHDLR_METHOD_SEPABELOW, SCIP_OKAY, SCIPinfoMessage(), SCIPnlhdlrGetName(), SCIPvarGetLbLocal(), SCIPvarGetName(), and SCIPvarGetUbLocal().

Referenced by SCIP_DECL_EXPR_OWNERFREE().

◆ SCIP_DECL_EXPR_OWNEREVALACTIVITY()

static SCIP_DECL_EXPR_OWNEREVALACTIVITY ( exprownerEvalactivity )

static

possibly reevaluates and then returns the activity of the expression

Reevaluate activity if currently stored is not up to date (some bound was changed since last evaluation).

Definition at line 579 of file cons_nonlinear.c.

References FALSE, forwardPropExpr(), NULL, SCIP_CALL, SCIP_DECL_EXPR_OWNERCREATE(), SCIP_OKAY, SCIPconshdlrGetData(), and SCIPexprGetActivityTag().

Referenced by SCIP_DECL_EXPR_OWNERPRINT().

◆ SCIP_DECL_EXPR_OWNERCREATE()

static SCIP_DECL_EXPR_OWNERCREATE ( exprownerCreate )

static

callback that creates data that this conshdlr wants to store in an expression

Definition at line 603 of file cons_nonlinear.c.

References createExprVar(), NULL, SCIP_CALL, SCIP_OKAY, SCIPallocClearBlockMemory, SCIPconshdlrGetData(), SCIPgetVarExprVar(), SCIPhashmapExists(), SCIPhashmapGetImage(), SCIPhashmapInsert(), and SCIPisExprVar().

Referenced by SCIP_DECL_EXPR_OWNEREVALACTIVITY().

◆ createExprVar()

static SCIP_RETCODE createExprVar	(	SCIP *	scip,
		SCIP_CONSHDLR *	conshdlr,
		SCIP_EXPR **	expr,
		SCIP_VAR *	var
	)

static

creates a variable expression or retrieves from hashmap in conshdlr data

Parameters

scip	SCIP data structure
conshdlr	nonlinear constraint handler
expr	pointer where to store expression
var	variable to be stored

Definition at line 653 of file cons_nonlinear.c.

References NULL, SCIP_CALL, SCIP_DECL_EXPR_MAPEXPR(), SCIP_OKAY, SCIPcaptureExpr(), SCIPconshdlrGetData(), SCIPcreateExprVar(), and SCIPhashmapGetImage().

Referenced by getBinaryProductExpr(), getBinaryProductExprDo(), reformulateFactorizedBinaryQuadratic(), SCIP_DECL_EXPR_MAPEXPR(), SCIP_DECL_EXPR_OWNERCREATE(), and SCIPaddLinearVarNonlinear().

◆ SCIP_DECL_EXPR_MAPEXPR() [1/2]

static SCIP_DECL_EXPR_MAPEXPR ( mapexprvar )

static

Definition at line 686 of file cons_nonlinear.c.

References createExprVar(), NULL, SCIP_CALL, SCIP_OKAY, SCIPgetVarExprVar(), and SCIPisExprVar().

Referenced by createExprVar().

◆ SCIP_DECL_EXPR_MAPEXPR() [2/2]

static SCIP_DECL_EXPR_MAPEXPR ( mapexprtransvar )

static

Definition at line 708 of file cons_nonlinear.c.

References createExprVar(), NULL, SCIP_CALL, SCIP_OKAY, SCIPgetTransformedVar(), SCIPgetVarExprVar(), SCIPisExprVar(), and storeVarExprs().

◆ storeVarExprs()

static SCIP_RETCODE storeVarExprs	(	SCIP *	scip,
		SCIP_CONSHDLR *	conshdlr,
		SCIP_CONSDATA *	consdata
	)

static

stores all variable expressions into a given constraint

Parameters

scip	SCIP data structure
conshdlr	constraint handler
consdata	constraint data

Definition at line 738 of file cons_nonlinear.c.

References freeVarExprs(), NULL, SCIP_CALL, SCIP_OKAY, SCIPallocBlockMemoryArray, SCIPconshdlrGetData(), SCIPgetExprNVars(), SCIPgetExprVarExprs(), SCIPgetNVars(), SCIPgetVarExprVar(), SCIPhashmapExists(), SCIPhashmapInsert(), and SCIPreallocBlockMemoryArray.

Referenced by canonicalizeConstraints(), getConsRelViolation(), SCIP_DECL_CONSACTIVE(), SCIP_DECL_CONSGETNVARS(), SCIP_DECL_CONSGETVARS(), SCIP_DECL_CONSINIT(), and SCIP_DECL_EXPR_MAPEXPR().

◆ freeVarExprs()

static SCIP_RETCODE freeVarExprs	(	SCIP *	scip,
		SCIP_CONSDATA *	consdata
	)

static

frees all variable expression stored in storeVarExprs()

Parameters

scip	SCIP data structure
consdata	constraint data

Definition at line 802 of file cons_nonlinear.c.

References NULL, SCIP_CALL, SCIP_DECL_EXPR_INTEVALVAR(), SCIP_OKAY, SCIPfreeBlockMemoryArrayNull, and SCIPreleaseExpr().

Referenced by canonicalizeConstraints(), SCIP_DECL_CONSDEACTIVE(), SCIP_DECL_CONSDELETE(), SCIP_DECL_CONSEXIT(), and storeVarExprs().

◆ SCIP_DECL_EXPR_INTEVALVAR() [1/2]

static SCIP_DECL_EXPR_INTEVALVAR ( intEvalVarBoundTightening )

static

interval evaluation of variables as used in bound tightening

Returns slightly relaxed local variable bounds of a variable as interval. Does not relax beyond integer values, thus does not relax bounds on integer variables at all.

Definition at line 840 of file cons_nonlinear.c.

References EPSFRAC, EPSROUND, infty2infty, MAX, MIN, NULL, REALABS, SCIP_DECL_SORTPTRCOMP(), SCIP_INTERVAL_INFINITY, SCIP_Real, SCIP_VARTYPE_IMPLINT, SCIPABORT, SCIPerrorMessage, SCIPinfinity(), SCIPintervalSetBounds(), SCIPisInfinity(), SCIPvarGetLbGlobal(), SCIPvarGetLbLocal(), SCIPvarGetType(), SCIPvarGetUbGlobal(), SCIPvarGetUbLocal(), and SCIPvarIsIntegral().

Referenced by freeVarExprs(), and presolveMergeConss().

◆ SCIP_DECL_SORTPTRCOMP() [1/3]

static SCIP_DECL_SORTPTRCOMP ( compIndexConsNonlinear )

static

compares two nonlinear constraints by its index

Usable as compare operator in array sort functions.

Definition at line 967 of file cons_nonlinear.c.

References NULL, SCIP_DECL_EVENTEXEC(), and SCIPconsGetData().

Referenced by createNlRow(), SCIP_DECL_EXPR_INTEVALVAR(), and SCIP_DECL_HASHKEYVAL().

◆ SCIP_DECL_EVENTEXEC() [1/2]

static SCIP_DECL_EVENTEXEC ( processVarEvent )

static

processes variable fixing or bound change event

Definition at line 980 of file cons_nonlinear.c.

References catchVarEvent(), EPSISINT, FALSE, SCIP_Interval::inf, NULL, SCIP_Bool, SCIP_CALL, SCIP_EVENTTYPE_BOUNDCHANGED, SCIP_EVENTTYPE_BOUNDRELAXED, SCIP_EVENTTYPE_BOUNDTIGHTENED, SCIP_EVENTTYPE_FORMAT, SCIP_EVENTTYPE_TYPECHANGED, SCIP_EVENTTYPE_VARFIXED, SCIP_OKAY, SCIP_STAGE_PRESOLVING, SCIP_VARTYPE_IMPLINT, SCIPconsGetData(), SCIPconsGetName(), SCIPconshdlrGetData(), SCIPdebugMsg, SCIPeventGetNewtype(), SCIPeventGetType(), SCIPeventGetVar(), SCIPexprGetOwnerData(), SCIPexprSetActivity(), SCIPgetStage(), SCIPinProbing(), SCIPisExprVar(), SCIPvarGetLbGlobal(), SCIPvarGetLbLocal(), SCIPvarGetName(), SCIPvarGetUbGlobal(), SCIPvarGetUbLocal(), SCIP_Interval::sup, and TRUE.

Referenced by notifyNlhdlrNewsol(), and SCIP_DECL_SORTPTRCOMP().

◆ catchVarEvent()

static SCIP_RETCODE catchVarEvent	(	SCIP *	scip,
		SCIP_EVENTHDLR *	eventhdlr,
		SCIP_EXPR *	expr,
		SCIP_CONS *	cons
	)

static

registers event handler to catch variable events on variable

Additionally, the given constraint is stored in the ownerdata of the variable-expression. When an event occurs, all stored constraints are notified.

Parameters

scip	SCIP data structure
eventhdlr	event handler
expr	variable expression
cons	nonlinear constraint

Definition at line 1096 of file cons_nonlinear.c.

References catchVarEvents(), NULL, SCIP_CALL, SCIP_EVENTTYPE_BOUNDCHANGED, SCIP_EVENTTYPE_TYPECHANGED, SCIP_EVENTTYPE_VARFIXED, SCIP_OKAY, SCIPcatchVarEvent(), SCIPensureBlockMemoryArray, SCIPexprGetOwnerData(), SCIPgetVarExprVar(), SCIPisExprVar(), and TRUE.

Referenced by catchVarEvents(), and SCIP_DECL_EVENTEXEC().

◆ catchVarEvents()

static SCIP_RETCODE catchVarEvents	(	SCIP *	scip,
		SCIP_EVENTHDLR *	eventhdlr,
		SCIP_CONS *	cons
	)

static

catch variable events

Parameters

scip	SCIP data structure
eventhdlr	event handler
cons	constraint for which to catch bound change events

Definition at line 1151 of file cons_nonlinear.c.

References catchVarEvent(), dropVarEvent(), SCIP_Interval::inf, NULL, SCIP_CALL, SCIP_OKAY, SCIPconsGetData(), SCIPconsGetHdlr(), SCIPconsGetName(), SCIPconshdlrGetData(), SCIPdebugMsg, SCIPexprGetActivityTag(), SCIPexprSetActivity(), SCIPgetVarExprVar(), SCIPisExprVar(), SCIPvarGetName(), SCIP_Interval::sup, and TRUE.

Referenced by canonicalizeConstraints(), catchVarEvent(), SCIP_DECL_CONSENABLE(), and SCIP_DECL_CONSINIT().

◆ dropVarEvent()

static SCIP_RETCODE dropVarEvent	(	SCIP *	scip,
		SCIP_EVENTHDLR *	eventhdlr,
		SCIP_EXPR *	expr,
		SCIP_CONS *	cons
	)

static

unregisters event handler to catch variable events on variable

The given constraint is removed from the constraints array in the ownerdata of the variable-expression. If this was the last constraint, then the event handler is unregistered for this variable.

Parameters

scip	SCIP data structure
eventhdlr	event handler
expr	variable expression
cons	expr constraint

Definition at line 1217 of file cons_nonlinear.c.

References dropVarEvents(), FALSE, NULL, SCIP_CALL, SCIP_ERROR, SCIP_EVENTTYPE_BOUNDCHANGED, SCIP_EVENTTYPE_TYPECHANGED, SCIP_EVENTTYPE_VARFIXED, SCIP_OKAY, SCIPconsGetName(), SCIPdropVarEvent(), SCIPerrorMessage, SCIPexprGetOwnerData(), SCIPgetVarExprVar(), SCIPisExprVar(), SCIPsortedvecFindPtr(), SCIPsortPtr(), SCIPvarGetName(), and TRUE.

Referenced by catchVarEvents(), and dropVarEvents().

◆ dropVarEvents()

static SCIP_RETCODE dropVarEvents	(	SCIP *	scip,
		SCIP_EVENTHDLR *	eventhdlr,
		SCIP_CONS *	cons
	)

static

drop variable events

Parameters

scip	SCIP data structure
eventhdlr	event handler
cons	constraint for which to drop bound change events

Definition at line 1283 of file cons_nonlinear.c.

References createCons(), dropVarEvent(), FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIPconsGetData(), SCIPconsGetName(), and SCIPdebugMsg.

Referenced by canonicalizeConstraints(), dropVarEvent(), SCIP_DECL_CONSDEACTIVE(), SCIP_DECL_CONSDISABLE(), and SCIP_DECL_CONSEXIT().

◆ createCons()

static SCIP_RETCODE createCons	(	SCIP *	scip,
		SCIP_CONSHDLR *	conshdlr,
		SCIP_CONS **	cons,
		const char *	name,
		SCIP_EXPR *	expr,
		SCIP_Real	lhs,
		SCIP_Real	rhs,
		SCIP_Bool	copyexpr,
		SCIP_Bool	initial,
		SCIP_Bool	separate,
		SCIP_Bool	enforce,
		SCIP_Bool	check,
		SCIP_Bool	propagate,
		SCIP_Bool	local,
		SCIP_Bool	modifiable,
		SCIP_Bool	dynamic,
		SCIP_Bool	removable
	)

static

creates and captures a nonlinear constraint

Attention: Use copyexpr=FALSE only if expr is already "owned" by conshdlr, that is, if expressions were created with exprownerCreate() and ownerdata passed in the last two arguments

Parameters

scip	SCIP data structure
conshdlr	constraint handler
cons	pointer to hold the created constraint
name	name of constraint
expr	expression of constraint (must not be NULL)
lhs	left hand side of constraint
rhs	right hand side of constraint
copyexpr	whether to copy the expression or reuse the given expr (capture it)
initial	should the LP relaxation of constraint be in the initial LP? Usually set to TRUE. Set to FALSE for 'lazy constraints'.
separate	should the constraint be separated during LP processing? Usually set to TRUE.
enforce	should the constraint be enforced during node processing? TRUE for model constraints, FALSE for additional, redundant constraints.
check	should the constraint be checked for feasibility? TRUE for model constraints, FALSE for additional, redundant constraints.
propagate	should the constraint be propagated during node processing? Usually set to TRUE.
local	is constraint only valid locally? Usually set to FALSE. Has to be set to TRUE, e.g., for branching constraints.
modifiable	is constraint modifiable (subject to column generation)? Usually set to FALSE. In column generation applications, set to TRUE if pricing adds coefficients to this constraint.
dynamic	is constraint subject to aging? Usually set to FALSE. Set to TRUE for own cuts which are separated as constraints.
removable	should the relaxation be removed from the LP due to aging or cleanup? Usually set to FALSE. Set to TRUE for 'lazy constraints' and 'user cuts'.

Definition at line 1324 of file cons_nonlinear.c.

References FALSE, getExprAbsOrigViolation(), NULL, SCIP_CALL, SCIP_EXPRCURV_UNKNOWN, SCIP_INVALIDCALL, SCIP_OKAY, SCIP_Real, SCIPallocClearBlockMemory, SCIPcaptureExpr(), SCIPconshdlrGetData(), SCIPcreateCons(), SCIPduplicateExpr(), SCIPerrorMessage, and SCIPgetDepth().

Referenced by dropVarEvents(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSPARSE(), SCIP_DECL_CONSTRANS(), SCIPcreateConsNonlinear(), and SCIPcreateConsQuadraticNonlinear().

◆ getExprAbsOrigViolation()

static SCIP_Real getExprAbsOrigViolation	(	SCIP *	scip,
		SCIP_EXPR *	expr,
		SCIP_SOL *	sol,
		SCIP_Bool *	violunder,
		SCIP_Bool *	violover
	)

static

returns absolute violation for auxvar relation in an expression w.r.t. original variables

Assume the expression is f(x), where x are original (i.e., not auxiliary) variables. Assume that f(x) is associated with auxiliary variable z.

If there are negative locks, then return the violation of z ≤ f(x) and sets violover to TRUE. If there are positive locks, then return the violation of z ≥ f(x) and sets violunder to TRUE. Of course, if there both negative and positive locks, then return the violation of z = f(x). If f could not be evaluated, then return SCIPinfinity() and set both violover and violunder to TRUE.

Note: This does not reevaluate the violation, but assumes that the expression has been evaluated

Parameters

scip	SCIP data structure
expr	expression
sol	solution that has been evaluated
violunder	buffer to store whether z >= f(x) is violated, or NULL
violover	buffer to store whether z <= f(x) is violated, or NULL

Definition at line 1415 of file cons_nonlinear.c.

References FALSE, getExprAbsAuxViolation(), NULL, SCIP_INVALID, SCIP_Real, SCIPexprGetEvalValue(), SCIPexprGetOwnerData(), SCIPgetSolVal(), SCIPinfinity(), and TRUE.

Referenced by analyzeViolation(), createCons(), enforceExpr(), and SCIPgetExprAbsOrigViolationNonlinear().

◆ getExprAbsAuxViolation()

static SCIP_Real getExprAbsAuxViolation	(	SCIP *	scip,
		SCIP_EXPR *	expr,
		SCIP_Real	auxvalue,
		SCIP_SOL *	sol,
		SCIP_Bool *	violunder,
		SCIP_Bool *	violover
	)

static

returns absolute violation for auxvar relation in an expression w.r.t. auxiliary variables

Assume the expression is f(w), where w are auxiliary variables that were introduced by some nlhdlr. Assume that f(w) is associated with auxiliary variable z.

If there are negative locks, then return the violation of z ≤ f(w) and sets violover to TRUE. If there are positive locks, then return the violation of z ≥ f(w) and sets violunder to TRUE. Of course, if there both negative and positive locks, then return the violation of z = f(w). If f could not be evaluated, then return SCIPinfinity() and set both violover and violunder to TRUE.

Note: This does not reevaluate the violation, but assumes that f(w) is passed in with auxvalue.

Parameters

scip	SCIP data structure
expr	expression
auxvalue	value of f(w)
sol	solution that has been evaluated
violunder	buffer to store whether z >= f(w) is violated, or NULL
violover	buffer to store whether z <= f(w) is violated, or NULL

Definition at line 1481 of file cons_nonlinear.c.

References computeViolation(), FALSE, NULL, SCIP_INVALID, SCIP_Real, SCIPexprGetOwnerData(), SCIPgetSolVal(), SCIPinfinity(), and TRUE.

Referenced by analyzeViolation(), enforceExpr(), getExprAbsOrigViolation(), SCIPgetExprAbsAuxViolationNonlinear(), SCIPgetExprRelAuxViolationNonlinear(), and SCIPprocessRowprepNonlinear().

◆ computeViolation()

static SCIP_RETCODE computeViolation	(	SCIP *	scip,
		SCIP_CONS *	cons,
		SCIP_SOL *	sol,
		SCIP_Longint	soltag
	)

static

computes violation of a constraint

Parameters

scip	SCIP data structure
cons	constraint
sol	solution or NULL if LP solution should be used
soltag	tag that uniquely identifies the solution (with its values), or 0.

Definition at line 1538 of file cons_nonlinear.c.

References getConsAbsViolation(), NULL, SCIP_CALL, SCIP_INVALID, SCIP_OKAY, SCIP_Real, SCIPconsGetData(), SCIPevalExpr(), SCIPexprGetEvalValue(), SCIPinfinity(), and SCIPisInfinity().

Referenced by consEnfo(), consSepa(), getExprAbsAuxViolation(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSENFOPS(), SCIPgetAbsViolationNonlinear(), and SCIPgetRelViolationNonlinear().

◆ getConsAbsViolation()

static SCIP_Real getConsAbsViolation ( SCIP_CONS * cons )

static

returns absolute violation of a constraint

Note: This does not reevaluate the violation, but assumes that computeViolation() has been called before.

Parameters

cons	constraint

Definition at line 1577 of file cons_nonlinear.c.

References getConsRelViolation(), MAX3, NULL, and SCIPconsGetData().

Referenced by analyzeViolation(), computeViolation(), enforceConstraints(), getConsRelViolation(), isConsViolated(), registerBranchingCandidatesAllUnfixed(), SCIP_DECL_CONSCHECK(), and SCIPgetAbsViolationNonlinear().

◆ getConsRelViolation()

static SCIP_RETCODE getConsRelViolation	(	SCIP *	scip,
		SCIP_CONS *	cons,
		SCIP_Real *	viol,
		SCIP_SOL *	sol,
		SCIP_Longint	soltag
	)

static

computes relative violation of a constraint

Note: This does not reevaluate the violation, but assumes that computeViolation() has been called before.

Parameters

scip	SCIP data structure
cons	constraint
viol	buffer to store violation
sol	solution or NULL if LP solution should be used
soltag	tag that uniquely identifies the solution (with its values), or 0

Definition at line 1596 of file cons_nonlinear.c.

References getConsAbsViolation(), isConsViolated(), MAX, NULL, REALABS, SCIP_Bool, SCIP_CALL, SCIP_INVALID, SCIP_OKAY, SCIP_Real, SCIPconsGetData(), SCIPconsGetHdlr(), SCIPconshdlrGetData(), SCIPevalExprGradient(), SCIPexprGetDerivative(), SCIPexprGetDiffTag(), SCIPexprGetEvalValue(), SCIPisInfinity(), and storeVarExprs().

Referenced by analyzeViolation(), collectBranchingCandidates(), enforceConstraints(), getConsAbsViolation(), and SCIPgetRelViolationNonlinear().

◆ isConsViolated()

static SCIP_Bool isConsViolated	(	SCIP *	scip,
		SCIP_CONS *	cons
	)

static

returns whether constraint is currently violated

Note: This does not reevaluate the violation, but assumes that computeViolation() has been called before.

Parameters

scip	SCIP data structure
cons	constraint

Definition at line 1696 of file cons_nonlinear.c.

References findUnlockedLinearVar(), getConsAbsViolation(), and SCIPfeastol().

Referenced by analyzeViolation(), collectBranchingCandidates(), consEnfo(), consSepa(), enforceConstraints(), getConsRelViolation(), registerBranchingCandidates(), registerBranchingCandidatesAllUnfixed(), SCIP_DECL_CONSCHECK(), and SCIP_DECL_CONSENFOPS().

◆ findUnlockedLinearVar()

static void findUnlockedLinearVar	(	SCIP *	scip,
		SCIP_CONS *	cons
	)

static

checks for a linear variable that can be increased or decreased without harming feasibility

Parameters

scip	SCIP data structure
cons	constraint

Definition at line 1706 of file cons_nonlinear.c.

References NULL, proposeFeasibleSolution(), SCIP_LOCKTYPE_MODEL, SCIP_Real, SCIPconsGetData(), SCIPdebugMsg, SCIPexprGetChildren(), SCIPexprGetNChildren(), SCIPgetCoefsExprSum(), SCIPgetVarExprVar(), SCIPisExprSum(), SCIPisExprVar(), SCIPisInfinity(), SCIPvarGetName(), SCIPvarGetNLocksDownType(), SCIPvarGetNLocksUpType(), and SCIPvarGetObj().

Referenced by initSolve(), isConsViolated(), SCIPgetLinvarMayDecreaseNonlinear(), and SCIPgetLinvarMayIncreaseNonlinear().

◆ proposeFeasibleSolution()

static SCIP_RETCODE proposeFeasibleSolution	(	SCIP *	scip,
		SCIP_CONSHDLR *	conshdlr,
		SCIP_CONS **	conss,
		int	nconss,
		SCIP_SOL *	sol,
		SCIP_Bool *	success
	)

static

Given a solution where every nonlinear constraint is either feasible or can be made feasible by moving a linear variable, construct the corresponding feasible solution and pass it to the trysol heuristic.

The method assumes that this is always possible and that not all constraints are feasible already.

Parameters

scip	SCIP data structure
conshdlr	constraint handler
conss	constraints to process
nconss	number of constraints
sol	solution to process
success	buffer to store whether we succeeded to construct a solution that satisfies all provided constraints

Definition at line 1802 of file cons_nonlinear.c.

References FALSE, MAX, MIN, notifyNlhdlrNewsol(), NULL, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIP_STAGE_INITPRESOLVE, SCIP_STAGE_SOLVED, SCIPceil(), SCIPconsGetData(), SCIPconsGetName(), SCIPconshdlrGetData(), SCIPcreateLPSol(), SCIPcreateSolCopy(), SCIPdebugMsg, SCIPfeastol(), SCIPfloor(), SCIPfreeSol(), SCIPgetSolTransObj(), SCIPgetSolVal(), SCIPgetStage(), SCIPgetUpperbound(), SCIPheurGetName(), SCIPheurPassSolTrySol(), SCIPincSolVal(), SCIPisInfinity(), SCIPisNegative(), SCIPisPositive(), SCIPisSumLT(), SCIPisZero(), SCIPsolGetHeur(), SCIPunlinkSol(), SCIPvarGetLbGlobal(), SCIPvarGetName(), SCIPvarGetUbGlobal(), SCIPvarIsIntegral(), and TRUE.

Referenced by findUnlockedLinearVar(), and SCIP_DECL_CONSCHECK().

◆ notifyNlhdlrNewsol()

static SCIP_RETCODE notifyNlhdlrNewsol	(	SCIP *	scip,
		SCIP_CONSHDLR *	conshdlr,
		SCIP_CONS **	conss,
		int	nconss,
		SCIP_SOL *	sol,
		SCIP_Bool	solisbest
	)

static

notify nonlinear handlers to add linearization in new solution that has been found

The idea is that nonlinear handlers add globally valid tight estimators in a given solution as cuts to the cutpool.

Essentially we want to ensure that the LP relaxation is tight in the new solution, if possible. As the nonlinear handlers define the extended formulation, they should know whether it is possible to generate a cut that is valid and supporting in the given solution. For example, for convex constraints, we achieve this by linearizing. For SOC, we also linearize, but on a a convex reformulation.

Since linearization may happen in auxiliary variables, we ensure that auxiliary variables are set to the eval-value of its expression, i.e., we change sol so it is also feasible in the extended formulation.

Parameters

scip	SCIP data structure
conshdlr	constraint handler
conss	constraints
nconss	number of constraints
sol	reference point where to estimate
solisbest	whether solution is best

Definition at line 1959 of file cons_nonlinear.c.

References ENFOLOG, FALSE, NULL, SCIP_CALL, SCIP_DECL_EVENTEXEC(), SCIP_EXPRITER_DFS, SCIP_EXPRITER_LEAVEEXPR, SCIP_INVALID, SCIP_Longint, SCIP_NLHDLR_METHOD_SEPAABOVE, SCIP_NLHDLR_METHOD_SEPABELOW, SCIP_OKAY, SCIPconsGetData(), SCIPconsIsActive(), SCIPconsIsDeleted(), SCIPconsIsEnabled(), SCIPconsIsSeparationEnabled(), SCIPcreateExpriter(), SCIPevalExpr(), SCIPexprGetEvalTag(), SCIPexprGetEvalValue(), SCIPexprGetOwnerData(), SCIPexpriterGetNext(), SCIPexpriterInit(), SCIPexpriterIsEnd(), SCIPexpriterRestartDFS(), SCIPexpriterSetStagesDFS(), SCIPfreeExpriter(), SCIPgetExprNewSoltag(), SCIPgetSolVal(), SCIPgetVarExprVar(), SCIPheurGetName(), SCIPinfoMessage(), SCIPprintCons(), SCIPsetSolVal(), SCIPsolGetHeur(), SCIPvarGetLbLocal(), SCIPvarGetName(), and SCIPvarGetUbLocal().

Referenced by proposeFeasibleSolution(), and SCIP_DECL_EVENTEXEC().

◆ SCIP_DECL_EVENTEXEC() [2/2]

static SCIP_DECL_EVENTEXEC ( processNewSolutionEvent )

static

processes the event that a new primal solution has been found

Definition at line 2051 of file cons_nonlinear.c.

References notifyNlhdlrNewsol(), NULL, SCIP_CALL, SCIP_EVENTTYPE_BESTSOLFOUND, SCIP_EVENTTYPE_FORMAT, SCIP_EVENTTYPE_SOLFOUND, SCIP_OKAY, SCIPconshdlrGetConss(), SCIPconshdlrGetData(), SCIPconshdlrGetNConss(), SCIPdebugMsg, SCIPeventGetSol(), SCIPeventGetType(), SCIPheurGetName(), SCIPsolGetHeur(), and tightenAuxVarBounds().

◆ tightenAuxVarBounds()

static SCIP_RETCODE tightenAuxVarBounds	(	SCIP *	scip,
		SCIP_CONSHDLR *	conshdlr,
		SCIP_EXPR *	expr,
		SCIP_INTERVAL	bounds,
		SCIP_Bool *	cutoff,
		int *	ntightenings
	)

static

tightens the bounds of the auxiliary variable associated with an expression (or original variable if being a variable-expression) according to given bounds

The given bounds may very well be the exprs activity (when called from forwardPropExpr()), but can also be some tighter bounds (when called from SCIPtightenExprIntervalNonlinear()).

Nothing will happen if SCIP is not in presolve or solve.

Parameters

scip	SCIP data structure
conshdlr	constraint handler
expr	expression whose auxvar is to be tightened
bounds	bounds to be used for tightening (must not be empty)
cutoff	buffer to store whether a cutoff was detected
ntightenings	buffer to add the total number of tightenings, or NULL

Definition at line 2096 of file cons_nonlinear.c.

References FALSE, forwardPropExpr(), SCIP_Interval::inf, NULL, SCIP_Bool, SCIP_CALL, SCIP_INTERVAL_INFINITY, SCIP_OKAY, SCIPconshdlrGetData(), SCIPdebugMsg, SCIPgetExprAuxVarNonlinear(), SCIPintervalIsEmpty(), SCIPisEQ(), SCIPtightenVarLb(), SCIPtightenVarUb(), SCIPvarGetLbLocal(), SCIPvarGetName(), SCIPvarGetUbLocal(), and SCIP_Interval::sup.

Referenced by createAuxVar(), forwardPropExpr(), SCIP_DECL_EVENTEXEC(), and SCIPtightenExprIntervalNonlinear().

◆ isIntervalBetter()

static SCIP_Bool isIntervalBetter	(	SCIP *	scip,
		SCIP_Bool	subsetsufficient,
		SCIP_INTERVAL	newinterval,
		SCIP_INTERVAL	oldinterval
	)

static

returns whether intersecting oldinterval with newinterval would provide a properly smaller interval

If subsetsufficient is TRUE, then the intersection being smaller than oldinterval is sufficient.

If subsetsufficient is FALSE, then we require

a change from an unbounded interval to a bounded one, or
or a change from an unfixed (width > epsilon) to a fixed interval, or
a minimal tightening of one of the interval bounds as defined by SCIPis{Lb,Ub}Better().

Parameters

scip	SCIP data structure
subsetsufficient	whether the intersection being a proper subset of oldinterval is sufficient
newinterval	new interval
oldinterval	old interval

Definition at line 2465 of file cons_nonlinear.c.

References FALSE, SCIP_Interval::inf, MAX, MIN, NULL, reversePropQueue(), SCIP_INTERVAL_INFINITY, SCIPintervalIsEmpty(), SCIPintervalIsSubsetEQ(), SCIPisEQ(), SCIPisLbBetter(), SCIPisUbBetter(), SCIP_Interval::sup, and TRUE.

Referenced by forwardPropExpr(), and SCIPtightenExprIntervalNonlinear().

◆ reversePropQueue()

static SCIP_RETCODE reversePropQueue	(	SCIP *	scip,
		SCIP_CONSHDLR *	conshdlr,
		SCIP_Bool *	infeasible,
		int *	ntightenings
	)

static

propagates bounds for each sub-expression in the reversepropqueue by starting from the root expressions

The expression will be traversed in breadth first search by using this queue.

Note: Calling this function requires feasible intervals for each sub-expression; this is guaranteed by calling forwardPropExpr() before calling this function.; Calling this function with *infeasible = TRUE will only empty the queue.

Parameters

scip	SCIP data structure
conshdlr	constraint handler
infeasible	buffer to update whether an expression's bounds were propagated to an empty interval
ntightenings	buffer to store the number of (variable) tightenings

Definition at line 2513 of file cons_nonlinear.c.

References FALSE, SCIP_Interval::inf, NULL, propConss(), SCIP_CALL, SCIP_INTERVAL_INFINITY, SCIP_NLHDLR_METHOD_ACTIVITY, SCIP_OKAY, SCIPallocBufferArray, SCIPconshdlrGetData(), SCIPdebugMsg, SCIPdebugMsgPrint, SCIPexprGetActivity(), SCIPexprGetChildren(), SCIPexprGetHdlr(), SCIPexprGetNChildren(), SCIPexprGetOwnerData(), SCIPexprhdlrGetName(), SCIPexprhdlrHasReverseProp(), SCIPfreeBufferArray, SCIPgetExprBoundsNonlinear(), SCIPintervalIsEmpty(), SCIPintervalIsEntire(), SCIPnlhdlrGetName(), SCIPprintExpr(), SCIPqueueIsEmpty(), SCIPqueueRemove(), SCIPtightenExprIntervalNonlinear(), SCIP_Interval::sup, and TRUE.

Referenced by isIntervalBetter(), propConss(), and propExprDomains().

◆ propConss()

static SCIP_RETCODE propConss	(	SCIP *	scip,
		SCIP_CONSHDLR *	conshdlr,
		SCIP_CONS **	conss,
		int	nconss,
		SCIP_Bool	force,
		SCIP_RESULT *	result,
		int *	nchgbds
	)

static

calls domain propagation for a given set of constraints

The algorithm alternates calls of forward and reverse propagation. Forward propagation ensures that activity of expressions is up to date. Reverse propagation tries to derive tighter variable bounds by reversing the activity computation, using the constraints [lhs,rhs] interval as starting point.

The propagation algorithm works as follows:

apply forward propagation (update activities) for all constraints not marked as propagated
if presolve or propauxvars is disabled: collect expressions for which the constraint sides provide tighter bounds if solve and propauxvars is enabled: collect expressions for which auxvars (including those in root exprs) provide tighter bounds
apply reverse propagation to all collected expressions; don't explore sub-expressions which have not changed since the beginning of the propagation loop
if we have found enough tightenings go to 1, otherwise leave propagation loop

Note: After calling forward propagation for a constraint, we mark this constraint as propagated. This flag might be reset during the reverse propagation when we find a bound tightening of a variable expression contained in the constraint. Resetting this flag is done in the EVENTEXEC callback of the event handler

TODO should we distinguish between expressions where activity information is used for separation and those where not, e.g., try less to propagate on convex constraints?

Parameters

scip	SCIP data structure
conshdlr	constraint handler
conss	constraints to propagate
nconss	total number of constraints
force	force tightening even if below bound strengthening tolerance
result	pointer to store the result
nchgbds	buffer to add the number of changed bounds

Definition at line 2674 of file cons_nonlinear.c.

References FALSE, forwardPropExpr(), NULL, propExprDomains(), reversePropQueue(), SCIP_Bool, SCIP_CALL, SCIP_CUTOFF, SCIP_DIDNOTFIND, SCIP_DIDNOTRUN, SCIP_EXPRITER_BFS, SCIP_INTERVAL_INFINITY, SCIP_OKAY, SCIP_Real, SCIP_REDUCEDDOM, SCIPconsGetData(), SCIPconsGetName(), SCIPconshdlrGetData(), SCIPconsIsActive(), SCIPconsIsDeleted(), SCIPconsIsPropagationEnabled(), SCIPcreateExpriter(), SCIPdebugMsg, SCIPdebugPrintCons, SCIPexprGetActivity(), SCIPexprGetOwnerData(), SCIPexpriterGetCurrent(), SCIPexpriterGetNext(), SCIPexpriterInit(), SCIPexpriterIsEnd(), SCIPfreeExpriter(), SCIPintervalIsEmpty(), SCIPintervalSetBounds(), SCIPisInfinity(), SCIPqueueIsEmpty(), SCIPtightenExprIntervalNonlinear(), and TRUE.

Referenced by consEnfo(), reversePropQueue(), SCIP_DECL_CONSENFOPS(), SCIP_DECL_CONSPRESOL(), and SCIP_DECL_CONSPROP().

◆ propExprDomains()

static SCIP_RETCODE propExprDomains	(	SCIP *	scip,
		SCIP_CONSHDLR *	conshdlr,
		SCIP_CONS **	conss,
		int	nconss,
		SCIP_RESULT *	result,
		int *	nchgbds
	)

static

calls the reverseprop callbacks of all nlhdlrs in all expressions in all constraints using activity as bounds

This is meant to propagate any domain restrictions on functions onto variable bounds, if possible.

Assumes that activities are still valid and curpropboundstag does not need to be increased. Therefore, a good place to call this function is immediately after propConss() or after forwardPropExpr() if outside propagation.

Parameters

scip	SCIP data structure
conshdlr	constraint handler
conss	constraints to propagate
nconss	total number of constraints
result	pointer to store the result
nchgbds	buffer to add the number of changed bounds

Definition at line 2878 of file cons_nonlinear.c.

References FALSE, NULL, propagateLocks(), reversePropQueue(), SCIP_Bool, SCIP_CALL, SCIP_CUTOFF, SCIP_DIDNOTFIND, SCIP_EXPRITER_DFS, SCIP_NLHDLR_METHOD_ACTIVITY, SCIP_OKAY, SCIP_REDUCEDDOM, SCIPconsGetData(), SCIPconsGetName(), SCIPconshdlrGetData(), SCIPconsIsActive(), SCIPconsIsDeleted(), SCIPconsIsPropagationEnabled(), SCIPcreateExpriter(), SCIPdebugMsg, SCIPexprGetActivity(), SCIPexprGetOwnerData(), SCIPexpriterGetNext(), SCIPexpriterInit(), SCIPexpriterIsEnd(), SCIPexpriterRestartDFS(), SCIPfreeExpriter(), and SCIPqueueIsEmpty().

Referenced by initSepa(), propConss(), and SCIP_DECL_CONSPRESOL().

◆ propagateLocks()

static SCIP_RETCODE propagateLocks	(	SCIP *	scip,
		SCIP_EXPR *	expr,
		int	nlockspos,
		int	nlocksneg
	)

static

propagates variable locks through expression and adds locks to variables

Parameters

scip	SCIP data structure
expr	expression
nlockspos	number of positive locks
nlocksneg	number of negative locks

Definition at line 2991 of file cons_nonlinear.c.

References addLocks(), SCIP_EXPRITER_USERDATA::intvals, NULL, SCIP_CALL, SCIP_EXPRITER_DFS, SCIP_EXPRITER_ENTEREXPR, SCIP_EXPRITER_LEAVEEXPR, SCIP_EXPRITER_VISITINGCHILD, SCIP_MONOTONE_CONST, SCIP_MONOTONE_DEC, SCIP_MONOTONE_INC, SCIP_MONOTONE_UNKNOWN, SCIP_OKAY, SCIPABORT, SCIPaddVarLocks(), SCIPallocBlockMemoryArray, SCIPcreateExpriter(), SCIPexprGetHdlr(), SCIPexprGetNChildren(), SCIPexprGetOwnerData(), SCIPexprhdlrHasMonotonicity(), SCIPexpriterGetChildIdxDFS(), SCIPexpriterGetCurrent(), SCIPexpriterGetCurrentUserData(), SCIPexpriterGetNext(), SCIPexpriterGetStageDFS(), SCIPexpriterInit(), SCIPexpriterIsEnd(), SCIPexpriterSetChildUserData(), SCIPexpriterSetCurrentUserData(), SCIPexpriterSetStagesDFS(), SCIPfreeBlockMemoryArray, SCIPfreeExpriter(), SCIPgetVarExprVar(), SCIPisExprVar(), and TRUE.

Referenced by addLocks(), and propExprDomains().

◆ addLocks()

static SCIP_RETCODE addLocks	(	SCIP *	scip,
		SCIP_CONS *	cons,
		int	nlockspos,
		int	nlocksneg
	)

static

main function for adding locks to expressions and variables

Locks for a nonlinear constraint are used to update locks for all sub-expressions and variables. Locks of expressions depend on the monotonicity of expressions w.r.t. their children, e.g., consider the constraint \(x^2 \leq 1\) with \(x \in [-2,-1]\) implies an up-lock for the root expression (pow) and a down-lock for its child \(x\) because \(x^2\) is decreasing on [-2,-1]. Since the monotonicity (and thus the locks) might also depend on variable bounds, the function remembers the computed monotonicity information of each expression until all locks of an expression have been removed, which implies that updating the monotonicity information during the next locking of this expression does not break existing locks.

Note: When modifying the structure of an expression, e.g., during simplification, it is necessary to remove all locks from an expression and repropagating them after the structural changes have been applied. Because of existing common sub-expressions, it might be necessary to remove the locks of all constraints to ensure that an expression is unlocked (see canonicalizeConstraints() for an example)

Parameters

scip	SCIP data structure
cons	nonlinear constraint
nlockspos	number of positive rounding locks
nlocksneg	number of negative rounding locks

Definition at line 3144 of file cons_nonlinear.c.

References createNlRow(), NULL, propagateLocks(), SCIP_CALL, SCIP_OKAY, SCIPconsGetData(), and SCIPisInfinity().

Referenced by canonicalizeConstraints(), presolveMergeConss(), propagateLocks(), SCIP_DECL_CONSACTIVE(), SCIP_DECL_CONSDEACTIVE(), and SCIP_DECL_CONSLOCK().

◆ createNlRow()

static SCIP_RETCODE createNlRow	(	SCIP *	scip,
		SCIP_CONS *	cons
	)

static

create a nonlinear row representation of a nonlinear constraint and stores them in consdata

Parameters

scip	SCIP data structure
cons	nonlinear constraint

Definition at line 3192 of file cons_nonlinear.c.

References NULL, SCIP_CALL, SCIP_DECL_SORTPTRCOMP(), SCIP_EXPRCURV_UNKNOWN, SCIP_OKAY, SCIP_Real, SCIPaddLinearCoefToNlRow(), SCIPappendExprSumExpr(), SCIPchgNlRowConstant(), SCIPconsGetData(), SCIPconsGetHdlr(), SCIPconsGetName(), SCIPcreateExprSum(), SCIPcreateNlRow(), SCIPexprGetChildren(), SCIPexprGetNChildren(), SCIPgetCoefsExprSum(), SCIPgetConstantExprSum(), SCIPgetVarExprVar(), SCIPisExprSum(), SCIPisExprVar(), SCIPreleaseExpr(), SCIPreleaseNlRow(), and SCIPsetNlRowExpr().

Referenced by addLocks(), initSolve(), and SCIPgetNlRowNonlinear().

◆ SCIP_DECL_SORTPTRCOMP() [2/3]

static SCIP_DECL_SORTPTRCOMP ( enfodataCmp )

static

compares enfodata by enforcement priority of nonlinear handler

If handlers have same enforcement priority, then compare by detection priority, then by name.

Definition at line 3266 of file cons_nonlinear.c.

References detectNlhdlr(), NULL, SCIPnlhdlrGetDetectPriority(), SCIPnlhdlrGetEnfoPriority(), and SCIPnlhdlrGetName().

◆ detectNlhdlr()

static SCIP_RETCODE detectNlhdlr	(	SCIP *	scip,
		SCIP_EXPR *	expr,
		SCIP_CONS *	cons
	)

static

install nlhdlrs in one expression

Parameters

scip	SCIP data structure
expr	expression for which to run detection routines
cons	constraint for which expr == consdata->expr, otherwise NULL

Definition at line 3291 of file cons_nonlinear.c.

References detectNlhdlrs(), FALSE, h, NULL, SCIP_CALL, SCIP_ERROR, SCIP_NLHDLR_METHOD_ACTIVITY, SCIP_NLHDLR_METHOD_ALL, SCIP_NLHDLR_METHOD_NONE, SCIP_NLHDLR_METHOD_SEPAABOVE, SCIP_NLHDLR_METHOD_SEPABELOW, SCIP_NLHDLR_METHOD_SEPABOTH, SCIP_OKAY, SCIP_STAGE_SOLVING, SCIPallocBlockMemory, SCIPallocBlockMemoryArray, SCIPconshdlrGetData(), SCIPdebugMsg, SCIPensureBlockMemoryArray, SCIPerrorMessage, SCIPexprGetHdlr(), SCIPexprGetOwnerData(), SCIPexprhdlrGetName(), SCIPgetStage(), SCIPnlhdlrGetName(), SCIPnlhdlrIsEnabled(), SCIPreallocBlockMemoryArray, SCIPsortDownPtr(), and TRUE.

Referenced by detectNlhdlrs(), and SCIP_DECL_SORTPTRCOMP().

◆ detectNlhdlrs()

static SCIP_RETCODE detectNlhdlrs	(	SCIP *	scip,
		SCIP_CONSHDLR *	conshdlr,
		SCIP_CONS **	conss,
		int	nconss
	)

static

detect nlhdlrs that can handle the expressions

Parameters

scip	SCIP data structure
conshdlr	constraint handler
conss	constraints for which to run nlhdlr detect
nconss	total number of constraints

Definition at line 3456 of file cons_nonlinear.c.

References detectNlhdlr(), FALSE, freeEnfoData(), initSolve(), NULL, SCIP_CALL, SCIP_EXPRITER_DFS, SCIP_OKAY, SCIP_STAGE_INITSOLVE, SCIP_STAGE_PRESOLVING, SCIP_STAGE_SOLVING, SCIPcomputeExprIntegrality(), SCIPconsGetData(), SCIPconshdlrGetData(), SCIPconsIsEnforced(), SCIPconsIsInitial(), SCIPconsIsPropagated(), SCIPconsIsSeparated(), SCIPcreateExpriter(), SCIPexprGetOwnerData(), SCIPexpriterGetNext(), SCIPexpriterInit(), SCIPexpriterIsEnd(), SCIPexpriterRestartDFS(), SCIPfreeExpriter(), SCIPgetDepth(), SCIPgetStage(), SCIPincrementCurBoundsTagNonlinear(), SCIPregisterExprUsageNonlinear(), and TRUE.

Referenced by detectNlhdlr(), and initSolve().

◆ initSolve()

static SCIP_RETCODE initSolve	(	SCIP *	scip,
		SCIP_CONSHDLR *	conshdlr,
		SCIP_CONS **	conss,
		int	nconss
	)

static

initializes (pre)solving data of constraints

This initializes data in a constraint that is used for separation, propagation, etc, and assumes that expressions will not be modified. In particular, this function

runs the detection method of nlhldrs
looks for unlocked linear variables
checks curvature (if not in presolve)
creates and add row to NLP (if not in presolve)

This function can be called in presolve and solve and can be called several times with different sets of constraints, e.g., it should be called in INITSOL and for constraints that are added during solve.

Parameters

scip	SCIP data structure
conshdlr	constraint handler
conss	constraints
nconss	number of constraints

Definition at line 3606 of file cons_nonlinear.c.

References createNlRow(), deinitSolve(), detectNlhdlrs(), FALSE, findUnlockedLinearVar(), NULL, SCIP_Bool, SCIP_CALL, SCIP_EXPRCURV_CONCAVE, SCIP_EXPRCURV_CONVEX, SCIP_EXPRCURV_LINEAR, SCIP_OKAY, SCIP_STAGE_INITSOLVE, SCIP_STAGE_SOLVING, SCIPaddNlRow(), SCIPconsGetData(), SCIPconsGetName(), SCIPconshdlrGetData(), SCIPconsIsActive(), SCIPdebugMsg, SCIPgetStage(), SCIPhasExprCurvature(), SCIPisInfinity(), SCIPisNLPConstructed(), SCIPsetNlRowCurvature(), and SCIPwarningMessage().

Referenced by canonicalizeConstraints(), detectNlhdlrs(), SCIP_DECL_CONSACTIVE(), SCIP_DECL_CONSINITSOL(), and SCIP_DECL_CONSLOCK().

◆ deinitSolve()

static SCIP_RETCODE deinitSolve	(	SCIP *	scip,
		SCIP_CONSHDLR *	conshdlr,
		SCIP_CONS **	conss,
		int	nconss
	)

static

deinitializes (pre)solving data of constraints

This removes the initialization data created in initSolve().

This function can be called in presolve and solve.

TODO At the moment, it should not be called for a constraint if there are other constraints that use the same expressions but still require their nlhdlr. We should probably only decrement the auxvar and activity usage for the root expr and then proceed as in detectNlhdlrs(), i.e., free enfo data only where none is used.

Parameters

scip	SCIP data structure
conshdlr	constraint handler
conss	constraints
nconss	number of constraints

Definition at line 3695 of file cons_nonlinear.c.

References FALSE, freeEnfoData(), isBinaryProduct(), NULL, SCIP_Bool, SCIP_CALL, SCIP_EXPRCURV_UNKNOWN, SCIP_EXPRITER_DFS, SCIP_EXPRITER_LEAVEEXPR, SCIP_OKAY, SCIP_STAGE_SOLVING, SCIPconsGetData(), SCIPconshdlrGetData(), SCIPcreateExpriter(), SCIPdebugMsg, SCIPdelNlRow(), SCIPevalExprActivity(), SCIPexprGetActivityTag(), SCIPexpriterGetNext(), SCIPexpriterInit(), SCIPexpriterIsEnd(), SCIPexpriterRestartDFS(), SCIPexpriterSetStagesDFS(), SCIPfreeExpriter(), SCIPfreeExprQuadratic(), SCIPgetStage(), SCIPreleaseNlRow(), and TRUE.

Referenced by canonicalizeConstraints(), initSolve(), SCIP_DECL_CONSDEACTIVE(), SCIP_DECL_CONSEXITSOL(), and SCIP_DECL_CONSLOCK().

◆ isBinaryProduct()

static SCIP_Bool isBinaryProduct	(	SCIP *	scip,
		SCIP_EXPR *	expr
	)

static

helper method to decide whether a given expression is product of at least two binary variables

Parameters

scip	SCIP data structure
expr	expression

Definition at line 3777 of file cons_nonlinear.c.

References FALSE, getBilinearBinaryTerms(), NULL, SCIP_Real, SCIPexprGetChildren(), SCIPexprGetNChildren(), SCIPgetCoefExprProduct(), SCIPgetVarExprVar(), SCIPisEQ(), SCIPisExprProduct(), SCIPisExprVar(), SCIPvarGetLbLocal(), SCIPvarGetUbLocal(), SCIPvarIsIntegral(), and TRUE.

Referenced by deinitSolve(), getBilinearBinaryTerms(), and getBinaryProductExpr().

◆ getBilinearBinaryTerms()

static SCIP_RETCODE getBilinearBinaryTerms	(	SCIP *	scip,
		SCIP_EXPR *	sumexpr,
		SCIP_VAR **	xs,
		SCIP_VAR **	ys,
		int *	childidxs,
		int *	nterms
	)

static

helper method to collect all bilinear binary product terms

Parameters

scip	SCIP data structure
sumexpr	sum expression
xs	array to collect first variable of each bilinear binary product
ys	array to collect second variable of each bilinear binary product
childidxs	array to store the index of the child of each stored bilinear binary product
nterms	pointer to store the total number of bilinear binary terms

Definition at line 3823 of file cons_nonlinear.c.

References isBinaryProduct(), nterms, NULL, reformulateFactorizedBinaryQuadratic(), SCIP_OKAY, SCIPexprGetChildren(), SCIPexprGetNChildren(), SCIPgetVarExprVar(), SCIPisExprSum(), x, and y.

Referenced by getFactorizedBinaryQuadraticExpr(), and isBinaryProduct().

◆ reformulateFactorizedBinaryQuadratic()

static SCIP_RETCODE reformulateFactorizedBinaryQuadratic	(	SCIP *	scip,
		SCIP_CONSHDLR *	conshdlr,
		SCIP_CONS *	cons,
		SCIP_VAR *	facvar,
		SCIP_VAR **	vars,
		SCIP_Real *	coefs,
		int	nvars,
		SCIP_EXPR **	newexpr,
		int *	naddconss
	)

static

helper method to reformulate \(x_i \sum_j c_{ij} x_j\)

Parameters

scip	SCIP data structure
conshdlr	constraint handler
cons	constraint
facvar	variable that has been factorized
vars	variables of sum_j c_ij x_j
coefs	coefficients of sum_j c_ij x_j
nvars	total number of variables in sum_j c_ij x_j
newexpr	pointer to store the new expression
naddconss	pointer to update the total number of added constraints (might be NULL)

Definition at line 3873 of file cons_nonlinear.c.

References createExprVar(), getFactorizedBinaryQuadraticExpr(), MAX, MIN, NULL, SCIP_Bool, SCIP_CALL, SCIP_MAXSTRLEN, SCIP_OKAY, SCIP_Real, SCIP_VARTYPE_CONTINUOUS, SCIP_VARTYPE_IMPLINT, SCIPaddCoefLinear(), SCIPaddCons(), SCIPaddVar(), SCIPconsGetName(), SCIPcreateConsBasicLinear(), SCIPcreateConsBasicVarbound(), SCIPcreateVarBasic(), SCIPinfinity(), SCIPisIntegral(), SCIPisZero(), SCIPreleaseCons(), SCIPreleaseVar(), SCIPsnprintf(), SCIPvarGetName(), and TRUE.

Referenced by getBilinearBinaryTerms(), and getFactorizedBinaryQuadraticExpr().

◆ getFactorizedBinaryQuadraticExpr()

static SCIP_RETCODE getFactorizedBinaryQuadraticExpr	(	SCIP *	scip,
		SCIP_CONSHDLR *	conshdlr,
		SCIP_CONS *	cons,
		SCIP_EXPR *	sumexpr,
		int	minterms,
		SCIP_EXPR **	newexpr,
		int *	naddconss
	)

static

helper method to generate an expression for a sum of products of binary variables; note that the method captures the generated expression

Parameters

scip	SCIP data structure
conshdlr	constraint handler
cons	constraint
sumexpr	expression
minterms	minimum number of terms in a the sum of x_i sum_j c_j x_j
newexpr	pointer to store the expression that represents the binary quadratic
naddconss	pointer to update the total number of added constraints (might be NULL)

Definition at line 3972 of file cons_nonlinear.c.

References getBilinearBinaryTerms(), getBinaryProductExprDo(), MIN, nterms, NULL, reformulateFactorizedBinaryQuadratic(), SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIPallocBufferArray, SCIPallocClearBufferArray, SCIPcreateExprSum(), SCIPdebugMsg, SCIPduplicateBufferArray, SCIPexprGetChildren(), SCIPexprGetNChildren(), SCIPfreeBufferArray, SCIPfreeBufferArrayNull, SCIPgetCoefsExprSum(), SCIPgetConstantExprSum(), SCIPgetNTotalVars(), SCIPgetNVars(), SCIPgetVars(), SCIPisExprSum(), SCIPreleaseExpr(), SCIPsortDownIntPtr(), SCIPvarGetIndex(), SCIPvarGetName(), and TRUE.

Referenced by presolveBinaryProducts(), reformulateFactorizedBinaryQuadratic(), and replaceBinaryProducts().

◆ getBinaryProductExprDo()

static SCIP_RETCODE getBinaryProductExprDo	(	SCIP *	scip,
		SCIP_CONSHDLR *	conshdlr,
		SCIP_EXPR *	prodexpr,
		SCIP_EXPR **	newexpr,
		int *	naddconss,
		SCIP_Bool	empathy4and
	)

static

helper method to create an AND constraint or varbound constraints for a given binary product expression

Parameters

scip	SCIP data structure
conshdlr	constraint handler
prodexpr	product expression
newexpr	pointer to store the expression that represents the product
naddconss	pointer to update the total number of added constraints (might be NULL)
empathy4and	whether to use an AND constraint, if possible

Definition at line 4170 of file cons_nonlinear.c.

References createExprVar(), getBinaryProductExpr(), NULL, SCIP_CALL, SCIP_MAXSTRLEN, SCIP_OKAY, SCIP_Real, SCIP_VARTYPE_IMPLINT, SCIPaddCons(), SCIPaddVar(), SCIPallocBufferArray, SCIPcreateConsBasicAnd(), SCIPcreateConsBasicLinear(), SCIPcreateConsBasicVarbound(), SCIPcreateVarBasic(), SCIPdebugMsg, SCIPexprGetChildren(), SCIPexprGetNChildren(), SCIPfreeBufferArray, SCIPgetVarExprVar(), SCIPinfinity(), SCIPisExprProduct(), SCIPreleaseCons(), SCIPreleaseVar(), SCIPsnprintf(), SCIPvarGetName(), w, x, and y.

Referenced by getBinaryProductExpr(), and getFactorizedBinaryQuadraticExpr().

◆ getBinaryProductExpr()

static SCIP_RETCODE getBinaryProductExpr	(	SCIP *	scip,
		SCIP_CONSHDLR *	conshdlr,
		SCIP_HASHMAP *	exprmap,
		SCIP_EXPR *	prodexpr,
		SCIP_EXPR **	newexpr,
		int *	naddconss,
		int *	nchgcoefs
	)

static

helper method to generate an expression for the product of binary variables; note that the method captures the generated expression

Parameters

scip	SCIP data structure
conshdlr	constraint handler
exprmap	map to remember generated variables for visited product expressions
prodexpr	product expression
newexpr	pointer to store the expression that represents the product
naddconss	pointer to update the total number of added constraints (might be NULL)
nchgcoefs	pointer to update the total number of changed coefficients (might be NULL)

Definition at line 4280 of file cons_nonlinear.c.

References createExprVar(), FALSE, getBinaryProductExprDo(), isBinaryProduct(), NULL, replaceBinaryProducts(), SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIPcaptureExpr(), SCIPcliqueHasVar(), SCIPconshdlrGetData(), SCIPcreateExprSum(), SCIPcreateExprValue(), SCIPdebugMsg, SCIPexprGetChildren(), SCIPexprGetNChildren(), SCIPgetVarExprVar(), SCIPhashmapExists(), SCIPhashmapGetImage(), SCIPhashmapInsert(), SCIPreleaseExpr(), SCIPvarGetCliques(), SCIPvarGetNCliques(), TRUE, x, and y.

Referenced by getBinaryProductExprDo(), and replaceBinaryProducts().

◆ replaceBinaryProducts()

static SCIP_RETCODE replaceBinaryProducts	(	SCIP *	scip,
		SCIP_CONSHDLR *	conshdlr,
		SCIP_CONS *	cons,
		SCIP_HASHMAP *	exprmap,
		SCIP_EXPRITER *	it,
		int *	naddconss,
		int *	nchgcoefs
	)

static

helper function to replace binary products in a given constraint

Parameters

scip	SCIP data structure
conshdlr	constraint handler
cons	constraint
exprmap	map to remember generated variables for visited product expressions
it	expression iterator
naddconss	pointer to update the total number of added constraints (might be NULL)
nchgcoefs	pointer to update the total number of changed coefficients (might be NULL)

Definition at line 4429 of file cons_nonlinear.c.

References FALSE, getBinaryProductExpr(), getFactorizedBinaryQuadraticExpr(), NULL, presolveBinaryProducts(), SCIP_CALL, SCIP_OKAY, SCIPconsGetData(), SCIPconsGetName(), SCIPconshdlrGetData(), SCIPdebugMsg, SCIPexprGetNChildren(), SCIPexpriterGetChildExprDFS(), SCIPexpriterGetChildIdxDFS(), SCIPexpriterGetNext(), SCIPexpriterIsEnd(), SCIPexpriterRestartDFS(), SCIPreleaseExpr(), and SCIPreplaceExprChild().

Referenced by getBinaryProductExpr(), and presolveBinaryProducts().

◆ presolveBinaryProducts()

static SCIP_RETCODE presolveBinaryProducts	(	SCIP *	scip,
		SCIP_CONSHDLR *	conshdlr,
		SCIP_CONS **	conss,
		int	nconss,
		int *	naddconss,
		int *	nchgcoefs
	)

static

reformulates products of binary variables during presolving in the following way:

Let \(\sum_{i,j} Q_{ij} x_i x_j\) be a subexpression that only contains binary variables. Each term \(x_i x_j\) is reformulated with the help of an extra (implicit integer) variable \(z_{ij}\) in {0,1}:

\[ z_{ij} \leq x_i, \qquad z_{ij} \leq x_j, \qquad x_i + x_j - z_{ij} \leq 1. \]

Before reformulating \(x_i x_j\) in this way, it is checked whether there is a clique that contains \(x_i\) and \(x_j\). These cliques allow for a better reformulation. There are four cases:

\(x_i + x_j \leq 1\) implies that \(x_i x_j = 0\)
\(x_i + (1 - x_j) \leq 1\) implies \(x_i x_j = x_i\)
\((1 - x_i) + x_j \leq 1\) implies \(x_i x_j = x_j\)
\((1 - x_i) + (1 - x_j) \leq 1\) implies \(x_i x_j = x_i + x_j - 1\)

The reformulation using \(z_{ij}\) or the cliques is implemented in getBinaryProductExpr().

Introducing too many extra variables and constraints can have a negative impact on the performance (e.g., due to slow probing). For this reason, it is checked in getFactorizedBinaryQuadraticExpr() whether \(\sum_{i,j} Q_{ij} x_i x_j\) contains large (≥ reformbinprodsfac parameter) lower sums of the form \(x_i \sum_j Q_{ij} x_j\). Such a lower sum is reformulated with only one extra variable w_i:

\begin{align} \text{maxact} & := \sum_j \max(0, Q_{ij}), \\ \text{minact} & := \sum_j \min(0, Q_{ij}), \\ \text{minact}\, x_i & \leq w_i, \\ w_i &\leq \text{maxact}\, x_i, \\ \text{minact} &\leq \sum_j Q_{ij} x_j - w_i + \text{minact}\, x_i \\ \text{maxact} &\geq \sum_j Q_{ij} x_j - w_i + \text{maxact}\, x_i \end{align}

We mark \(w_i\) to be implicit integer if all \(Q_{ij}\) are integer. After each replacement of a lower sum, it is checked whether there are enough terms left to factorize other binary variables. Lower sums with a larger number of terms are prioritized.

Parameters

scip	SCIP data structure
conshdlr	constraint handler
conss	constraints
nconss	total number of constraints
naddconss	pointer to store the total number of added constraints (might be NULL)
nchgcoefs	pointer to store the total number of changed coefficients (might be NULL)

Definition at line 4533 of file cons_nonlinear.c.

References FALSE, getFactorizedBinaryQuadraticExpr(), NULL, replaceBinaryProducts(), scaleConsSides(), SCIP_CALL, SCIP_EXPRITER_DFS, SCIP_EXPRITER_VISITINGCHILD, SCIP_OKAY, SCIPblkmem(), SCIPconsGetData(), SCIPconshdlrGetData(), SCIPcreateExpriter(), SCIPdebugMsg, SCIPexpriterInit(), SCIPexpriterSetStagesDFS(), SCIPfreeExpriter(), SCIPgetNBinVars(), SCIPgetNVars(), SCIPhashmapCreate(), SCIPhashmapFree(), and SCIPreleaseExpr().

Referenced by canonicalizeConstraints(), and replaceBinaryProducts().

◆ scaleConsSides()

static SCIP_RETCODE scaleConsSides	(	SCIP *	scip,
		SCIP_CONSHDLR *	conshdlr,
		SCIP_CONS *	cons,
		SCIP_Bool *	changed
	)

static

scales the sides of the constraint \(\ell \leq \sum_i c_i f_i(x) \leq r\).

Let \(n_+\) the number of positive coefficients \(c_i\) and \(n_-\) be the number of negative coefficients. Then scale by -1 if

\(n_+ < n_-\), or
\(n_+ = n_-\) and \(r = \infty\).

Parameters

scip	SCIP data structure
conshdlr	nonlinear constraint handler
cons	nonlinear constraint
changed	buffer to store if the expression of cons changed

Definition at line 4612 of file cons_nonlinear.c.

References forbidNonlinearVariablesMultiaggration(), NULL, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIPallocBufferArray, SCIPcaptureExpr(), SCIPconsGetData(), SCIPcreateExprSum(), SCIPexprGetChildren(), SCIPexprGetNChildren(), SCIPfreeBufferArray, SCIPgetCoefsExprSum(), SCIPgetConstantExprSum(), SCIPisExprSum(), SCIPisInfinity(), SCIPreleaseExpr(), SCIPswapReals(), and TRUE.

Referenced by canonicalizeConstraints(), and presolveBinaryProducts().

◆ forbidNonlinearVariablesMultiaggration()

static SCIP_RETCODE forbidNonlinearVariablesMultiaggration	(	SCIP *	scip,
		SCIP_CONSHDLR *	conshdlr,
		SCIP_CONS **	conss,
		int	nconss
	)

static

forbid multiaggrations of variables that appear nonlinear in constraints

Parameters

scip	SCIP data structure
conshdlr	constraint handler
conss	constraints
nconss	number of constraints

Definition at line 4695 of file cons_nonlinear.c.

References canonicalizeConstraints(), FALSE, NULL, SCIP_CALL, SCIP_EXPRITER_DFS, SCIP_OKAY, SCIPconsGetData(), SCIPconshdlrGetData(), SCIPcreateExpriter(), SCIPexprGetChildren(), SCIPexprGetNChildren(), SCIPexpriterGetNext(), SCIPexpriterInit(), SCIPexpriterIsEnd(), SCIPexpriterRestartDFS(), SCIPfreeExpriter(), SCIPgetVarExprVar(), SCIPisExprSum(), SCIPisExprVar(), and SCIPmarkDoNotMultaggrVar().

Referenced by canonicalizeConstraints(), and scaleConsSides().

◆ canonicalizeConstraints()

static SCIP_RETCODE canonicalizeConstraints	(	SCIP *	scip,
		SCIP_CONSHDLR *	conshdlr,
		SCIP_CONS **	conss,
		int	nconss,
		SCIP_PRESOLTIMING	presoltiming,
		SCIP_Bool *	infeasible,
		int *	ndelconss,
		int *	naddconss,
		int *	nchgcoefs
	)

static

simplifies expressions and replaces common subexpressions for a set of constraints

Parameters

scip	SCIP data structure
conshdlr	constraint handler
conss	constraints
nconss	total number of constraints
presoltiming	presolve timing (SCIP_PRESOLTIMING_ALWAYS if not in presolving)
infeasible	buffer to store whether infeasibility has been detected
ndelconss	counter to add number of deleted constraints, or NULL
naddconss	counter to add number of added constraints, or NULL
nchgcoefs	counter to add number of changed coefficients, or NULL

Definition at line 4762 of file cons_nonlinear.c.

References addLocks(), catchVarEvents(), deinitSolve(), dropVarEvents(), FALSE, forbidNonlinearVariablesMultiaggration(), freeVarExprs(), initSolve(), SCIP_Cons::nlockspos, NULL, presolveBinaryProducts(), presolveMergeConss(), scaleConsSides(), SCIP_Bool, SCIP_CALL, SCIP_EXPRITER_RTOPOLOGIC, SCIP_OKAY, SCIP_PRESOLTIMING_EXHAUSTIVE, SCIP_Real, SCIP_STAGE_PRESOLVING, SCIPallocBufferArray, SCIPconsGetData(), SCIPconsGetName(), SCIPconshdlrGetData(), SCIPconsIsDeleted(), SCIPcreateExpriter(), SCIPdebugMsg, SCIPdebugPrintCons, SCIPdelCons(), SCIPduplicateBufferArray, SCIPexprGetOwnerData(), SCIPexpriterGetNext(), SCIPexpriterInit(), SCIPexpriterIsEnd(), SCIPfreeBufferArray, SCIPfreeExpriter(), SCIPgetStage(), SCIPgetValueExprValue(), SCIPisExprValue(), SCIPisFeasNegative(), SCIPisFeasPositive(), SCIPisInfinity(), SCIPnlhdlrResetNDetectionslast, SCIPreleaseExpr(), SCIPreplaceCommonSubexpressions(), SCIPsimplifyExpr(), SCIPsortPtr(), SCIPstartClock(), SCIPstopClock(), storeVarExprs(), and TRUE.

Referenced by forbidNonlinearVariablesMultiaggration(), SCIP_DECL_CONSEXITPRE(), and SCIP_DECL_CONSPRESOL().

◆ presolveMergeConss()

static SCIP_RETCODE presolveMergeConss	(	SCIP *	scip,
		SCIP_CONS **	conss,
		int	nconss,
		SCIP_Bool *	success
	)

static

merges constraints that have the same root expression

Parameters

scip	SCIP data structure
conss	constraints to process
nconss	number of constraints
success	pointer to store whether at least one constraint could be deleted

Definition at line 5034 of file cons_nonlinear.c.

References addLocks(), FALSE, MAX, MIN, SCIP_Cons::nlockspos, NULL, SCIP_Bool, SCIP_CALL, SCIP_DECL_EXPR_INTEVALVAR(), SCIP_OKAY, SCIPallocBufferArray, SCIPallocClearBufferArray, SCIPblkmem(), SCIPconsGetData(), SCIPconsGetName(), SCIPconsIsDeleted(), SCIPdebugMsg, SCIPdelCons(), SCIPfreeBufferArray, SCIPhashmapCreate(), SCIPhashmapExists(), SCIPhashmapFree(), SCIPhashmapGetImageInt(), SCIPhashmapInsertInt(), SCIPisInfinity(), and TRUE.

Referenced by canonicalizeConstraints(), and SCIP_DECL_CONSPRESOL().

◆ SCIP_DECL_EXPR_INTEVALVAR() [2/2]

static SCIP_DECL_EXPR_INTEVALVAR ( intEvalVarRedundancyCheck )

static

interval evaluation of variables as used in redundancy check

Returns local variable bounds of a variable, relaxed by feastol, as interval.

Definition at line 5137 of file cons_nonlinear.c.

References infty2infty, NULL, presolveRedundantConss(), SCIP_INTERVAL_INFINITY, SCIP_Real, SCIPfeastol(), SCIPinfinity(), SCIPintervalSetBounds(), SCIPisInfinity(), SCIPisRelEQ(), SCIPvarGetLbGlobal(), SCIPvarGetLbLocal(), SCIPvarGetUbGlobal(), and SCIPvarGetUbLocal().

◆ presolveRedundantConss()

static SCIP_RETCODE presolveRedundantConss	(	SCIP *	scip,
		SCIP_CONSHDLR *	conshdlr,
		SCIP_CONS **	conss,
		int	nconss,
		SCIP_Bool *	cutoff,
		int *	ndelconss,
		int *	nchgbds
	)

static

removes constraints that are always feasible or very simple

Checks whether the activity of constraint functions is a subset of the constraint sides (relaxed by feastol). To compute the activity, we use forwardPropExpr(), but relax variable bounds by feastol, because solutions to be checked might violate variable bounds by up to feastol, too. This is the main reason why the redundancy check is not done in propConss(), which relaxes variable bounds by epsilon only.

Also removes constraints of the form lhs ≤ variable ≤ rhs.

Note: This could should not run during solving, because the forwardProp takes the bounds of auxiliary variables into account. For the root expression, these bounds are already set to the constraint sides, so that the activity of every expression would appear as if the constraint is redundant.

Parameters

scip	SCIP data structure
conshdlr	constraint handler
conss	constraints to propagate
nconss	total number of constraints
cutoff	pointer to store whether infeasibility has been identified
ndelconss	buffer to add the number of deleted constraints
nchgbds	buffer to add the number of variable bound tightenings

Definition at line 5200 of file cons_nonlinear.c.

References FALSE, forwardPropExpr(), SCIP_Interval::inf, NULL, presolveUpgrade(), SCIP_Bool, SCIP_CALL, SCIP_INTERVAL_INFINITY, SCIP_OKAY, SCIP_Real, SCIPconsGetData(), SCIPconsGetName(), SCIPconshdlrGetData(), SCIPconsIsActive(), SCIPconsIsDeleted(), SCIPdebugMsg, SCIPdebugPrintCons, SCIPdelConsLocal(), SCIPexprGetActivity(), SCIPexprGetActivityTag(), SCIPfeastol(), SCIPgetValueExprValue(), SCIPgetVarExprVar(), SCIPintervalIsEmpty(), SCIPintervalIsSubsetEQ(), SCIPintervalSetBounds(), SCIPisExprValue(), SCIPisExprVar(), SCIPisInfinity(), SCIPtightenVarLb(), SCIPtightenVarUb(), SCIPvarGetLbLocal(), SCIPvarGetName(), SCIPvarGetUbLocal(), SCIP_Interval::sup, and TRUE.

Referenced by SCIP_DECL_CONSPRESOL(), and SCIP_DECL_EXPR_INTEVALVAR().

◆ presolveUpgrade()

static SCIP_RETCODE presolveUpgrade	(	SCIP *	scip,
		SCIP_CONSHDLR *	conshdlr,
		SCIP_CONS *	cons,
		SCIP_Bool *	upgraded,
		int *	nupgdconss,
		int *	naddconss
	)

static

tries to automatically convert a nonlinear constraint into a more specific and more specialized constraint

Parameters

scip	SCIP data structure
conshdlr	constraint handler data structure
cons	source constraint to try to convert
upgraded	buffer to store whether constraint was upgraded
nupgdconss	buffer to increase if constraint was upgraded
naddconss	buffer to increase with number of additional constraints created during upgrade

Definition at line 5369 of file cons_nonlinear.c.

References FALSE, isSingleLockedCand(), NULL, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIPaddCons(), SCIPallocBufferArray, SCIPconsGetData(), SCIPconsGetName(), SCIPconshdlrGetData(), SCIPconsIsModifiable(), SCIPdebugMsg, SCIPdebugMsgPrint, SCIPdebugPrintCons, SCIPdelCons(), SCIPfreeBufferArray, SCIPreallocBufferArray, SCIPreleaseCons(), and TRUE.

Referenced by presolveRedundantConss(), and SCIP_DECL_CONSPRESOL().

◆ isSingleLockedCand()

static SCIP_Bool isSingleLockedCand	(	SCIP *	scip,
		SCIP_EXPR *	expr
	)

static

returns whether the variable of a given variable expression is a candidate for presolveSingleLockedVars(), i.e., the variable is only contained in a single nonlinear constraint, has no objective coefficient, has finite variable bounds, and is not binary

Parameters

scip	SCIP data structure
expr	variable expression

Definition at line 5476 of file cons_nonlinear.c.

References NULL, removeSingleLockedVars(), SCIP_LOCKTYPE_MODEL, SCIP_VARTYPE_BINARY, SCIPexprGetOwnerData(), SCIPgetVarExprVar(), SCIPisEQ(), SCIPisExprVar(), SCIPisInfinity(), SCIPisZero(), SCIPvarGetLbGlobal(), SCIPvarGetNLocksDownType(), SCIPvarGetNLocksUpType(), SCIPvarGetObj(), SCIPvarGetType(), and SCIPvarGetUbGlobal().

Referenced by presolveSingleLockedVars(), and presolveUpgrade().

◆ removeSingleLockedVars()

static SCIP_RETCODE removeSingleLockedVars	(	SCIP *	scip,
		SCIP_EXPR *	expr,
		SCIP_EXPRITER *	it,
		SCIP_HASHMAP *	exprcands
	)

static

removes all variable expressions that are contained in a given expression from a hash map

Parameters

scip	SCIP data structure
expr	expression
it	expression iterator
exprcands	map to hash variable expressions

Definition at line 5502 of file cons_nonlinear.c.

References presolveSingleLockedVars(), SCIP_CALL, SCIP_OKAY, SCIPexpriterGetNext(), SCIPexpriterIsEnd(), SCIPexpriterRestartDFS(), SCIPhashmapExists(), SCIPhashmapRemove(), and SCIPisExprVar().

Referenced by isSingleLockedCand(), and presolveSingleLockedVars().

◆ presolveSingleLockedVars()

static SCIP_RETCODE presolveSingleLockedVars	(	SCIP *	scip,
		SCIP_CONSHDLR *	conshdlr,
		SCIP_CONS *	cons,
		int *	nchgvartypes,
		int *	naddconss,
		SCIP_Bool *	infeasible
	)

static

presolving method to fix a variable \(x_i\) to one of its bounds if the variable is only contained in a single nonlinear constraint g(x) ≤ rhs (≥ lhs) if g() is concave (convex) in \(x_i\)

If a continuous variable has bounds [0,1], then the variable type is changed to be binary. Otherwise, a bound disjunction constraint is added.

Parameters

scip	SCIP data structure
conshdlr	nonlinear constraint handler
cons	nonlinear constraint
nchgvartypes	pointer to store the total number of changed variable types
naddconss	pointer to store the total number of added constraints
infeasible	pointer to store whether problem is infeasible

Definition at line 5534 of file cons_nonlinear.c.

References FALSE, isSingleLockedCand(), NULL, presolveImplint(), removeSingleLockedVars(), SCIP_Bool, SCIP_BOUNDTYPE_LOWER, SCIP_BOUNDTYPE_UPPER, SCIP_CALL, SCIP_EXPRITER_DFS, SCIP_EXPRITER_ENTEREXPR, SCIP_MAXSTRLEN, SCIP_OKAY, SCIP_Real, SCIP_VARTYPE_BINARY, SCIPaddCons(), SCIPallocBufferArray, SCIPblkmem(), SCIPchgVarType(), SCIPconsGetData(), SCIPconsGetName(), SCIPconshdlrGetData(), SCIPcreateConsBounddisjunction(), SCIPcreateExpriter(), SCIPdebugMsg, SCIPexprGetChildren(), SCIPexprGetNChildren(), SCIPexpriterInit(), SCIPexpriterSetStagesDFS(), SCIPfindConshdlr(), SCIPfreeBufferArray, SCIPfreeExpriter(), SCIPgetCoefsExprSum(), SCIPgetExponentExprPow(), SCIPgetVarExprVar(), SCIPhashmapCreate(), SCIPhashmapExists(), SCIPhashmapFree(), SCIPhashmapInsert(), SCIPisEQ(), SCIPisExprPower(), SCIPisExprProduct(), SCIPisExprSum(), SCIPisExprVar(), SCIPisInfinity(), SCIPreleaseCons(), SCIPsnprintf(), SCIPvarGetLbGlobal(), SCIPvarGetName(), SCIPvarGetType(), SCIPvarGetUbGlobal(), and TRUE.

Referenced by removeSingleLockedVars(), and SCIP_DECL_CONSPRESOL().

◆ presolveImplint()

static SCIP_RETCODE presolveImplint	(	SCIP *	scip,
		SCIP_CONSHDLR *	conshdlr,
		SCIP_CONS **	conss,
		int	nconss,
		int *	nchgvartypes,
		SCIP_Bool *	infeasible
	)

static

presolving method to check if there is a single linear continuous variable that can be made implicit integer

Parameters

scip	SCIP data structure
conshdlr	constraint handler
conss	nonlinear constraints
nconss	total number of nonlinear constraints
nchgvartypes	pointer to update the total number of changed variable types
infeasible	pointer to store whether problem is infeasible

Definition at line 5738 of file cons_nonlinear.c.

References createAuxVar(), FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIP_VARTYPE_IMPLINT, SCIPchgVarType(), SCIPconsGetData(), SCIPconsGetName(), SCIPdebugMsg, SCIPexprGetChildren(), SCIPexprGetNChildren(), SCIPexprIsIntegral(), SCIPexprSetIntegrality(), SCIPgetCoefsExprSum(), SCIPgetConstantExprSum(), SCIPgetNBinVars(), SCIPgetNContVars(), SCIPgetNIntVars(), SCIPgetVarExprVar(), SCIPisEQ(), SCIPisExprSum(), SCIPisExprVar(), SCIPisIntegral(), SCIPvarGetName(), SCIPvarIsIntegral(), and TRUE.

Referenced by presolveSingleLockedVars(), and SCIP_DECL_CONSPRESOL().

◆ createAuxVar()

static SCIP_RETCODE createAuxVar	(	SCIP *	scip,
		SCIP_EXPR *	expr
	)

static

creates auxiliary variable for a given expression

Note: for a variable expression it does nothing; this function can only be called in stage SCIP_STAGE_SOLVING

Parameters

scip	SCIP data structure
expr	expression

Definition at line 5867 of file cons_nonlinear.c.

References SCIP_Interval::inf, initSepa(), MAX, MIN, NULL, SCIP_Bool, SCIP_CALL, SCIP_INTERVAL_INFINITY, SCIP_INVALIDCALL, SCIP_MAXSTRLEN, SCIP_OKAY, SCIP_STAGE_SOLVING, SCIP_VARTYPE_CONTINUOUS, SCIP_VARTYPE_IMPLINT, SCIPABORT, SCIPaddVar(), SCIPaddVarLocks(), SCIPconshdlrGetData(), SCIPcreateVarBasic(), SCIPdebugAddSolVal, SCIPdebugMsg, SCIPerrorMessage, SCIPexprGetActivity(), SCIPexprGetActivityTag(), SCIPexprGetEvalValue(), SCIPexprGetHdlr(), SCIPexprGetOwnerData(), SCIPexprhdlrGetName(), SCIPexprIsIntegral(), SCIPgetDepth(), SCIPgetStage(), SCIPinfinity(), SCIPintervalIsEmpty(), SCIPintervalSetEntire(), SCIPisExprValue(), SCIPisExprVar(), SCIPsnprintf(), SCIPvarGetLbGlobal(), SCIPvarGetName(), SCIPvarGetUbGlobal(), SCIPvarMarkRelaxationOnly(), SCIP_Interval::sup, and tightenAuxVarBounds().

Referenced by initSepa(), and presolveImplint().

◆ initSepa()

static SCIP_RETCODE initSepa	(	SCIP *	scip,
		SCIP_CONSHDLR *	conshdlr,
		SCIP_CONS **	conss,
		int	nconss,
		SCIP_Bool *	infeasible
	)

static

initializes separation for constraint

ensures that activities are up to date in all expressions
creates auxiliary variables where required
calls propExprDomains() to possibly tighten auxvar bounds
calls separation initialization callback of nlhdlrs

Parameters

scip	SCIP data structure
conshdlr	nonlinear constraints handler
conss	constraints
nconss	number of constraints
infeasible	pointer to store whether the problem is infeasible or not

Definition at line 5990 of file cons_nonlinear.c.

References branchAuxNonlinear(), createAuxVar(), FALSE, NULL, propExprDomains(), SCIP_Bool, SCIP_CALL, SCIP_CUTOFF, SCIP_EXPRITER_DFS, SCIP_NLHDLR_METHOD_SEPABOTH, SCIP_OKAY, SCIPconsGetData(), SCIPconsGetName(), SCIPconshdlrGetData(), SCIPcreateExpriter(), SCIPdebugMsg, SCIPevalExpr(), SCIPevalExprActivity(), SCIPexprGetOwnerData(), SCIPexpriterGetNext(), SCIPexpriterInit(), SCIPexpriterIsEnd(), SCIPexpriterRestartDFS(), SCIPfreeExpriter(), SCIPnlhdlrHasInitSepa(), SCIPtightenVarLb(), SCIPtightenVarUb(), SCIPvarGetLbLocal(), SCIPvarGetName(), SCIPvarGetUbLocal(), and TRUE.

Referenced by createAuxVar(), and SCIP_DECL_CONSINITLP().

◆ branchAuxNonlinear()

static SCIP_Bool branchAuxNonlinear	(	SCIP *	scip,
		SCIP_CONSHDLR *	conshdlr
	)

static

returns whether we are ok to branch on auxiliary variables

Currently returns whether depth of node in B&B tree is at least value of constraints/nonlinear/branching/aux parameter.

Parameters

scip	SCIP data structure
conshdlr	constraint handler

Definition at line 6172 of file cons_nonlinear.c.

References getViolSplitWeight(), NULL, SCIP_Real, SCIPconshdlrGetData(), and SCIPgetDepth().

Referenced by collectBranchingCandidates(), initSepa(), registerBranchingCandidates(), SCIPaddExprsViolScoreNonlinear(), and SCIPaddExprViolScoreNonlinear().

◆ getViolSplitWeight()

static SCIP_Real getViolSplitWeight	(	SCIP *	scip,
		SCIP_CONSHDLR *	conshdlr,
		SCIP_VAR *	var,
		SCIP_SOL *	sol
	)

static

gets weight of variable when splitting violation score onto several variables in an expression

Parameters

scip	SCIP data structure
conshdlr	expr constraint handler
var	variable
sol	current solution

Definition at line 6189 of file cons_nonlinear.c.

References addExprsViolScore(), MAX, MIN, NULL, SCIP_INVALID, SCIP_Real, SCIPABORT, SCIPconshdlrGetData(), SCIPerrorMessage, SCIPgetSolVal(), SCIPvarGetLbLocal(), and SCIPvarGetUbLocal().

Referenced by addExprsViolScore(), and branchAuxNonlinear().

◆ addExprsViolScore()

static void addExprsViolScore	(	SCIP *	scip,
		SCIP_EXPR **	exprs,
		int	nexprs,
		SCIP_Real	violscore,
		SCIP_SOL *	sol,
		SCIP_Bool *	success
	)

static

adds violation-branching score to a set of expressions, thereby distributing the score

Each expression must either be a variable expression or have an aux-variable.

If unbounded variables are present, each unbounded var gets an even score. If no unbounded variables, then parameter constraints/nonlinear/branching/violsplit decides weight for each var.

Parameters

scip	SCIP data structure
exprs	expressions where to add branching score
nexprs	number of expressions
violscore	violation-branching score to add to expression
sol	current solution
success	buffer to store whether at least one violscore was added

Definition at line 6242 of file cons_nonlinear.c.

References addExprViolScoresAuxVars(), FALSE, getViolSplitWeight(), NULL, SCIP_Real, SCIPaddExprViolScoreNonlinear(), SCIPdebugMsg, SCIPexprGetOwnerData(), SCIPgetExprAuxVarNonlinear(), SCIPisEQ(), SCIPisInfinity(), SCIPvarGetLbLocal(), SCIPvarGetName(), SCIPvarGetUbLocal(), and TRUE.

Referenced by getViolSplitWeight(), and SCIPaddExprsViolScoreNonlinear().

◆ addExprViolScoresAuxVars()

static SCIP_RETCODE addExprViolScoresAuxVars	(	SCIP *	scip,
		SCIP_EXPR *	expr,
		SCIP_Real	violscore,
		SCIP_VAR **	auxvars,
		int	nauxvars,
		SCIP_SOL *	sol,
		SCIP_Bool *	success
	)

static

adds violation-branching score to children of expression for given auxiliary variables

Iterates over the successors of expr to find expressions that are associated with one of the given auxiliary variables. Adds violation-branching scores to all found exprs by means of SCIPaddExprsViolScoreNonlinear().

Note: This method may modify the given auxvars array by means of sorting.

Parameters

scip	SCIP data structure
expr	expression where to start searching
violscore	violation score to add to expression
auxvars	auxiliary variables for which to find expression
nauxvars	number of auxiliary variables
sol	current solution (NULL for the LP solution)
success	buffer to store whether at least one violscore was added

Definition at line 6328 of file cons_nonlinear.c.

References FALSE, NULL, registerBranchingCandidatesAllUnfixed(), SCIP_CALL, SCIP_EXPRITER_BFS, SCIP_OKAY, SCIPaddExprsViolScoreNonlinear(), SCIPallocBufferArray, SCIPcreateExpriter(), SCIPdebugMsg, SCIPexpriterGetNext(), SCIPexpriterInit(), SCIPexpriterIsEnd(), SCIPfreeBufferArray, SCIPfreeExpriter(), SCIPgetExprAuxVarNonlinear(), SCIPsortedvecFindPtr(), SCIPsortPtr(), and SCIPvarGetName().

Referenced by addExprsViolScore(), and SCIPprocessRowprepNonlinear().

◆ registerBranchingCandidatesAllUnfixed()

static SCIP_RETCODE registerBranchingCandidatesAllUnfixed	(	SCIP *	scip,
		SCIP_CONSHDLR *	conshdlr,
		SCIP_CONS **	conss,
		int	nconss,
		int *	nnotify
	)

static

registers all unfixed variables in violated constraints as branching candidates

Parameters

scip	SCIP data structure
conshdlr	nonlinear constraints handler
conss	constraints
nconss	number of constraints
nnotify	counter for number of notifications performed

Definition at line 6393 of file cons_nonlinear.c.

References getConsAbsViolation(), isConsViolated(), NULL, registerBranchingCandidates(), SCIP_CALL, SCIP_INVALID, SCIP_OKAY, SCIPaddExternBranchCand(), SCIPconsGetData(), SCIPgetVarExprVar(), SCIPisEQ(), SCIPvarGetLbLocal(), and SCIPvarGetUbLocal().

Referenced by addExprViolScoresAuxVars(), consEnfo(), and SCIP_DECL_CONSENFOPS().

◆ registerBranchingCandidates()

static SCIP_RETCODE registerBranchingCandidates	(	SCIP *	scip,
		SCIP_CONSHDLR *	conshdlr,
		SCIP_CONS **	conss,
		int	nconss,
		SCIP_Bool *	success
	)

static

registers all variables in violated constraints with branching scores as external branching candidates

Parameters

scip	SCIP data structure
conshdlr	nonlinear constraints handler
conss	constraints
nconss	number of constraints
success	buffer to store whether at least one branching candidate was added

Definition at line 6443 of file cons_nonlinear.c.

References branchAuxNonlinear(), collectBranchingCandidates(), ENFOLOG, FALSE, isConsViolated(), NULL, SCIP_CALL, SCIP_EXPRITER_DFS, SCIP_INVALID, SCIP_OKAY, SCIP_Real, SCIPaddExternBranchCand(), SCIPconsGetData(), SCIPcreateExpriter(), SCIPexprGetOwnerData(), SCIPexpriterGetNext(), SCIPexpriterInit(), SCIPexpriterIsEnd(), SCIPexpriterRestartDFS(), SCIPfreeExpriter(), SCIPgetExprAuxVarNonlinear(), SCIPgetExprViolScoreNonlinear(), SCIPgetVarExprVar(), SCIPinfoMessage(), SCIPisEQ(), SCIPvarGetLbLocal(), SCIPvarGetName(), SCIPvarGetUbLocal(), and TRUE.

Referenced by branching(), and registerBranchingCandidatesAllUnfixed().

◆ collectBranchingCandidates()

static SCIP_RETCODE collectBranchingCandidates	(	SCIP *	scip,
		SCIP_CONSHDLR *	conshdlr,
		SCIP_CONS **	conss,
		int	nconss,
		SCIP_Real	maxrelconsviol,
		SCIP_SOL *	sol,
		SCIP_Longint	soltag,
		BRANCHCAND *	cands,
		int *	ncands
	)

static

collect branching candidates from violated constraints

Fills array with expressions that serve as branching candidates. Collects those expressions that have a branching score assigned and stores the score in the auxviol field of the branching candidate.

If branching on aux-variables is allowed, then iterate through expressions of violated constraints, otherwise iterate through variable-expressions only.

Parameters

scip	SCIP data structure
conshdlr	constraint handler
conss	constraints to process
nconss	number of constraints
maxrelconsviol	maximal scaled constraint violation
sol	solution to enforce (NULL for the LP solution)
soltag	tag of solution
cands	array where to store candidates, must be at least SCIPgetNVars() long
ncands	number of candidates found

Definition at line 6578 of file cons_nonlinear.c.

References BRANCHCAND::auxviol, branchAuxNonlinear(), ENFOLOG, BRANCHCAND::expr, FALSE, getConsRelViolation(), getDualBranchscore(), isConsViolated(), NULL, SCIP_CALL, SCIP_EXPRITER_DFS, SCIP_OKAY, SCIP_Real, SCIPconsGetData(), SCIPconshdlrGetData(), SCIPcreateExpriter(), SCIPexprGetOwnerData(), SCIPexpriterGetNext(), SCIPexpriterInit(), SCIPexpriterIsEnd(), SCIPexpriterRestartDFS(), SCIPfreeExpriter(), SCIPgetExprAuxVarNonlinear(), SCIPgetExprViolScoreNonlinear(), SCIPgetNVars(), SCIPgetVarExprVar(), SCIPinfoMessage(), SCIPisEQ(), SCIPvarGetLbLocal(), SCIPvarGetName(), SCIPvarGetUbLocal(), and BRANCHCAND::var.

Referenced by branching(), branchingIntegralOrNonlinear(), and registerBranchingCandidates().

◆ getDualBranchscore()

static SCIP_Real getDualBranchscore	(	SCIP *	scip,
		SCIP_CONSHDLR *	conshdlr,
		SCIP_VAR *	var
	)

static

computes a branching score for a variable that reflects how important branching on this variable would be for improving the dual bound from the LP relaxation

Assume the Lagrangian for the current LP is something of the form L(x,z,lambda) = c'x + sum_i lambda_i (a_i'x - z_i + b_i) + ... where x are the original variables, z the auxiliary variables, and a_i'x - z_i + b_i <= 0 are the rows of the LP.

Assume that a_i'x + b_i <= z_i was derived from some nonlinear constraint f(x) <= z and drop index i. If we could have used not only an estimator, but the actual function f(x), then this would have contributed lambda*(f(x) - z) to the Lagrangian function (though the value of z would be different). Using a lot of handwaving, we claim that lambda_i * (f(x) - a_i'x + b_i) is a value that can be used to quantity how much improving the estimator a'x + b <= z could change the dual bound. If an estimator depended on local bounds, then it could be improved by branching. We use row-is-local as proxy for estimator-depending-on-lower-bounds.

To score a variable, we then sum the values lambda_i * (f(x) - a_i'x + b_i) for all rows in which the variable appears. To scale, we divide by the LP objective value (if >1).

TODO if we branch only on original variables, we neglect here estimators that are build on auxiliary variables; these are affected by the bounds on original variables indirectly (through forward-propagation)

TODO if we branch also on auxiliary variables, then separating z from the x-variables in the row a'x+b <= z should happen; in effect, we should go from the row to the expression for which it was generated and consider only variables that would also be branching candidates

Parameters

scip	SCIP data structure
conshdlr	nonlinear constraints handler
var	variable

Definition at line 6756 of file cons_nonlinear.c.

References MAX, NULL, r, REALABS, SCIP_LPSOLSTAT_OPTIMAL, SCIP_Real, SCIP_VARSTATUS_COLUMN, SCIPcolGetNLPNonz(), SCIPcolGetRows(), SCIPcolIsInLP(), SCIPgetHugeValue(), SCIPgetLPObjval(), SCIPgetLPSolstat(), SCIPisFinite, SCIPisHugeValue(), SCIPisZero(), SCIProwGetDualsol(), SCIProwGetName(), SCIProwGetOriginConshdlr(), SCIPvarGetCol(), SCIPvarGetStatus(), and scoreBranchingCandidates().

Referenced by collectBranchingCandidates(), and scoreBranchingCandidates().

◆ scoreBranchingCandidates()

static void scoreBranchingCandidates	(	SCIP *	scip,
		SCIP_CONSHDLR *	conshdlr,
		BRANCHCAND *	cands,
		int	ncands,
		SCIP_Bool	considerfracnl,
		SCIP_SOL *	sol
	)

static

computes branching scores (including weighted score) for a set of candidates

For each candidate in the array, compute and store the various branching scores (violation, pseudo-costs, vartype, domainwidth). For pseudo-costs, it's possible that the score is not available, in which case cands[c].pscost will be set to SCIP_INVALID.

For each score, compute the maximum over all candidates.

Then compute for each candidate a "weighted" score using the weights as specified by parameters and the scores as previously computed, but scale each score to be in [0,1], i.e., divide each score by the maximum score of all candidates. Further divide by the sum of all weights where a score was available (even if the score was 0).

For example:

Let variable x have violation-score 10.0 and pseudo-cost-score 5.0.
Let variable y have violation-score 12.0 but no pseudo-cost-score (because it hasn't yet been branched on sufficiently often).
Assuming violation is weighted by 2.0 and pseudo-costs are weighted by 3.0.
Then the weighted scores for x will be (2.0 * 10.0/12.0 + 3.0 * 5.0/5.0) / (2.0 + 3.0) = 0.9333. The weighted score for y will be (2.0 * 12.0/12.0) / 2.0 = 1.0.

Parameters

scip	SCIP data structure
conshdlr	constraint handler
cands	branching candidates
ncands	number of candidates
considerfracnl	whether to consider fractionality for spatial branching candidates
sol	solution to enforce (NULL for the LP solution)

Definition at line 6852 of file cons_nonlinear.c.

References BRANCHCAND::auxviol, BRANCHCAND::domain, BRANCHCAND::dual, ENFOLOG, BRANCHCAND::expr, BRANCHCAND::fractionality, getDualBranchscore(), MAX, NULL, BRANCHCAND::pscost, REALABS, SCIP_BRANCHDIR_DOWNWARDS, SCIP_BRANCHDIR_UPWARDS, SCIP_DECL_SORTINDCOMP(), SCIP_INVALID, SCIP_Real, SCIP_VARTYPE_BINARY, SCIP_VARTYPE_CONTINUOUS, SCIP_VARTYPE_IMPLINT, SCIP_VARTYPE_INTEGER, SCIPadjustedVarLb(), SCIPadjustedVarUb(), SCIPconshdlrGetData(), SCIPepsilon(), SCIPerrorMessage, SCIPfeasCeil(), SCIPfeasFloor(), SCIPgetBranchingPoint(), SCIPgetBranchScore(), SCIPgetExprAuxVarNonlinear(), SCIPgetNObjVars(), SCIPgetSolVal(), SCIPgetVarPseudocostCountCurrentRun(), SCIPgetVarPseudocostVal(), SCIPinfinity(), SCIPinfoMessage(), SCIPisInfinity(), SCIPround(), SCIPvarGetLbLocal(), SCIPvarGetName(), SCIPvarGetType(), SCIPvarGetUbLocal(), BRANCHCAND::var, BRANCHCAND::vartype, and BRANCHCAND::weighted.

Referenced by getDualBranchscore(), and selectBranchingCandidate().

◆ SCIP_DECL_SORTINDCOMP() [1/2]

static SCIP_DECL_SORTINDCOMP ( branchcandCompare )

static

compare two branching candidates by their weighted score

if weighted score is equal, use variable index of (aux)var if variables are the same, then use whether variable was added due to nonlinearity or fractionality

Definition at line 7189 of file cons_nonlinear.c.

References BRANCHCAND::expr, NULL, SCIPvarGetIndex(), selectBranchingCandidate(), and BRANCHCAND::weighted.

Referenced by scoreBranchingCandidates(), and tryAddGadgetEvenOperator().

◆ selectBranchingCandidate()

static SCIP_RETCODE selectBranchingCandidate	(	SCIP *	scip,
		SCIP_CONSHDLR *	conshdlr,
		BRANCHCAND *	cands,
		int	ncands,
		SCIP_Bool	considerfracnl,
		BRANCHCAND **	selected
	)

static

picks a candidate from array of branching candidates

Parameters

scip	SCIP data structure
conshdlr	constraint handler
cands	branching candidates
ncands	number of candidates
considerfracnl	whether to consider fractionality for spatial branching candidates
selected	buffer to store selected branching candidates

Definition at line 7204 of file cons_nonlinear.c.

References BRANCH_RANDNUMINITSEED, branching(), ENFOLOG, NULL, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIPallocBufferArray, SCIPconshdlrGetData(), SCIPcreateRandom(), SCIPfreeBufferArray, SCIPinfoMessage(), SCIPrandomGetInt(), SCIPsortDown(), SCIPvarGetName(), scoreBranchingCandidates(), TRUE, and BRANCHCAND::weighted.

Referenced by branching(), branchingIntegralOrNonlinear(), and SCIP_DECL_SORTINDCOMP().

◆ branching()

static SCIP_RETCODE branching	(	SCIP *	scip,
		SCIP_CONSHDLR *	conshdlr,
		SCIP_CONS **	conss,
		int	nconss,
		SCIP_Real	maxrelconsviol,
		SCIP_SOL *	sol,
		SCIP_Longint	soltag,
		SCIP_RESULT *	result
	)

static

do spatial branching or register branching candidates

Parameters

scip	SCIP data structure
conshdlr	constraint handler
conss	constraints to process
nconss	number of constraints
maxrelconsviol	maximal scaled constraint violation
sol	solution to enforce (NULL for the LP solution)
soltag	tag of solution
result	pointer to store the result of branching

Definition at line 7299 of file cons_nonlinear.c.

References collectBranchingCandidates(), ENFOLOG, enforceExprNlhdlr(), BRANCHCAND::expr, NULL, registerBranchingCandidates(), SCIP_Bool, SCIP_BRANCHED, SCIP_CALL, SCIP_DIDNOTFIND, SCIP_INFEASIBLE, SCIP_INVALID, SCIP_OKAY, SCIP_REDUCEDDOM, SCIPallocBufferArray, SCIPbranchVarVal(), SCIPconshdlrGetData(), SCIPfreeBufferArray, SCIPgetBranchingPoint(), SCIPgetNLPBranchCands(), SCIPgetNVars(), SCIPinfoMessage(), SCIPvarGetLbLocal(), SCIPvarGetName(), SCIPvarGetUbLocal(), selectBranchingCandidate(), and BRANCHCAND::var.

Referenced by enforceConstraints(), and selectBranchingCandidate().

◆ enforceExprNlhdlr()

static SCIP_RETCODE enforceExprNlhdlr	(	SCIP *	scip,
		SCIP_CONSHDLR *	conshdlr,
		SCIP_CONS *	cons,
		SCIP_NLHDLR *	nlhdlr,
		SCIP_EXPR *	expr,
		SCIP_NLHDLREXPRDATA *	nlhdlrexprdata,
		SCIP_SOL *	sol,
		SCIP_Real	auxvalue,
		SCIP_Bool	overestimate,
		SCIP_Bool	separated,
		SCIP_Bool	allowweakcuts,
		SCIP_Bool	inenforcement,
		SCIP_Bool	branchcandonly,
		SCIP_RESULT *	result
	)

static

call enforcement or estimate callback of nonlinear handler

Calls the enforcement callback, if available. Otherwise, calls the estimate callback, if available, and constructs a cut from the estimator.

If cut is weak, but estimator is not tight, tries to add branching candidates.

Parameters

scip	SCIP main data structure
conshdlr	constraint handler
cons	nonlinear constraint
nlhdlr	nonlinear handler
expr	expression
nlhdlrexprdata	nonlinear handler data of expression
sol	solution to be separated (NULL for the LP solution)
auxvalue	current value of expression w.r.t. auxiliary variables as obtained from EVALAUX
overestimate	whether the expression needs to be over- or underestimated
separated	whether another nonlinear handler already added a cut for this expression
allowweakcuts	whether we allow for weak cuts
inenforcement	whether we are in enforcement (and not just separation)
branchcandonly	only collect branching candidates, do not separate or propagate
result	pointer to store the result

Definition at line 7380 of file cons_nonlinear.c.

References ENFOLOG, enforceExpr(), FALSE, NULL, r, SCIP_Bool, SCIP_BRANCHED, SCIP_CALL, SCIP_DIDNOTFIND, SCIP_DIDNOTRUN, SCIP_OKAY, SCIP_SIDETYPE_LEFT, SCIP_SIDETYPE_RIGHT, SCIPaddRowprepTerm(), SCIPcreatePtrarray(), SCIPfreePtrarray(), SCIPfreeRowprep(), SCIPgetExprAuxVarNonlinear(), SCIPgetPtrarrayMaxIdx(), SCIPgetPtrarrayMinIdx(), SCIPgetPtrarrayVal(), SCIPgetSolVal(), SCIPinfoMessage(), SCIPnlhdlrGetName(), SCIPnlhdlrHasEstimate(), SCIPprocessRowprepNonlinear(), and SCIProwprepGetSidetype().

Referenced by branching(), and enforceExpr().

◆ enforceExpr()

static SCIP_RETCODE enforceExpr	(	SCIP *	scip,
		SCIP_CONSHDLR *	conshdlr,
		SCIP_CONS *	cons,
		SCIP_EXPR *	expr,
		SCIP_SOL *	sol,
		SCIP_Longint	soltag,
		SCIP_Bool	allowweakcuts,
		SCIP_Bool	inenforcement,
		SCIP_Bool	branchcandonly,
		SCIP_RESULT *	result
	)

static

tries to enforce violation in an expression by separation, bound tightening, or finding a branching candidate

if not inenforcement, then we should be called by consSepa(), and thus only try separation

Parameters

scip	SCIP data structure
conshdlr	nonlinear constraints handler
cons	nonlinear constraint
expr	expression
sol	solution to separate, or NULL if LP solution should be used
soltag	tag of solution
allowweakcuts	whether we allow weak cuts
inenforcement	whether we are in enforcement (and not just separation)
branchcandonly	only collect branching candidates, do not separate or propagate
result	pointer to store the result of the enforcing call

Definition at line 7487 of file cons_nonlinear.c.

References ENFOLOG, enforceConstraint(), enforceExprNlhdlr(), FALSE, getExprAbsAuxViolation(), getExprAbsOrigViolation(), NULL, SCIP_Bool, SCIP_BRANCHED, SCIP_CALL, SCIP_CUTOFF, SCIP_DIDNOTFIND, SCIP_NLHDLR_METHOD_SEPAABOVE, SCIP_NLHDLR_METHOD_SEPABELOW, SCIP_NLHDLR_METHOD_SEPABOTH, SCIP_OKAY, SCIP_Real, SCIP_REDUCEDDOM, SCIP_SEPARATED, SCIPconshdlrGetData(), SCIPevalExpr(), SCIPexprGetActivity(), SCIPexprGetEvalValue(), SCIPexprGetHdlr(), SCIPexprGetOwnerData(), SCIPexprhdlrGetName(), SCIPfeastol(), SCIPgetSolVal(), SCIPinfoMessage(), SCIPisInfinity(), SCIPnlhdlrGetName(), SCIPprintExpr(), and TRUE.

Referenced by enforceConstraint(), and enforceExprNlhdlr().

◆ enforceConstraint()

static SCIP_RETCODE enforceConstraint	(	SCIP *	scip,
		SCIP_CONSHDLR *	conshdlr,
		SCIP_CONS *	cons,
		SCIP_SOL *	sol,
		SCIP_Longint	soltag,
		SCIP_EXPRITER *	it,
		SCIP_Bool	allowweakcuts,
		SCIP_Bool	inenforcement,
		SCIP_Bool	branchcandonly,
		SCIP_RESULT *	result,
		SCIP_Bool *	success
	)

static

helper function to enforce a single constraint

Parameters

scip	SCIP data structure
conshdlr	constraint handler
cons	constraint to process
sol	solution to enforce (NULL for the LP solution)
soltag	tag of solution
it	expression iterator that we can just use here
allowweakcuts	whether to allow weak cuts in this round
inenforcement	whether to we are in enforcement, and not just separation
branchcandonly	only collect branching candidates, do not separate or propagate
result	pointer to update with result of the enforcing call
success	buffer to store whether some enforcement took place

Definition at line 7701 of file cons_nonlinear.c.

References ENFOLOG, enforceConstraints(), enforceExpr(), FALSE, forwardPropExpr(), NULL, SCIP_Bool, SCIP_BRANCHED, SCIP_CALL, SCIP_CUTOFF, SCIP_DIDNOTFIND, SCIP_OKAY, SCIP_REDUCEDDOM, SCIP_SEPARATED, SCIPconsGetData(), SCIPconshdlrGetData(), SCIPexprGetOwnerData(), SCIPexpriterGetNext(), SCIPexpriterIsEnd(), SCIPexpriterRestartDFS(), SCIPinfoMessage(), SCIPprintExpr(), and TRUE.

Referenced by enforceConstraints(), and enforceExpr().

◆ enforceConstraints()

static SCIP_RETCODE enforceConstraints	(	SCIP *	scip,
		SCIP_CONSHDLR *	conshdlr,
		SCIP_CONS **	conss,
		int	nconss,
		SCIP_SOL *	sol,
		SCIP_Longint	soltag,
		SCIP_Bool	inenforcement,
		SCIP_Bool	branchcandonly,
		SCIP_Real	maxrelconsviol,
		SCIP_RESULT *	result
	)

static

try to separate violated constraints and, if in enforcement, register branching scores

If branchcandonly=TRUE, then do not separate or propagate, but register branching scores only.

Sets result to

SCIP_DIDNOTFIND, if nothing of the below has been done
SCIP_CUTOFF, if node can be cutoff,
SCIP_SEPARATED, if a cut has been added,
SCIP_REDUCEDDOM, if a domain reduction has been found or a variable got fixed (in an attempt to branch on it),
SCIP_BRANCHED, if branching has been done (if branchcandonly=TRUE, then collected branching candidates only),
SCIP_INFEASIBLE, if external branching candidates were registered

Parameters

scip	SCIP data structure
conshdlr	constraint handler
conss	constraints to process
nconss	number of constraints
sol	solution to enforce (NULL for the LP solution)
soltag	tag of solution
inenforcement	whether we are in enforcement, and not just separation
branchcandonly	only collect branching candidates, do not separate or propagate
maxrelconsviol	largest scaled violation among all violated expr-constraints, only used if in enforcement
result	pointer to store the result of the enforcing call

Definition at line 7821 of file cons_nonlinear.c.

References branching(), branchingIntegralOrNonlinear(), ENFOLOG, enforceConstraint(), FALSE, getConsAbsViolation(), getConsRelViolation(), isConsViolated(), NULL, SCIP_Bool, SCIP_BRANCHED, SCIP_CALL, SCIP_CUTOFF, SCIP_DIDNOTFIND, SCIP_EXPRITER_DFS, SCIP_INFEASIBLE, SCIP_OKAY, SCIP_Real, SCIP_REDUCEDDOM, SCIPconsGetData(), SCIPconsGetName(), SCIPconshdlrGetData(), SCIPconsIsActive(), SCIPconsIsDeleted(), SCIPconsIsEnabled(), SCIPconsIsSeparationEnabled(), SCIPcreateExpriter(), SCIPexpriterInit(), SCIPfreeExpriter(), SCIPgetSolVal(), SCIPgetVarExprVar(), SCIPinfoMessage(), SCIPprintCons(), SCIPvarGetLbLocal(), SCIPvarGetName(), SCIPvarGetUbLocal(), and TRUE.

Referenced by branchingIntegralOrNonlinear(), consEnfo(), consSepa(), and enforceConstraint().

◆ branchingIntegralOrNonlinear()

static SCIP_RETCODE branchingIntegralOrNonlinear	(	SCIP *	scip,
		SCIP_CONSHDLR *	conshdlr,
		SCIP_CONS **	conss,
		int	nconss,
		SCIP_Longint	soltag,
		SCIP_Real	maxrelconsviol,
		SCIP_Bool *	branchintegral,
		SCIP_Bool *	cutoff
	)

static

decide whether to branch on fractional integer or nonlinear variable

The routine collects spatial branching candidates by a call to enforceConstraints(branchcandonly=TRUE) and collectBranchingCandidates(). Then it adds fractional integer variables to the candidate list. Variables that are candidate for both spatial branching and fractionality are considered as two separate candidates. selectBranchingCandidate() then selects a variable for branching from the joined candidate list. If the selected variable is a fractional integer one, then branchintegral=TRUE is returned, otherwise FALSE. Some shortcuts exist for cases where there are no candidates of the one kind or the other.

Parameters

scip	SCIP data structure
conshdlr	constraint handler
conss	constraints to process
nconss	number of constraints
soltag	tag of LP solution
maxrelconsviol	maximal scaled constraint violation
branchintegral	buffer to store whether to branch on fractional integer variables first
cutoff	buffer to store whether infeasibility has been detected

Definition at line 7952 of file cons_nonlinear.c.

References BRANCHCAND::auxviol, branchingIntegralFirst(), collectBranchingCandidates(), ENFOLOG, enforceConstraints(), BRANCHCAND::expr, FALSE, BRANCHCAND::fractionality, NULL, SCIP_Bool, SCIP_BRANCHED, SCIP_CALL, SCIP_CUTOFF, SCIP_DIDNOTFIND, SCIP_ERROR, SCIP_INFEASIBLE, SCIP_Longint, SCIP_OKAY, SCIP_Real, SCIP_REDUCEDDOM, SCIP_SEPARATED, SCIP_VARTYPE_INTEGER, SCIPallocBufferArray, SCIPerrorMessage, SCIPfreeBufferArray, SCIPgetLPBranchCands(), SCIPgetNBinVars(), SCIPgetNIntVars(), SCIPgetNLPBranchCands(), SCIPgetNVars(), SCIPinfoMessage(), SCIPvarGetName(), SCIPvarGetType(), selectBranchingCandidate(), TRUE, and BRANCHCAND::var.

Referenced by consEnfo(), and enforceConstraints().

◆ branchingIntegralFirst()

static SCIP_Bool branchingIntegralFirst	(	SCIP *	scip,
		SCIP_CONSHDLR *	conshdlr
	)

static

decide whether to consider spatial branching before integrality has been enforced

This decides whether we are still at a phase where we always want to branch on fractional integer variables if any (return TRUE), or whether branchingIntegralOrNonlinear() should be used (return FALSE).

This essentially checks whether the average pseudo cost count exceeds the value of parameter branchmixfractional.

Parameters

scip	SCIP data structure
conshdlr	constraint handler

Definition at line 8064 of file cons_nonlinear.c.

References analyzeViolation(), FALSE, NULL, SCIP_BRANCHDIR_DOWNWARDS, SCIP_BRANCHDIR_UPWARDS, SCIP_LPSOLSTAT_UNBOUNDEDRAY, SCIPconshdlrGetData(), SCIPgetAvgPseudocostCount(), SCIPgetLPSolstat(), SCIPgetNBinVars(), SCIPgetNIntVars(), SCIPgetNLPBranchCands(), SCIPisInfinity(), and TRUE.

Referenced by branchingIntegralOrNonlinear(), and consEnfo().

◆ analyzeViolation()

static SCIP_RETCODE analyzeViolation	(	SCIP *	scip,
		SCIP_CONS **	conss,
		int	nconss,
		SCIP_SOL *	sol,
		SCIP_Longint	soltag,
		SCIP_Real *	maxabsconsviol,
		SCIP_Real *	maxrelconsviol,
		SCIP_Real *	minauxviol,
		SCIP_Real *	maxauxviol,
		SCIP_Real *	maxvarboundviol
	)

static

collect (and print (if debugging enfo)) information on violation in expressions

assumes that constraint violations have been computed

Parameters

scip	SCIP data structure
conss	constraints
nconss	number of constraints
sol	solution to separate, or NULL if LP solution should be used
soltag	tag of solution
maxabsconsviol	buffer to store maximal absolute violation of constraints
maxrelconsviol	buffer to store maximal relative violation of constraints
minauxviol	buffer to store minimal (nonzero) violation of auxiliaries
maxauxviol	buffer to store maximal violation of auxiliaries (violation in "extended formulation")
maxvarboundviol	buffer to store maximal violation of variable bounds

Definition at line 8108 of file cons_nonlinear.c.

References consEnfo(), ENFOLOG, FALSE, getConsAbsViolation(), getConsRelViolation(), getExprAbsAuxViolation(), getExprAbsOrigViolation(), isConsViolated(), MAX, MIN, NULL, SCIP_Bool, SCIP_CALL, SCIP_EXPRITER_DFS, SCIP_NLHDLR_METHOD_SEPABOTH, SCIP_OKAY, SCIP_Real, SCIPconsGetData(), SCIPconsIsActive(), SCIPconsIsDeleted(), SCIPconsIsEnabled(), SCIPconsIsSeparationEnabled(), SCIPcreateExpriter(), SCIPexprGetActivity(), SCIPexprGetEvalValue(), SCIPexprGetOwnerData(), SCIPexpriterGetNext(), SCIPexpriterInit(), SCIPexpriterIsEnd(), SCIPexpriterRestartDFS(), SCIPfreeExpriter(), SCIPgetSolVal(), SCIPgetVarExprVar(), SCIPinfinity(), SCIPinfoMessage(), SCIPisExprVar(), SCIPisInfinity(), SCIPnlhdlrGetName(), SCIPprintExpr(), SCIPvarGetLbLocal(), SCIPvarGetName(), and SCIPvarGetUbLocal().

Referenced by branchingIntegralFirst(), and consEnfo().

◆ consEnfo()

static SCIP_RETCODE consEnfo	(	SCIP *	scip,
		SCIP_CONSHDLR *	conshdlr,
		SCIP_CONS **	conss,
		int	nconss,
		SCIP_SOL *	sol,
		SCIP_RESULT *	result
	)

static

enforcement of constraints called by enfolp and enforelax

Parameters

scip	SCIP data structure
conshdlr	constraint handler
conss	constraints to process
nconss	number of constraints
sol	solution to enforce (NULL for the LP solution)
result	pointer to store the result of the enforcing call

Definition at line 8284 of file cons_nonlinear.c.

References analyzeViolation(), branchingIntegralFirst(), branchingIntegralOrNonlinear(), computeViolation(), consSepa(), ENFOLOG, enforceConstraints(), FALSE, isConsViolated(), MAX, MIN, NULL, propConss(), registerBranchingCandidatesAllUnfixed(), SCIP_Bool, SCIP_BRANCHED, SCIP_CALL, SCIP_CUTOFF, SCIP_DIDNOTFIND, SCIP_FEASIBLE, SCIP_INFEASIBLE, SCIP_Longint, SCIP_OKAY, SCIP_Real, SCIP_REDUCEDDOM, SCIP_SEPARATED, SCIP_SOLVELP, SCIPconshdlrGetData(), SCIPepsilon(), SCIPgetCurrentNode(), SCIPgetExprNewSoltag(), SCIPgetLPFeastol(), SCIPgetNLPBranchCands(), SCIPinfoMessage(), SCIPisPositive(), SCIPisZero(), SCIPnodeGetNumber(), SCIPsetLPFeastol(), and TRUE.

Referenced by analyzeViolation(), SCIP_DECL_CONSENFOLP(), and SCIP_DECL_CONSENFORELAX().

◆ consSepa()

static SCIP_RETCODE consSepa	(	SCIP *	scip,
		SCIP_CONSHDLR *	conshdlr,
		SCIP_CONS **	conss,
		int	nconss,
		SCIP_SOL *	sol,
		SCIP_RESULT *	result
	)

static

separation for all violated constraints to be used by SEPA callbacks

Parameters

scip	SCIP data structure
conshdlr	constraint handler
conss	constraints to process
nconss	number of constraints
sol	solution to enforce (NULL for the LP solution)
result	pointer to store the result of the enforcing call

Definition at line 8510 of file cons_nonlinear.c.

References computeViolation(), ENFOLOG, enforceConstraints(), FALSE, isConsViolated(), NULL, SCIP_Bool, SCIP_CALL, SCIP_DECL_HASHGETKEY(), SCIP_DIDNOTFIND, SCIP_INVALID, SCIP_Longint, SCIP_OKAY, SCIPconsIsActive(), SCIPconsIsDeleted(), SCIPconsIsEnabled(), SCIPconsIsSeparationEnabled(), SCIPgetCurrentNode(), SCIPgetExprNewSoltag(), SCIPinfoMessage(), SCIPnodeGetNumber(), and TRUE.

Referenced by consEnfo(), SCIP_DECL_CONSSEPALP(), and SCIP_DECL_CONSSEPASOL().

◆ SCIP_DECL_HASHGETKEY()

static SCIP_DECL_HASHGETKEY ( bilinearTermsGetHashkey )

static

hash key retrieval function for bilinear term entries

Definition at line 8560 of file cons_nonlinear.c.

References NULL, and SCIP_DECL_HASHKEYEQ().

Referenced by consSepa().

◆ SCIP_DECL_HASHKEYEQ()

static SCIP_DECL_HASHKEYEQ ( bilinearTermsIsHashkeyEq )

static

returns TRUE iff the bilinear term entries are equal

Definition at line 8576 of file cons_nonlinear.c.

References NULL, SCIP_DECL_HASHKEYVAL(), SCIPvarCompare(), SCIP_ConsNonlinear_BilinTerm::x, and SCIP_ConsNonlinear_BilinTerm::y.

Referenced by SCIP_DECL_HASHGETKEY().

◆ SCIP_DECL_HASHKEYVAL()

static SCIP_DECL_HASHKEYVAL ( bilinearTermsGetHashkeyVal )

static

returns the hash value of the key

Definition at line 8594 of file cons_nonlinear.c.

References NULL, SCIP_DECL_SORTPTRCOMP(), SCIPhashTwo, SCIPvarCompare(), SCIPvarGetIndex(), SCIP_ConsNonlinear_BilinTerm::x, and SCIP_ConsNonlinear_BilinTerm::y.

Referenced by SCIP_DECL_HASHKEYEQ().

◆ SCIP_DECL_SORTPTRCOMP() [3/3]

static SCIP_DECL_SORTPTRCOMP ( auxexprComp )

static

compare two auxiliary expressions

Compares auxiliary variables, followed by coefficients, and then constants.

Definition at line 8610 of file cons_nonlinear.c.

References SCIP_ConsNonlinear_Auxexpr::auxvar, bilinTermAddAuxExpr(), SCIP_ConsNonlinear_Auxexpr::coefs, SCIP_ConsNonlinear_Auxexpr::cst, and SCIPvarCompare().

◆ bilinTermAddAuxExpr()

static SCIP_RETCODE bilinTermAddAuxExpr	(	SCIP *	scip,
		SCIP_CONSHDLRDATA *	conshdlrdata,
		SCIP_CONSNONLINEAR_BILINTERM *	term,
		SCIP_CONSNONLINEAR_AUXEXPR *	auxexpr,
		SCIP_Bool *	added
	)

static

Parameters

scip	SCIP data structure
conshdlrdata	nonlinear constraint handler data
term	bilinear term
auxexpr	auxiliary expression to add
added	pointer to store whether auxexpr has been added

Definition at line 8635 of file cons_nonlinear.c.

References SCIP_ConsNonlinear_BilinTerm::aux, SCIP_ConsNonlinear_BilinTerm::auxexprssize, bilinearTermsInsertAll(), SCIP_ConsNonlinear_BilinTerm::exprs, FALSE, SCIP_ConsNonlinear_BilinTerm::nauxexprs, SCIP_ConsNonlinear_Auxexpr::overestimate, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIPensureBlockMemoryArray, SCIPsortedvecFindPtr(), TRUE, and SCIP_ConsNonlinear_Auxexpr::underestimate.

Referenced by SCIP_DECL_SORTPTRCOMP(), and SCIPinsertBilinearTermImplicitNonlinear().

◆ bilinearTermsInsertAll()

static SCIP_RETCODE bilinearTermsInsertAll	(	SCIP *	scip,
		SCIP_CONSHDLR *	conshdlr,
		SCIP_CONS **	conss,
		int	nconss
	)

static

iterates through all expressions of all nonlinear constraints and adds the corresponding bilinear terms to the hash table

Parameters

scip	SCIP data structure
conshdlr	constraint handler
conss	nonlinear constraints
nconss	total number of nonlinear constraints

Definition at line 8688 of file cons_nonlinear.c.

References bilinearTermsInsertEntry(), FALSE, NULL, SCIP_CALL, SCIP_EXPRITER_DFS, SCIP_EXPRITER_ENTEREXPR, SCIP_OKAY, SCIPconsGetData(), SCIPconshdlrGetData(), SCIPcreateExpriter(), SCIPexprGetChildren(), SCIPexprGetNChildren(), SCIPexpriterGetNext(), SCIPexpriterInit(), SCIPexpriterIsEnd(), SCIPexpriterRestartDFS(), SCIPexpriterSetStagesDFS(), SCIPfreeExpriter(), SCIPgetExponentExprPow(), SCIPgetExprAuxVarNonlinear(), SCIPgetExprNLocksNegNonlinear(), SCIPgetExprNLocksPosNonlinear(), SCIPinsertBilinearTermExistingNonlinear(), SCIPisExprPower(), SCIPisExprProduct(), x, and y.

Referenced by bilinTermAddAuxExpr(), SCIP_DECL_CONSINITLP(), and SCIPcollectBilinTermsNonlinear().

◆ bilinearTermsInsertEntry()

static SCIP_RETCODE bilinearTermsInsertEntry	(	SCIP *	scip,
		SCIP_CONSHDLR *	conshdlr,
		SCIP_VAR *	x,
		SCIP_VAR *	y,
		int	nlockspos,
		int	nlocksneg,
		int *	idx,
		SCIP_Bool	existing
	)

static

store x, y and the locks in a new bilinear term

Parameters

scip	SCIP data structure
conshdlr	nonlinear constraint handler
x	the first variable
y	the second variable
nlockspos	number of positive locks of the bilinear term
nlocksneg	number of negative locks of the bilinear term
idx	pointer to store the position of the term in bilinterms array
existing	whether the term exists explicitly in the problem

Definition at line 8763 of file cons_nonlinear.c.

Referenced by bilinearTermsInsertAll(), SCIPinsertBilinearTermExistingNonlinear(), and SCIPinsertBilinearTermImplicitNonlinear().

◆ bilinearTermsFree()

static SCIP_RETCODE bilinearTermsFree	(	SCIP *	scip,
		SCIP_CONSHDLRDATA *	conshdlrdata
	)

static

frees array of bilinear terms and hash table

Parameters

scip	SCIP data structure
conshdlrdata	constraint handler data

Definition at line 8856 of file cons_nonlinear.c.

References buildVertexPolyhedralSeparationLP(), NULL, SCIP_CALL, SCIP_OKAY, SCIPfreeBlockMemory, SCIPfreeBlockMemoryArray, SCIPfreeBlockMemoryArrayNull, SCIPhashtableFree(), and SCIPreleaseVar().

Referenced by bilinearTermsInsertEntry(), and SCIP_DECL_CONSEXITSOL().

◆ buildVertexPolyhedralSeparationLP()

static SCIP_RETCODE buildVertexPolyhedralSeparationLP	(	SCIP *	scip,
		int	nvars,
		SCIP_LPI **	lp
	)

static

builds LP used to compute facets of the convex envelope of vertex-polyhedral functions

Parameters

scip	SCIP data structure
nvars	number of (unfixed) variables in vertex-polyhedral functions
lp	pointer to store created LP

Definition at line 8926 of file cons_nonlinear.c.

References a, computeVertexPolyhedralMaxFacetError(), NULL, POWEROFTWO, SCIP_CALL, SCIP_MAXVERTEXPOLYDIM, SCIP_OBJSEN_MINIMIZE, SCIP_OKAY, SCIP_Real, SCIPallocBufferArray, SCIPallocClearBufferArray, SCIPdebugMsg, SCIPfreeBufferArray, SCIPgetMessagehdlr(), SCIPlpiChgSides(), SCIPlpiCreate(), SCIPlpiInfinity(), and SCIPlpiLoadColLP().

Referenced by bilinearTermsFree(), and computeVertexPolyhedralFacetLP().

◆ computeVertexPolyhedralMaxFacetError()

static SCIP_Real computeVertexPolyhedralMaxFacetError	(	SCIP *	scip,
		SCIP_Bool	overestimate,
		SCIP_Real *	funvals,
		SCIP_Real *	box,
		int	nallvars,
		int	nvars,
		int *	nonfixedpos,
		SCIP_Real *	facetcoefs,
		SCIP_Real	facetconstant
	)

static

the given facet might not be a valid under(over)estimator, because of numerics and bad fixings; we compute \( \max_{v \in V} f(v) - (\alpha v + \beta) \) ( \(\max_{v \in V} \alpha v + \beta - f(v) \)) where \( V \) is the set of vertices of the domain

Parameters

scip	SCIP data structure
overestimate	whether we check for an over or underestimator
funvals	array containing the evaluation of the function at all corners, length: 2^nvars
box	box for which facet was computed, length: 2*nallvars
nallvars	number of all variables
nvars	number of unfixed variables
nonfixedpos	indices of unfixed variables, length: nvars
facetcoefs	current facet candidate's coefficients, length: nallvars
facetconstant	current facet candidate's constant, length: nallvars

Definition at line 9037 of file cons_nonlinear.c.

References computeVertexPolyhedralFacetLP(), MAX, NULL, POWEROFTWO, SCIP_Real, and SCIPdebugMsg.

Referenced by buildVertexPolyhedralSeparationLP(), and SCIPcomputeFacetVertexPolyhedralNonlinear().

◆ computeVertexPolyhedralFacetLP()

static SCIP_RETCODE computeVertexPolyhedralFacetLP	(	SCIP *	scip,
		SCIP_CONSHDLR *	conshdlr,
		SCIP_Bool	overestimate,
		SCIP_Real *	xstar,
		SCIP_Real *	box,
		int	nallvars,
		int *	nonfixedpos,
		SCIP_Real *	funvals,
		int	nvars,
		SCIP_Real	targetvalue,
		SCIP_Bool *	success,
		SCIP_Real *	facetcoefs,
		SCIP_Real *	facetconstant
	)

static

computes a facet of the convex or concave envelope of a vertex polyhedral function by solving an LP

Parameters

scip	SCIP data structure
conshdlr	nonlinear constraint handler
overestimate	whether to compute facet of concave (TRUE) or convex (FALSE) envelope
xstar	point to be separated
box	box where to compute facet: should be lb_1, ub_1, lb_2, ub_2...
nallvars	half of the length of box
nonfixedpos	indices of nonfixed variables
funvals	values of function in all corner points (w.r.t. nonfixed variables)
nvars	number of nonfixed variables
targetvalue	target value: no need to compute facet if value in xstar would be worse than this value
success	buffer to store whether a facet could be computed successfully
facetcoefs	buffer to store coefficients of facet defining inequality; must be an zero'ed array of length at least nallvars
facetconstant	buffer to store constant part of facet defining inequality

Definition at line 9125 of file cons_nonlinear.c.

References buildVertexPolyhedralSeparationLP(), computeVertexPolyhedralFacetUnivariate(), FALSE, MAX, MIN, NULL, POWEROFTWO, REALABS, SCIP_CALL, SCIP_LPERROR, SCIP_LPPAR_DUALFEASTOL, SCIP_LPPAR_FEASTOL, SCIP_LPPAR_LPINFO, SCIP_LPPAR_LPITLIM, SCIP_LPPAR_OBJLIM, SCIP_MAXVERTEXPOLYDIM, SCIP_OBJSEN_MAXIMIZE, SCIP_OBJSEN_MINIMIZE, SCIP_OKAY, SCIP_Real, SCIPallocBufferArray, SCIPconshdlrGetData(), SCIPcreateRandom(), SCIPdebugMsg, SCIPdebugMsgPrint, SCIPepsilon(), SCIPfeastol(), SCIPfreeBufferArray, SCIPinfinity(), SCIPisEQ(), SCIPisInfinity(), SCIPlpiChgObj(), SCIPlpiChgObjsen(), SCIPlpiChgSides(), SCIPlpiGetNCols(), SCIPlpiGetNRows(), SCIPlpiGetSol(), SCIPlpiIsDualFeasible(), SCIPlpiSetIntpar(), SCIPlpiSetRealpar(), SCIPlpiSolveDual(), SCIPlpiSolvePrimal(), SCIPrandomGetReal(), TRUE, and VERTEXPOLY_RANDNUMINITSEED.

Referenced by computeVertexPolyhedralMaxFacetError(), and SCIPcomputeFacetVertexPolyhedralNonlinear().

◆ computeVertexPolyhedralFacetUnivariate()

static SCIP_RETCODE computeVertexPolyhedralFacetUnivariate	(	SCIP *	scip,
		SCIP_Real	left,
		SCIP_Real	right,
		SCIP_Real	funleft,
		SCIP_Real	funright,
		SCIP_Bool *	success,
		SCIP_Real *	facetcoef,
		SCIP_Real *	facetconstant
	)

static

computes a facet of the convex or concave envelope of a univariate vertex polyhedral function

In other words, compute the line that passes through two given points.

Parameters

scip	SCIP data structure
left	left coordinate
right	right coordinate
funleft	value of function in left coordinate
funright	value of function in right coordinate
success	buffer to store whether a facet could be computed successfully
facetcoef	buffer to store coefficient of facet defining inequality
facetconstant	buffer to store constant part of facet defining inequality

Definition at line 9381 of file cons_nonlinear.c.

References computeHyperplaneThreePoints(), NULL, SCIP_INVALID, SCIP_OKAY, SCIPisFinite, SCIPisInfinity(), SCIPisLE(), and TRUE.

Referenced by computeVertexPolyhedralFacetLP(), and SCIPcomputeFacetVertexPolyhedralNonlinear().

◆ computeHyperplaneThreePoints()

static SCIP_RETCODE computeHyperplaneThreePoints	(	SCIP *	scip,
		SCIP_Real	a1,
		SCIP_Real	a2,
		SCIP_Real	a3,
		SCIP_Real	b1,
		SCIP_Real	b2,
		SCIP_Real	b3,
		SCIP_Real	c1,
		SCIP_Real	c2,
		SCIP_Real	c3,
		SCIP_Real *	alpha,
		SCIP_Real *	beta,
		SCIP_Real *	gamma_,
		SCIP_Real *	delta
	)

static

given three points, constructs coefficient of equation for hyperplane generated by these three points

Three points a, b, and c are given. Computes coefficients alpha, beta, gamma, and delta, such that a, b, and c, satisfy alpha * x1 + beta * x2 + gamma * x3 = delta and gamma >= 0.0.

Parameters

scip	SCIP data structure
a1	first coordinate of a
a2	second coordinate of a
a3	third coordinate of a
b1	first coordinate of b
b2	second coordinate of b
b3	third coordinate of b
c1	first coordinate of c
c2	second coordinate of c
c3	third coordinate of c
alpha	coefficient of first coordinate
beta	coefficient of second coordinate
gamma_	coefficient of third coordinate
delta	constant right-hand side

Definition at line 9417 of file cons_nonlinear.c.

References computeVertexPolyhedralFacetBivariate(), NULL, REALABS, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIPbuffer(), SCIPdebugMsg, SCIPisInfinity(), SCIPisRelEQ(), and SCIPlapackSolveLinearEquations().

Referenced by computeVertexPolyhedralFacetBivariate(), and computeVertexPolyhedralFacetUnivariate().

◆ computeVertexPolyhedralFacetBivariate()

static SCIP_RETCODE computeVertexPolyhedralFacetBivariate	(	SCIP *	scip,
		SCIP_Bool	overestimate,
		SCIP_Real	p1[2],
		SCIP_Real	p2[2],
		SCIP_Real	p3[2],
		SCIP_Real	p4[2],
		SCIP_Real	p1val,
		SCIP_Real	p2val,
		SCIP_Real	p3val,
		SCIP_Real	p4val,
		SCIP_Real	xstar[2],
		SCIP_Real	targetvalue,
		SCIP_Bool *	success,
		SCIP_Real *	facetcoefs,
		SCIP_Real *	facetconstant
	)

static

computes a facet of the convex or concave envelope of a bivariate vertex polyhedral function

Parameters

scip	SCIP data structure
overestimate	whether to compute facet of concave (TRUE) or convex (FALSE) envelope
p1	first vertex of box
p2	second vertex of box
p3	third vertex of box
p4	forth vertex of box
p1val	value in p1
p2val	value in p2
p3val	value in p3
p4val	value in p4
xstar	point to be separated
targetvalue	target value: no need to compute facet if value in xstar would be worse than this value
success	buffer to store whether a facet could be computed successfully
facetcoefs	buffer to store coefficients of facet defining inequality; must be an array of length at least 2
facetconstant	buffer to store constant part of facet defining inequality

Definition at line 9528 of file cons_nonlinear.c.

References computeHyperplaneThreePoints(), ensureOpenArraySizeSymdetect(), FALSE, NULL, SCIP_CALL, SCIP_INVALID, SCIP_OKAY, SCIP_Real, SCIPdebugMsg, SCIPisFinite, SCIPisNegative(), SCIPisZero(), and TRUE.

Referenced by computeHyperplaneThreePoints(), and SCIPcomputeFacetVertexPolyhedralNonlinear().

◆ ensureOpenArraySizeSymdetect()

static SCIP_RETCODE ensureOpenArraySizeSymdetect	(	SCIP *	scip,
		int **	openidx,
		int	nelems,
		int *	maxnelems
	)

static

ensures that we can store information about open expressions (i.e., not fully encoded in the symmetry detection graph yet) in an array

Parameters

scip	SCIP pointer
openidx	address of openidx array
nelems	number of elements that need to be stored
maxnelems	pointer to store maximum number that can be stored

Definition at line 9671 of file cons_nonlinear.c.

References ensureLocVarsArraySize(), NULL, SCIP_CALL, SCIP_OKAY, SCIPcalcMemGrowSize(), and SCIPreallocBufferArray.

Referenced by addSymmetryInformation(), and computeVertexPolyhedralFacetBivariate().

◆ ensureLocVarsArraySize()

static SCIP_RETCODE ensureLocVarsArraySize	(	SCIP *	scip,
		SCIP_VAR ***	vars,
		SCIP_Real **	vals,
		int	nelems,
		int *	maxnelems
	)

static

ensures that we can store information about local variables in an array

Parameters

scip	SCIP pointer
vars	address of variable array
vals	address of value array
nelems	number of elements that need to be stored
maxnelems	pointer to store maximum number that can be stored

Definition at line 9699 of file cons_nonlinear.c.

References NULL, SCIP_CALL, SCIP_OKAY, SCIPcalcMemGrowSize(), SCIPreallocBufferArray, and tryAddGadgetBilinearProductSignedPerm().

Referenced by addSymmetryInformation(), ensureOpenArraySizeSymdetect(), tryAddGadgetBilinearProductSignedPerm(), tryAddGadgetEvenOperatorSum(), and tryAddGadgetEvenOperatorVariable().

◆ tryAddGadgetBilinearProductSignedPerm()

static SCIP_RETCODE tryAddGadgetBilinearProductSignedPerm	(	SCIP *	scip,
		SCIP_EXPR *	expr,
		SCIP_CONS *	cons,
		SYM_GRAPH *	graph,
		int	parentidx,
		SCIP_Bool	hasparentcoef,
		SCIP_Real	parentcoef,
		SCIP_VAR ***	consvars,
		SCIP_Real **	consvals,
		int *	maxnconsvars,
		SCIP_HASHSET *	handledexprs,
		SCIP_Bool *	success
	)

static

tries to add gadget for finding signed permutations of bilinear products

If a product has exactly two children being variables, negating both simultanteoulsy is a signed permutation.

Parameters

scip	SCIP pointer
expr	product expression for which gadget is tried to be added
cons	constraint containing product expression
graph	symmetry detection graph to be extended by gadget
parentidx	index of parent node in symmetry detection graph for gadget
hasparentcoef	whether the parent gives a coefficient to the expression
parentcoef	the parent coefficient (if it exists)
consvars	pointer to allocated array to store temporary variables
consvals	pointer to allocated arrat to store temporary values
maxnconsvars	pointer to maximum number consvars/consvals can hold
handledexprs	hashset to store handled expressions
success	pointer to store whether gadget could be added successfully

Definition at line 9734 of file cons_nonlinear.c.

References ensureLocVarsArraySize(), FALSE, isEvenOperator(), NULL, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIPaddSymgraphEdge(), SCIPaddSymgraphOpnode(), SCIPaddSymgraphValnode(), SCIPblkmem(), SCIPconsIsTransformed(), SCIPexprGetChildren(), SCIPexprGetHdlr(), SCIPexprGetNChildren(), SCIPexprhdlrGetName(), SCIPfreeSymDataExpr(), SCIPgetSymActiveVariables(), SCIPgetSymDataExpr(), SCIPgetSymExprdataConstants(), SCIPgetSymExprdataNConstants(), SCIPgetSymgraphNegatedVarnodeidx(), SCIPgetSymgraphNNodes(), SCIPgetSymgraphVarnodeidx(), SCIPgetSymOpNodeType(), SCIPgetVarExprVar(), SCIPhashsetInsert(), SCIPisExprProduct(), SCIPisExprVar(), SCIPisInfinity(), SCIPisZero(), SCIPvarGetLbGlobal(), SCIPvarGetUbGlobal(), SYM_SYMTYPE_SIGNPERM, and TRUE.

Referenced by addSymmetryInformation(), and ensureLocVarsArraySize().

◆ isEvenOperator()

static SCIP_Bool isEvenOperator	(	SCIP *	scip,
		SCIP_EXPR *	expr,
		SCIP_Bool *	hasvalue,
		SCIP_Real *	value
	)

static

returns whether an operator is even and, if yes, stores data about operator

Parameters

scip	SCIP pointer
expr	expression corresponding to operator
hasvalue	pointer to store whether even operator has a value needed for symmetry computation
value	pointer to store value for symmetry computation

Definition at line 9875 of file cons_nonlinear.c.

References FALSE, NULL, SCIP_Bool, SCIP_CALL_ABORT, SCIP_Real, SCIPfreeSymDataExpr(), SCIPgetSymDataExpr(), SCIPgetSymExprdataConstants(), SCIPgetSymExprdataNConstants(), SCIPisEQ(), SCIPisExprAbs(), SCIPisExprCos(), SCIPisExprPower(), SCIPisExprSignpower(), SCIPisIntegral(), SCIPisLE(), TRUE, and varIsCenteredAt0().

Referenced by tryAddGadgetBilinearProductSignedPerm(), and tryAddGadgetEvenOperator().

◆ varIsCenteredAt0()

static SCIP_Bool varIsCenteredAt0	(	SCIP *	scip,
		SCIP_VAR *	var
	)

static

returns whether a variable is centered at 0

Parameters

scip	SCIP pointer
var	variable to be checked

Definition at line 9952 of file cons_nonlinear.c.

References FALSE, NULL, SCIPisEQ(), SCIPisInfinity(), SCIPvarGetLbGlobal(), SCIPvarGetUbGlobal(), TRUE, and tryAddGadgetEvenOperatorVariable().

Referenced by isEvenOperator(), tryAddGadgetEvenOperatorSum(), and tryAddGadgetEvenOperatorVariable().

◆ tryAddGadgetEvenOperatorVariable()

static SCIP_RETCODE tryAddGadgetEvenOperatorVariable	(	SCIP *	scip,
		SCIP_EXPR *	evenopexpr,
		SCIP_EXPR *	child,
		SCIP_CONS *	cons,
		SYM_GRAPH *	graph,
		int	parentidx,
		SCIP_Bool	hasparentcoef,
		SCIP_Real	parentcoef,
		SCIP_Bool	hassymval,
		SCIP_Real	symval,
		SCIP_VAR ***	consvars,
		SCIP_Real **	consvals,
		int *	maxnconsvars,
		SCIP_Bool *	success
	)

static

tries to add gadget for finding signed permutation of even univariate operators with variable child

Parameters

scip	SCIP pointer
evenopexpr	even operator expression for which gadget is tried to be added
child	child expression of evenopexpr
cons	constraint containing expression
graph	symmetry detection graph to be extended by gadget
parentidx	index of parent node in symmetry detection graph for gadget
hasparentcoef	whether the parent gives a coefficient to the expression
parentcoef	the parent coefficient (if it exists)
hassymval	whether evenopexpr has a value needed for symmetry detection
symval	value needed for symmetry detection (if hassymval is TRUE)
consvars	pointer to allocated array to store temporary variables
consvals	pointer to allocated arrat to store temporary values
maxnconsvars	pointer to maximum number consvars/consvals can hold
success	pointer to store whether gadget could be added successfully

Definition at line 9974 of file cons_nonlinear.c.

References ensureLocVarsArraySize(), FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIPaddSymgraphEdge(), SCIPaddSymgraphOpnode(), SCIPaddSymgraphValnode(), SCIPconsIsTransformed(), SCIPexprGetHdlr(), SCIPexprhdlrGetName(), SCIPgetSymActiveVariables(), SCIPgetSymgraphNegatedVarnodeidx(), SCIPgetSymgraphVarnodeidx(), SCIPgetSymOpNodeType(), SCIPgetVarExprVar(), SCIPisExprVar(), SCIPisZero(), SYM_SYMTYPE_SIGNPERM, TRUE, tryAddGadgetEvenOperatorSum(), and varIsCenteredAt0().

Referenced by tryAddGadgetEvenOperator(), and varIsCenteredAt0().

◆ tryAddGadgetEvenOperatorSum()

static SCIP_RETCODE tryAddGadgetEvenOperatorSum	(	SCIP *	scip,
		SCIP_EXPR *	evenopexpr,
		SCIP_EXPR *	child,
		SCIP_CONS *	cons,
		SYM_GRAPH *	graph,
		int	parentidx,
		SCIP_Bool	hasparentcoef,
		SCIP_Real	parentcoef,
		SCIP_Bool	hassymval,
		SCIP_Real	symval,
		SCIP_VAR ***	consvars,
		SCIP_Real **	consvals,
		int *	maxnconsvars,
		SCIP_HASHSET *	handledexprs,
		SCIP_Bool *	success
	)

static

tries to add gadget for finding signed permutation of even univariate operators with sum child

Parameters

scip	SCIP pointer
evenopexpr	even operator expression for which gadget is tried to be added
child	child expression of evenopexpr
cons	constraint containing expression
graph	symmetry detection graph to be extended by gadget
parentidx	index of parent node in symmetry detection graph for gadget
hasparentcoef	whether the parent gives a coefficient to the expression
parentcoef	the parent coefficient (if it exists)
hassymval	whether evenopexpr has a value needed for symmetry detection
symval	value needed for symmetry detection (if hassymval is TRUE)
consvars	pointer to allocated array to store temporary variables
consvals	pointer to allocated arrat to store temporary values
maxnconsvars	pointer to maximum number consvars/consvals can hold
handledexprs	hashset to store handled expressions
success	pointer to store whether gadget could be added successfully

Definition at line 10059 of file cons_nonlinear.c.

References ABS, ensureLocVarsArraySize(), FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIPaddSymgraphEdge(), SCIPaddSymgraphOpnode(), SCIPaddSymgraphValnode(), SCIPblkmem(), SCIPconsIsTransformed(), SCIPexprGetChildren(), SCIPexprGetHdlr(), SCIPexprGetNChildren(), SCIPexprhdlrGetName(), SCIPgetCoefsExprSum(), SCIPgetConstantExprSum(), SCIPgetSymActiveVariables(), SCIPgetSymgraphNegatedVarnodeidx(), SCIPgetSymgraphVarnodeidx(), SCIPgetSymOpNodeType(), SCIPgetVarExprVar(), SCIPhashsetInsert(), SCIPisExprSum(), SCIPisExprVar(), SCIPisZero(), SYM_CONSOPTYPE_SUM, SYM_SYMTYPE_SIGNPERM, TRUE, tryAddGadgetEvenOperator(), and varIsCenteredAt0().

Referenced by tryAddGadgetEvenOperator(), and tryAddGadgetEvenOperatorVariable().

◆ tryAddGadgetEvenOperator()

static SCIP_RETCODE tryAddGadgetEvenOperator	(	SCIP *	scip,
		SCIP_EXPR *	expr,
		SCIP_CONS *	cons,
		SYM_GRAPH *	graph,
		int	parentidx,
		SCIP_Bool	hasparentcoef,
		SCIP_Real	parentcoef,
		SCIP_VAR ***	consvars,
		SCIP_Real **	consvals,
		int *	maxnconsvars,
		SCIP_HASHSET *	handledexprs,
		SCIP_Bool *	success
	)

static

tries to add gadget for finding signed permutations of even univariate operators

We handle two cases. First, if a univariate operator is even and has a variable as child, negating the child is signed permutation. Second, the univariate operator is even and has a weighted sum of two variables as child.

Parameters

scip	SCIP pointer
expr	expression for which gadget is tried to be added
cons	constraint containing expression
graph	symmetry detection graph to be extended by gadget
parentidx	index of parent node in symmetry detection graph for gadget
hasparentcoef	whether the parent gives a coefficient to the expression
parentcoef	the parent coefficient (if it exists)
consvars	pointer to allocated array to store temporary variables
consvals	pointer to allocated arrat to store temporary values
maxnconsvars	pointer to maximum number consvars/consvals can hold
handledexprs	hashset to store handled expressions
success	pointer to store whether gadget could be added successfully

Definition at line 10201 of file cons_nonlinear.c.

References FALSE, isEvenOperator(), NULL, SCIP_Bool, SCIP_CALL, SCIP_DECL_SORTINDCOMP(), SCIP_OKAY, SCIP_Real, SCIPblkmem(), SCIPexprGetChildren(), SCIPexprGetNChildren(), SCIPgetSymgraphNNodes(), SCIPhashsetInsert(), SCIPisExprSum(), SCIPisExprValue(), SCIPisExprVar(), SCIPisExprVaridx(), tryAddGadgetEvenOperatorSum(), and tryAddGadgetEvenOperatorVariable().

Referenced by addSymmetryInformation(), and tryAddGadgetEvenOperatorSum().

◆ SCIP_DECL_SORTINDCOMP() [2/2]

static SCIP_DECL_SORTINDCOMP ( SCIPsortVarPtr )

static

compares two variable pointers

Definition at line 10269 of file cons_nonlinear.c.

References getDomainCenter(), NULL, SCIP_Real, and SCIPvarGetIndex().

◆ getDomainCenter()

static SCIP_Real getDomainCenter	(	SCIP *	scip,
		SCIP_VAR *	var
	)

static

gets domain center of a variable which has not semi-infinite domain

Parameters

scip	SCIP pointer
var	variable

Definition at line 10293 of file cons_nonlinear.c.

References SCIP_Real, SCIPisInfinity(), SCIPvarGetLbGlobal(), SCIPvarGetUbGlobal(), and tryAddGadgetSquaredDifference().

Referenced by SCIP_DECL_SORTINDCOMP(), and tryAddGadgetSquaredDifference().

◆ tryAddGadgetSquaredDifference()

static SCIP_RETCODE tryAddGadgetSquaredDifference	(	SCIP *	scip,
		SCIP_EXPR *	sumexpr,
		SCIP_CONS *	cons,
		SYM_GRAPH *	graph,
		int	sumnodeidx,
		SCIP_VAR ***	consvars,
		SCIP_Real **	consvals,
		int *	maxnconsvars,
		SCIP_HASHSET *	handledexprs
	)

static

tries to add gadget for finding signed permutations for squared differences in a sum expression

Parameters

scip	SCIP pointer
sumexpr	sum expression
cons	constraint containing the sum expression
graph	symmetry detection graph to be extended by gadget
sumnodeidx	index of sum node in symmetry detection graph for gadget
consvars	pointer to allocated array to store temporary variables
consvals	pointer to allocated arrat to store temporary values
maxnconsvars	pointer to maximum number consvars/consvals can hold
handledexprs	hashset to store handled expressions

Definition at line 10314 of file cons_nonlinear.c.

References addSymmetryInformation(), FALSE, getDomainCenter(), nterms, NULL, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIP_VARSTATUS_MULTAGGR, SCIPaddSymgraphEdge(), SCIPaddSymgraphOpnode(), SCIPaddSymgraphValnode(), SCIPallocBufferArray, SCIPallocClearBufferArray, SCIPblkmem(), SCIPconsIsTransformed(), SCIPexprGetChildren(), SCIPexprGetNChildren(), SCIPfreeBufferArray, SCIPfreeBufferArrayNull, SCIPfreeSymDataExpr(), SCIPgetCoefsExprSum(), SCIPgetSymActiveVariables(), SCIPgetSymDataExpr(), SCIPgetSymExprdataConstants(), SCIPgetSymExprdataNConstants(), SCIPgetSymgraphNegatedVarnodeidx(), SCIPgetSymgraphVarnodeidx(), SCIPgetVarExprVar(), SCIPhashsetInsert(), SCIPisEQ(), SCIPisExprPower(), SCIPisExprProduct(), SCIPisExprSum(), SCIPisExprVar(), SCIPisInfinity(), SCIPround(), SCIPsort(), SCIPvarGetIndex(), SCIPvarGetLbGlobal(), SCIPvarGetStatus(), SCIPvarGetUbGlobal(), SYM_CONSOPTYPE_SQDIFF, SYM_SYMTYPE_SIGNPERM, and TRUE.

Referenced by addSymmetryInformation(), and getDomainCenter().

◆ addSymmetryInformation()

static SCIP_RETCODE addSymmetryInformation	(	SCIP *	scip,
		SYM_SYMTYPE	symtype,
		SCIP_CONS *	cons,
		SYM_GRAPH *	graph,
		SCIP_Bool *	success
	)

static

adds symmetry information of constraint to a symmetry detection graph

Parameters

scip	SCIP pointer
symtype	type of symmetries that need to be added
cons	constraint
graph	symmetry detection graph
success	pointer to store whether symmetry information could be added

Definition at line 10575 of file cons_nonlinear.c.

References ensureLocVarsArraySize(), ensureOpenArraySizeSymdetect(), FALSE, NULL, SCIP_Bool, SCIP_CALL, SCIP_DECL_CONSHDLRCOPY(), SCIP_EXPRITER_DFS, SCIP_EXPRITER_ENTEREXPR, SCIP_EXPRITER_LEAVEEXPR, SCIP_OKAY, SCIP_Real, SCIPaddSymgraphConsnode(), SCIPaddSymgraphEdge(), SCIPaddSymgraphOpnode(), SCIPaddSymgraphValnode(), SCIPaddSymgraphVarAggregation(), SCIPallocBufferArray, SCIPblkmem(), SCIPconsIsTransformed(), SCIPcreateExpriter(), SCIPexprGetChildren(), SCIPexprGetHdlr(), SCIPexprGetNChildren(), SCIPexprhdlrGetName(), SCIPexprhdlrHasGetSymData(), SCIPexpriterGetCurrent(), SCIPexpriterGetNext(), SCIPexpriterGetParentDFS(), SCIPexpriterGetStageDFS(), SCIPexpriterInit(), SCIPexpriterIsEnd(), SCIPexpriterSetStagesDFS(), SCIPfreeBufferArray, SCIPfreeExpriter(), SCIPfreeSymDataExpr(), SCIPgetCoefsExprSum(), SCIPgetCoefSymData(), SCIPgetConstantExprSum(), SCIPgetExprNonlinear(), SCIPgetLhsNonlinear(), SCIPgetNVars(), SCIPgetRhsNonlinear(), SCIPgetSymActiveVariables(), SCIPgetSymDataExpr(), SCIPgetSymExprdataConstants(), SCIPgetSymExprdataNConstants(), SCIPgetSymOpNodeType(), SCIPgetValueExprValue(), SCIPgetVarExprVar(), SCIPhashsetCreate(), SCIPhashsetExists(), SCIPhashsetFree(), SCIPhashsetInsert(), SCIPhashsetIsEmpty(), SCIPhashsetRemove(), SCIPisEQ(), SCIPisExprProduct(), SCIPisExprSum(), SCIPisExprValue(), SCIPisExprVar(), SCIPisZero(), SYM_CONSOPTYPE_COEF, SYM_CONSOPTYPE_SUM, SYM_SYMTYPE_SIGNPERM, TRUE, tryAddGadgetBilinearProductSignedPerm(), tryAddGadgetEvenOperator(), and tryAddGadgetSquaredDifference().

Referenced by SCIP_DECL_CONSGETPERMSYMGRAPH(), SCIP_DECL_CONSGETSIGNEDPERMSYMGRAPH(), and tryAddGadgetSquaredDifference().

◆ SCIP_DECL_CONSHDLRCOPY()

static SCIP_DECL_CONSHDLRCOPY ( conshdlrCopyNonlinear )

static

copy method for constraint handler plugins (called when SCIP copies plugins)

Definition at line 10885 of file cons_nonlinear.c.

References CONSHDLR_NAME, NULL, SCIP_CALL, SCIP_DECL_CONSFREE(), SCIP_OKAY, SCIPconshdlrGetData(), SCIPconshdlrGetName(), SCIPfindConshdlr(), SCIPincludeConshdlrNonlinear(), and TRUE.

Referenced by addSymmetryInformation().

◆ SCIP_DECL_CONSFREE()

static SCIP_DECL_CONSFREE ( consFreeNonlinear )

static

destructor of constraint handler to free constraint handler data (called when SCIP is exiting)

Definition at line 10919 of file cons_nonlinear.c.

References NULL, SCIP_CALL, SCIP_DECL_CONSINIT(), SCIP_MAXVERTEXPOLYDIM, SCIP_OKAY, SCIPconshdlrGetData(), SCIPconshdlrSetData(), SCIPfreeBlockMemory, SCIPfreeBlockMemoryArrayNull, SCIPfreeClock(), SCIPfreeRandom(), SCIPhashmapFree(), SCIPhashmapGetNElements(), SCIPlpiFree(), SCIPnlhdlrFree(), and SCIPqueueFree().

Referenced by SCIP_DECL_CONSHDLRCOPY().

◆ SCIP_DECL_CONSINIT()

static SCIP_DECL_CONSINIT ( consInitNonlinear )

static

initialization method of constraint handler (called after problem was transformed)

Definition at line 10974 of file cons_nonlinear.c.

References catchVarEvents(), ENFOLOG, NULL, SCIP_CALL, SCIP_DECL_CONSEXIT(), SCIP_OKAY, SCIPconsGetData(), SCIPconshdlrGetData(), SCIPfindHeur(), SCIPresetClock(), SCIPsortDownPtr(), and storeVarExprs().

Referenced by SCIP_DECL_CONSFREE().

◆ SCIP_DECL_CONSEXIT()

static SCIP_DECL_CONSEXIT ( consExitNonlinear )

static

deinitialization method of constraint handler (called before transformed problem is freed)

Definition at line 11029 of file cons_nonlinear.c.

References consInitpreNonlinear, dropVarEvents(), ENFOLOG, freeVarExprs(), NULL, SCIP_CALL, SCIP_DECL_CONSINITPRE, SCIP_MAXVERTEXPOLYDIM, SCIP_OKAY, SCIPABORT, SCIPconsGetData(), SCIPconshdlrGetData(), SCIPduplicateBufferArray, SCIPerrorMessage, SCIPfreeBufferArray, SCIPfreeRandom(), SCIPlpiFree(), and SCIPsortDownPtr().

Referenced by SCIP_DECL_CONSINIT().

◆ SCIP_DECL_CONSEXITPRE()

static SCIP_DECL_CONSEXITPRE ( consExitpreNonlinear )

static

presolving deinitialization method of constraint handler (called after presolving has been finished)

Definition at line 11105 of file cons_nonlinear.c.

References canonicalizeConstraints(), NULL, SCIP_Bool, SCIP_CALL, SCIP_DECL_CONSINITSOL(), SCIP_OKAY, SCIP_PRESOLTIMING_ALWAYS, SCIP_STATUS_INFEASIBLE, SCIPenableNLP(), and SCIPgetStatus().

◆ SCIP_DECL_CONSINITSOL()

static SCIP_DECL_CONSINITSOL ( consInitsolNonlinear )

static

solving process initialization method of constraint handler (called when branch and bound process is about to begin)

Definition at line 11135 of file cons_nonlinear.c.

References initSolve(), NULL, SCIP_CALL, SCIP_DECL_CONSEXITSOL(), SCIP_INVALIDDATA, SCIP_OKAY, SCIP_STATUS_INFEASIBLE, SCIP_STATUS_INFORUNBD, SCIP_STATUS_OPTIMAL, SCIP_STATUS_UNBOUNDED, SCIPABORT, SCIPconshdlrGetData(), SCIPerrorMessage, SCIPgetCharParam(), SCIPgetStatus(), and SCIPnlhdlrResetNDetectionslast.

Referenced by SCIP_DECL_CONSEXITPRE().

◆ SCIP_DECL_CONSEXITSOL()

static SCIP_DECL_CONSEXITSOL ( consExitsolNonlinear )

static

solving process deinitialization method of constraint handler (called before branch and bound process data is freed)

Definition at line 11181 of file cons_nonlinear.c.

References bilinearTermsFree(), CONSHDLR_NAME, deinitSolve(), FALSE, NULL, SCIP_CALL, SCIP_DECL_CONSDELETE(), SCIP_EVENTTYPE_BESTSOLFOUND, SCIP_EVENTTYPE_SOLFOUND, SCIP_OKAY, SCIPconshdlrGetData(), SCIPdropEvent(), and SCIPfindEventhdlr().

Referenced by SCIP_DECL_CONSINITSOL().

◆ SCIP_DECL_CONSDELETE()

static SCIP_DECL_CONSDELETE ( consDeleteNonlinear )

static

frees specific constraint data

Definition at line 11214 of file cons_nonlinear.c.

References freeVarExprs(), NULL, SCIP_CALL, SCIP_DECL_CONSTRANS(), SCIP_OKAY, SCIPfreeBlockMemory, SCIPreleaseExpr(), and SCIPreleaseNlRow().

Referenced by SCIP_DECL_CONSEXITSOL().

◆ SCIP_DECL_CONSTRANS()

static SCIP_DECL_CONSTRANS ( consTransNonlinear )

static

transforms constraint data into data belonging to the transformed problem

Definition at line 11243 of file cons_nonlinear.c.

References createCons(), FALSE, NULL, SCIP_CALL, SCIP_DECL_CONSINITLP(), SCIP_OKAY, SCIPconsGetData(), SCIPconsGetName(), SCIPconsIsChecked(), SCIPconsIsDynamic(), SCIPconsIsEnforced(), SCIPconsIsInitial(), SCIPconsIsLocal(), SCIPconsIsModifiable(), SCIPconsIsPropagated(), SCIPconsIsRemovable(), SCIPconsIsSeparated(), SCIPduplicateExpr(), and SCIPreleaseExpr().

Referenced by SCIP_DECL_CONSDELETE().

◆ SCIP_DECL_CONSINITLP()

static SCIP_DECL_CONSINITLP ( consInitlpNonlinear )

static

LP initialization method of constraint handler (called before the initial LP relaxation at a node is solved)

Definition at line 11272 of file cons_nonlinear.c.

References bilinearTermsInsertAll(), CONSHDLR_NAME, initSepa(), NULL, SCIP_CALL, SCIP_DECL_CONSSEPALP(), SCIP_EVENTTYPE_BESTSOLFOUND, SCIP_EVENTTYPE_SOLFOUND, SCIP_OKAY, SCIPcatchEvent(), SCIPconshdlrGetData(), and SCIPfindEventhdlr().

Referenced by SCIP_DECL_CONSTRANS().

◆ SCIP_DECL_CONSSEPALP()

static SCIP_DECL_CONSSEPALP ( consSepalpNonlinear )

static

separation method of constraint handler for LP solutions

Definition at line 11311 of file cons_nonlinear.c.

References consSepa(), NULL, SCIP_CALL, SCIP_DECL_CONSSEPASOL(), and SCIP_OKAY.

Referenced by SCIP_DECL_CONSINITLP().

◆ SCIP_DECL_CONSSEPASOL()

static SCIP_DECL_CONSSEPASOL ( consSepasolNonlinear )

static

separation method of constraint handler for arbitrary primal solutions

Definition at line 11321 of file cons_nonlinear.c.

References consSepa(), SCIP_CALL, SCIP_DECL_CONSENFOLP(), and SCIP_OKAY.

Referenced by SCIP_DECL_CONSSEPALP().

◆ SCIP_DECL_CONSENFOLP()

static SCIP_DECL_CONSENFOLP ( consEnfolpNonlinear )

static

constraint enforcing method of constraint handler for LP solutions

Definition at line 11331 of file cons_nonlinear.c.

References consEnfo(), NULL, SCIP_CALL, SCIP_DECL_CONSENFORELAX(), and SCIP_OKAY.

Referenced by SCIP_DECL_CONSSEPASOL().

◆ SCIP_DECL_CONSENFORELAX()

static SCIP_DECL_CONSENFORELAX ( consEnforelaxNonlinear )

static

constraint enforcing method of constraint handler for relaxation solutions

Definition at line 11341 of file cons_nonlinear.c.

References consEnfo(), SCIP_CALL, SCIP_DECL_CONSENFOPS(), and SCIP_OKAY.

Referenced by SCIP_DECL_CONSENFOLP().

◆ SCIP_DECL_CONSENFOPS()

static SCIP_DECL_CONSENFOPS ( consEnfopsNonlinear )

static

constraint enforcing method of constraint handler for pseudo solutions

Definition at line 11351 of file cons_nonlinear.c.

References computeViolation(), isConsViolated(), NULL, propConss(), registerBranchingCandidatesAllUnfixed(), SCIP_CALL, SCIP_CUTOFF, SCIP_DECL_CONSCHECK(), SCIP_FEASIBLE, SCIP_INFEASIBLE, SCIP_Longint, SCIP_OKAY, SCIP_REDUCEDDOM, SCIP_SOLVELP, SCIPconshdlrGetData(), SCIPdebugMsg, SCIPgetExprNewSoltag(), and TRUE.

Referenced by SCIP_DECL_CONSENFORELAX().

◆ SCIP_DECL_CONSCHECK()

static SCIP_DECL_CONSCHECK ( consCheckNonlinear )

static

feasibility check method of constraint handler for integral solutions

Definition at line 11404 of file cons_nonlinear.c.

References computeViolation(), FALSE, getConsAbsViolation(), isConsViolated(), MAX, NULL, proposeFeasibleSolution(), SCIP_Bool, SCIP_CALL, SCIP_DECL_CONSPROP(), SCIP_FEASIBLE, SCIP_INFEASIBLE, SCIP_Longint, SCIP_LPSOLSTAT_UNBOUNDEDRAY, SCIP_OKAY, SCIP_Real, SCIP_SOLORIGIN_LPSOL, SCIP_STAGE_SOLVING, SCIP_STAGE_TRANSFORMED, SCIPconsGetData(), SCIPconshdlrGetData(), SCIPfeastol(), SCIPgetExprNewSoltag(), SCIPgetLPSolstat(), SCIPgetStage(), SCIPinfoMessage(), SCIPisInfinity(), SCIPprintCons(), SCIPsolGetOrigin(), and SCIPupdateStartpointHeurSubNlp().

Referenced by SCIP_DECL_CONSENFOPS().

◆ SCIP_DECL_CONSPROP()

static SCIP_DECL_CONSPROP ( consPropNonlinear )

static

domain propagation method of constraint handler

Definition at line 11516 of file cons_nonlinear.c.

References FALSE, propConss(), SCIP_CALL, SCIP_DECL_CONSPRESOL(), and SCIP_OKAY.

Referenced by SCIP_DECL_CONSCHECK().

◆ SCIP_DECL_CONSPRESOL()

static SCIP_DECL_CONSPRESOL ( consPresolNonlinear )

static

presolving method of constraint handler

Definition at line 11531 of file cons_nonlinear.c.

References canonicalizeConstraints(), consRespropNonlinear, FALSE, NULL, presolveImplint(), presolveMergeConss(), presolveRedundantConss(), presolveSingleLockedVars(), presolveUpgrade(), propConss(), propExprDomains(), SCIP_Bool, SCIP_CALL, SCIP_CUTOFF, SCIP_DECL_CONSRESPROP, SCIP_DIDNOTFIND, SCIP_DIDNOTRUN, SCIP_OKAY, SCIP_PRESOLTIMING_EXHAUSTIVE, SCIP_PRESOLTIMING_MEDIUM, SCIP_REDUCEDDOM, SCIP_SUCCESS, SCIPABORT, SCIPconsGetName(), SCIPconshdlrGetData(), SCIPconsIsActive(), SCIPconsIsDeleted(), SCIPdebugMsg, SCIPerrorMessage, SCIPisPresolveFinished(), and TRUE.

Referenced by SCIP_DECL_CONSPROP().

◆ SCIP_DECL_CONSLOCK()

static SCIP_DECL_CONSLOCK ( consLockNonlinear )

static

variable rounding lock method of constraint handler

Definition at line 11674 of file cons_nonlinear.c.

References addLocks(), deinitSolve(), FALSE, initSolve(), NULL, SCIP_Bool, SCIP_CALL, SCIP_DECL_CONSACTIVE(), SCIP_OKAY, SCIPconsGetData(), SCIPexprGetOwnerData(), and TRUE.

◆ SCIP_DECL_CONSACTIVE()

static SCIP_DECL_CONSACTIVE ( consActiveNonlinear )

static

constraint activation notification method of constraint handler

Definition at line 11720 of file cons_nonlinear.c.

References addLocks(), FALSE, initSolve(), NULL, SCIP_Bool, SCIP_CALL, SCIP_DECL_CONSDEACTIVE(), SCIP_EXPRITER_DFS, SCIP_EXPRITER_VISITINGCHILD, SCIP_OKAY, SCIP_STAGE_EXITPRESOLVE, SCIP_STAGE_INITPRESOLVE, SCIP_STAGE_TRANSFORMED, SCIPconsGetData(), SCIPconshdlrGetData(), SCIPconsIsChecked(), SCIPcreateExpriter(), SCIPexpriterGetChildExprDFS(), SCIPexpriterGetChildIdxDFS(), SCIPexpriterGetCurrent(), SCIPexpriterGetNext(), SCIPexpriterInit(), SCIPexpriterIsEnd(), SCIPexpriterSetStagesDFS(), SCIPfreeExpriter(), SCIPgetStage(), SCIPgetVarExprVar(), SCIPhashmapGetImage(), SCIPisExprVar(), SCIPreleaseExpr(), SCIPreplaceCommonSubexpressions(), SCIPreplaceExprChild(), SCIPsimplifyExpr(), storeVarExprs(), and TRUE.

Referenced by SCIP_DECL_CONSLOCK().

◆ SCIP_DECL_CONSDEACTIVE()

static SCIP_DECL_CONSDEACTIVE ( consDeactiveNonlinear )

static

constraint deactivation notification method of constraint handler

Definition at line 11812 of file cons_nonlinear.c.

References addLocks(), deinitSolve(), dropVarEvents(), freeVarExprs(), NULL, SCIP_CALL, SCIP_DECL_CONSENABLE(), SCIP_OKAY, SCIP_STAGE_EXITSOLVE, SCIP_STAGE_TRANSFORMED, SCIPconsGetData(), SCIPconshdlrGetData(), SCIPconsIsChecked(), and SCIPgetStage().

Referenced by SCIP_DECL_CONSACTIVE().

◆ SCIP_DECL_CONSENABLE()

static SCIP_DECL_CONSENABLE ( consEnableNonlinear )

static

constraint enabling notification method of constraint handler

Definition at line 11845 of file cons_nonlinear.c.

References catchVarEvents(), NULL, SCIP_CALL, SCIP_DECL_CONSDISABLE(), SCIP_OKAY, SCIP_STAGE_TRANSFORMED, SCIPconshdlrGetData(), and SCIPgetStage().

Referenced by SCIP_DECL_CONSDEACTIVE().

◆ SCIP_DECL_CONSDISABLE()

static SCIP_DECL_CONSDISABLE ( consDisableNonlinear )

static

constraint disabling notification method of constraint handler

Definition at line 11863 of file cons_nonlinear.c.

References consDelvarsNonlinear, dropVarEvents(), NULL, SCIP_CALL, SCIP_DECL_CONSDELVARS(), SCIP_OKAY, SCIP_STAGE_TRANSFORMED, SCIPABORT, SCIPconshdlrGetData(), SCIPerrorMessage, and SCIPgetStage().

Referenced by SCIP_DECL_CONSENABLE().

◆ SCIP_DECL_CONSPRINT()

static SCIP_DECL_CONSPRINT ( consPrintNonlinear )

static

constraint display method of constraint handler

Definition at line 11895 of file cons_nonlinear.c.

References NULL, SCIP_CALL, SCIP_DECL_CONSCOPY(), SCIP_OKAY, SCIPconsGetData(), SCIPinfoMessage(), SCIPisEQ(), SCIPisInfinity(), and SCIPprintExpr().

◆ SCIP_DECL_CONSCOPY()

static SCIP_DECL_CONSCOPY ( consCopyNonlinear )

static

constraint copying method of constraint handler

Definition at line 11928 of file cons_nonlinear.c.

References CONSHDLR_NAME, createCons(), FALSE, NULL, SCIP_CALL, SCIP_DECL_CONSPARSE(), SCIP_OKAY, SCIPconsGetData(), SCIPconsGetName(), SCIPcopyExpr(), SCIPfindConshdlr(), and SCIPreleaseExpr().

Referenced by SCIP_DECL_CONSPRINT().

◆ SCIP_DECL_CONSPARSE()

static SCIP_DECL_CONSPARSE ( consParseNonlinear )

static

constraint parsing method of constraint handler

Definition at line 11968 of file cons_nonlinear.c.

References createCons(), FALSE, NULL, SCIP_CALL, SCIP_DECL_CONSGETVARS(), SCIP_OKAY, SCIP_READERROR, SCIP_Real, SCIPconsGetName(), SCIPdebugMsg, SCIPerrorMessage, SCIPinfinity(), SCIPisInfinity(), SCIPparseExpr(), SCIPparseReal(), SCIPreleaseExpr(), SCIPskipSpace(), and TRUE.

Referenced by SCIP_DECL_CONSCOPY().

◆ SCIP_DECL_CONSGETVARS()

static SCIP_DECL_CONSGETVARS ( consGetVarsNonlinear )

static

constraint method of constraint handler which returns the variables (if possible)

Definition at line 12102 of file cons_nonlinear.c.

References FALSE, NULL, SCIP_CALL, SCIP_DECL_CONSGETNVARS(), SCIP_OKAY, SCIPconsGetData(), SCIPgetVarExprVar(), storeVarExprs(), and TRUE.

Referenced by SCIP_DECL_CONSPARSE().

◆ SCIP_DECL_CONSGETNVARS()

static SCIP_DECL_CONSGETNVARS ( consGetNVarsNonlinear )

static

constraint method of constraint handler which returns the number of variables (if possible)

Definition at line 12133 of file cons_nonlinear.c.

References consGetDiveBdChgsNonlinear, NULL, SCIP_CALL, SCIP_DECL_CONSGETDIVEBDCHGS, SCIP_OKAY, SCIPABORT, SCIPconsGetData(), SCIPerrorMessage, storeVarExprs(), and TRUE.

Referenced by SCIP_DECL_CONSGETVARS().

◆ SCIP_DECL_CONSGETPERMSYMGRAPH()

static SCIP_DECL_CONSGETPERMSYMGRAPH ( consGetPermsymGraphNonlinear )

static

constraint handler method which returns the permutation symmetry detection graph of a constraint (if possible)

Definition at line 12165 of file cons_nonlinear.c.

References addSymmetryInformation(), SCIP_CALL, SCIP_DECL_CONSGETSIGNEDPERMSYMGRAPH(), SCIP_OKAY, and SYM_SYMTYPE_PERM.

◆ SCIP_DECL_CONSGETSIGNEDPERMSYMGRAPH()

static SCIP_DECL_CONSGETSIGNEDPERMSYMGRAPH ( consGetSignedPermsymGraphNonlinear )

static

constraint handler method which returns the signed permutation symmetry detection graph of a constraint (if possible)

Definition at line 12174 of file cons_nonlinear.c.

References addSymmetryInformation(), SCIP_CALL, SCIP_DECL_TABLEOUTPUT(), SCIP_OKAY, and SYM_SYMTYPE_SIGNPERM.

Referenced by SCIP_DECL_CONSGETPERMSYMGRAPH().

◆ SCIP_DECL_TABLEOUTPUT() [1/2]

static SCIP_DECL_TABLEOUTPUT ( tableOutputNonlinear )

static

output method of statistics table to output file stream 'file'

Definition at line 12183 of file cons_nonlinear.c.

References CONSHDLR_NAME, NULL, SCIP_OKAY, SCIPconshdlrGetData(), SCIPfindConshdlr(), SCIPgetClockTime(), and SCIPinfoMessage().

Referenced by SCIP_DECL_CONSGETSIGNEDPERMSYMGRAPH().

◆ SCIP_DECL_TABLEOUTPUT() [2/2]

static SCIP_DECL_TABLEOUTPUT ( tableOutputNlhdlr )

static

output method of statistics table to output file stream 'file'

Definition at line 12213 of file cons_nonlinear.c.

References CONSHDLR_NAME, NULL, SCIP_DECL_DIALOGEXEC(), SCIP_OKAY, SCIPconshdlrGetData(), SCIPconshdlrGetMaxNActiveConss(), SCIPfindConshdlr(), and SCIPnlhdlrPrintStatistics().

◆ SCIP_DECL_DIALOGEXEC()

static SCIP_DECL_DIALOGEXEC ( dialogExecDisplayNlhdlrs )

static

execution method of display nlhdlrs dialog

Definition at line 12236 of file cons_nonlinear.c.

References CONSHDLR_NAME, FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIPconshdlrGetData(), SCIPdialoghdlrAddHistory(), SCIPdialoghdlrGetRoot(), SCIPdialogMessage(), SCIPfindConshdlr(), SCIPincludeConshdlrNonlinear(), SCIPnlhdlrGetDesc(), SCIPnlhdlrGetDetectPriority(), SCIPnlhdlrGetEnfoPriority(), SCIPnlhdlrGetName(), and SCIPnlhdlrIsEnabled().

Referenced by SCIP_DECL_TABLEOUTPUT().

SCIP

Detailed Description

Data Structures

Macros

Functions

Macro Definition Documentation

◆ CONSHDLR_NAME

◆ CONSHDLR_DESC

◆ CONSHDLR_ENFOPRIORITY

◆ CONSHDLR_CHECKPRIORITY

◆ CONSHDLR_EAGERFREQ

◆ CONSHDLR_NEEDSCONS

◆ CONSHDLR_SEPAPRIORITY

◆ CONSHDLR_SEPAFREQ

◆ CONSHDLR_DELAYSEPA

◆ CONSHDLR_PROPFREQ

◆ CONSHDLR_DELAYPROP

◆ CONSHDLR_PROP_TIMING

◆ CONSHDLR_PRESOLTIMING

◆ CONSHDLR_MAXPREROUNDS

◆ TABLE_NAME_NONLINEAR

◆ TABLE_DESC_NONLINEAR

◆ TABLE_POSITION_NONLINEAR

◆ TABLE_EARLIEST_STAGE_NONLINEAR

◆ TABLE_NAME_NLHDLR

◆ TABLE_DESC_NLHDLR

◆ TABLE_POSITION_NLHDLR

◆ TABLE_EARLIEST_STAGE_NLHDLR

◆ DIALOG_NAME

◆ DIALOG_DESC

◆ DIALOG_ISSUBMENU

◆ VERTEXPOLY_MAXPERTURBATION

◆ VERTEXPOLY_USEDUALSIMPLEX

◆ VERTEXPOLY_RANDNUMINITSEED

◆ VERTEXPOLY_ADJUSTFACETFACTOR

◆ BRANCH_RANDNUMINITSEED

◆ BILIN_MAXNAUXEXPRS

◆ infty2infty

◆ POWEROFTWO

◆ ENFOLOG

◆ consInitpreNonlinear

◆ consRespropNonlinear

◆ consDelvarsNonlinear

◆ consGetDiveBdChgsNonlinear

Function Documentation

◆ forwardPropExpr()

◆ freeAuxVar()

◆ freeEnfoData()

◆ SCIP_DECL_EXPR_OWNERFREE()

◆ SCIP_DECL_EXPR_OWNERPRINT()

◆ SCIP_DECL_EXPR_OWNEREVALACTIVITY()

◆ SCIP_DECL_EXPR_OWNERCREATE()

◆ createExprVar()

◆ SCIP_DECL_EXPR_MAPEXPR() [1/2]

◆ SCIP_DECL_EXPR_MAPEXPR() [2/2]

◆ storeVarExprs()

◆ freeVarExprs()

◆ SCIP_DECL_EXPR_INTEVALVAR() [1/2]

◆ SCIP_DECL_SORTPTRCOMP() [1/3]

◆ SCIP_DECL_EVENTEXEC() [1/2]

◆ catchVarEvent()

◆ catchVarEvents()

◆ dropVarEvent()

◆ dropVarEvents()

◆ createCons()

◆ getExprAbsOrigViolation()

◆ getExprAbsAuxViolation()

◆ computeViolation()

◆ getConsAbsViolation()

◆ getConsRelViolation()

◆ isConsViolated()

◆ findUnlockedLinearVar()

◆ proposeFeasibleSolution()

◆ notifyNlhdlrNewsol()

◆ SCIP_DECL_EVENTEXEC() [2/2]

◆ tightenAuxVarBounds()

◆ isIntervalBetter()

◆ reversePropQueue()

◆ propConss()

◆ propExprDomains()