Detailed Description

methods for the creation and interaction with rows of the NLP relaxation

Functions
SCIP_RETCODE	SCIPnlrowCreate (SCIP_NLROW *nlrow, BMS_BLKMEM blkmem, SCIP_SET set, SCIP_STAT stat, const char name, SCIP_Real constant, int nlinvars, SCIP_VAR linvars, SCIP_Real lincoefs, SCIP_EXPR *expr, SCIP_Real lhs, SCIP_Real rhs, SCIP_EXPRCURV curvature)

SCIP_RETCODE	SCIPnlrowCreateCopy (SCIP_NLROW *nlrow, BMS_BLKMEM blkmem, SCIP_SET set, SCIP_STAT stat, SCIP_NLROW *sourcenlrow)

SCIP_RETCODE	SCIPnlrowCreateFromRow (SCIP_NLROW *nlrow, BMS_BLKMEM blkmem, SCIP_SET set, SCIP_STAT stat, SCIP_ROW *row)

SCIP_RETCODE	SCIPnlrowPrint (SCIP_NLROW nlrow, BMS_BLKMEM blkmem, SCIP_SET set, SCIP_STAT stat, SCIP_MESSAGEHDLR messagehdlr, FILE file)

void	SCIPnlrowCapture (SCIP_NLROW *nlrow)

SCIP_RETCODE	SCIPnlrowRelease (SCIP_NLROW *nlrow, BMS_BLKMEM blkmem, SCIP_SET set, SCIP_STAT stat)

SCIP_RETCODE	SCIPnlrowEnsureLinearSize (SCIP_NLROW nlrow, BMS_BLKMEM blkmem, SCIP_SET *set, int num)

SCIP_RETCODE	SCIPnlrowAddLinearCoef (SCIP_NLROW nlrow, BMS_BLKMEM blkmem, SCIP_SET set, SCIP_STAT stat, SCIP_NLP nlp, SCIP_VAR var, SCIP_Real val)

SCIP_RETCODE	SCIPnlrowDelLinearCoef (SCIP_NLROW nlrow, SCIP_SET set, SCIP_STAT stat, SCIP_NLP nlp, SCIP_VAR *var)

SCIP_RETCODE	SCIPnlrowChgLinearCoef (SCIP_NLROW nlrow, BMS_BLKMEM blkmem, SCIP_SET set, SCIP_STAT stat, SCIP_NLP nlp, SCIP_VAR var, SCIP_Real coef)

SCIP_RETCODE	SCIPnlrowChgExpr (SCIP_NLROW nlrow, BMS_BLKMEM blkmem, SCIP_SET set, SCIP_STAT stat, SCIP_NLP nlp, SCIP_EXPR expr)

SCIP_RETCODE	SCIPnlrowChgConstant (SCIP_NLROW nlrow, SCIP_SET set, SCIP_STAT stat, SCIP_NLP nlp, SCIP_Real constant)

SCIP_RETCODE	SCIPnlrowChgLhs (SCIP_NLROW nlrow, SCIP_SET set, SCIP_STAT stat, SCIP_NLP nlp, SCIP_Real lhs)

SCIP_RETCODE	SCIPnlrowChgRhs (SCIP_NLROW nlrow, SCIP_SET set, SCIP_STAT stat, SCIP_NLP nlp, SCIP_Real rhs)

SCIP_RETCODE	SCIPnlrowSimplify (SCIP_NLROW nlrow, BMS_BLKMEM blkmem, SCIP_SET set, SCIP_STAT stat, SCIP_NLP *nlp)

SCIP_RETCODE	SCIPnlrowRecalcNLPActivity (SCIP_NLROW nlrow, BMS_BLKMEM blkmem, SCIP_SET set, SCIP_STAT stat, SCIP_PRIMAL primal, SCIP_TREE tree, SCIP_NLP *nlp)

SCIP_RETCODE	SCIPnlrowGetNLPActivity (SCIP_NLROW nlrow, BMS_BLKMEM blkmem, SCIP_SET set, SCIP_STAT stat, SCIP_PRIMAL primal, SCIP_TREE tree, SCIP_NLP nlp, SCIP_Real activity)

SCIP_RETCODE	SCIPnlrowGetNLPFeasibility (SCIP_NLROW nlrow, BMS_BLKMEM blkmem, SCIP_SET set, SCIP_STAT stat, SCIP_PRIMAL primal, SCIP_TREE tree, SCIP_NLP nlp, SCIP_Real feasibility)

SCIP_RETCODE	SCIPnlrowRecalcPseudoActivity (SCIP_NLROW nlrow, BMS_BLKMEM blkmem, SCIP_SET set, SCIP_STAT stat, SCIP_PROB prob, SCIP_PRIMAL primal, SCIP_TREE tree, SCIP_LP lp)

SCIP_RETCODE	SCIPnlrowGetPseudoActivity (SCIP_NLROW nlrow, BMS_BLKMEM blkmem, SCIP_SET set, SCIP_STAT stat, SCIP_PROB prob, SCIP_PRIMAL primal, SCIP_TREE tree, SCIP_LP lp, SCIP_Real *pseudoactivity)

SCIP_RETCODE	SCIPnlrowGetPseudoFeasibility (SCIP_NLROW nlrow, BMS_BLKMEM blkmem, SCIP_SET set, SCIP_STAT stat, SCIP_PROB prob, SCIP_PRIMAL primal, SCIP_TREE tree, SCIP_LP lp, SCIP_Real *pseudofeasibility)

SCIP_RETCODE	SCIPnlrowGetSolActivity (SCIP_NLROW nlrow, BMS_BLKMEM blkmem, SCIP_SET set, SCIP_STAT stat, SCIP_SOL sol, SCIP_Real activity)

SCIP_RETCODE	SCIPnlrowGetSolFeasibility (SCIP_NLROW nlrow, BMS_BLKMEM blkmem, SCIP_SET set, SCIP_STAT stat, SCIP_SOL sol, SCIP_Real feasibility)

SCIP_RETCODE	SCIPnlrowGetActivityBounds (SCIP_NLROW nlrow, BMS_BLKMEM blkmem, SCIP_SET set, SCIP_STAT stat, SCIP_Real minactivity, SCIP_Real maxactivity)

SCIP_RETCODE	SCIPnlrowIsRedundant (SCIP_NLROW nlrow, BMS_BLKMEM blkmem, SCIP_SET set, SCIP_STAT stat, SCIP_Bool *isredundant)

SCIP_Real	SCIPnlrowGetConstant (SCIP_NLROW *nlrow)

int	SCIPnlrowGetNLinearVars (SCIP_NLROW *nlrow)

SCIP_VAR **	SCIPnlrowGetLinearVars (SCIP_NLROW *nlrow)

SCIP_Real *	SCIPnlrowGetLinearCoefs (SCIP_NLROW *nlrow)

SCIP_EXPR *	SCIPnlrowGetExpr (SCIP_NLROW *nlrow)

SCIP_Real	SCIPnlrowGetLhs (SCIP_NLROW *nlrow)

SCIP_Real	SCIPnlrowGetRhs (SCIP_NLROW *nlrow)

SCIP_EXPRCURV	SCIPnlrowGetCurvature (SCIP_NLROW *nlrow)

void	SCIPnlrowSetCurvature (SCIP_NLROW *nlrow, SCIP_EXPRCURV curvature)

const char *	SCIPnlrowGetName (SCIP_NLROW *nlrow)

int	SCIPnlrowGetNLPPos (SCIP_NLROW *nlrow)

SCIP_Bool	SCIPnlrowIsInNLP (SCIP_NLROW *nlrow)

SCIP_Real	SCIPnlrowGetDualsol (SCIP_NLROW *nlrow)

SCIP_RETCODE	SCIPcreateNlRow (SCIP scip, SCIP_NLROW nlrow, const char name, SCIP_Real constant, int nlinvars, SCIP_VAR *linvars, SCIP_Real lincoefs, SCIP_EXPR *expr, SCIP_Real lhs, SCIP_Real rhs, SCIP_EXPRCURV curvature)

SCIP_RETCODE	SCIPcreateEmptyNlRow (SCIP scip, SCIP_NLROW nlrow, const char name, SCIP_Real lhs, SCIP_Real rhs)

SCIP_RETCODE	SCIPcreateNlRowFromRow (SCIP scip, SCIP_NLROW nlrow, SCIP_ROW row)

SCIP_RETCODE	SCIPcaptureNlRow (SCIP scip, SCIP_NLROW nlrow)

SCIP_RETCODE	SCIPreleaseNlRow (SCIP scip, SCIP_NLROW *nlrow)

SCIP_RETCODE	SCIPchgNlRowLhs (SCIP scip, SCIP_NLROW nlrow, SCIP_Real lhs)

SCIP_RETCODE	SCIPchgNlRowRhs (SCIP scip, SCIP_NLROW nlrow, SCIP_Real rhs)

SCIP_RETCODE	SCIPchgNlRowConstant (SCIP scip, SCIP_NLROW nlrow, SCIP_Real constant)

SCIP_RETCODE	SCIPaddLinearCoefToNlRow (SCIP scip, SCIP_NLROW nlrow, SCIP_VAR *var, SCIP_Real val)

SCIP_RETCODE	SCIPaddLinearCoefsToNlRow (SCIP scip, SCIP_NLROW nlrow, int nvars, SCIP_VAR *vars, SCIP_Real vals)

SCIP_RETCODE	SCIPchgNlRowLinearCoef (SCIP scip, SCIP_NLROW nlrow, SCIP_VAR *var, SCIP_Real coef)

SCIP_RETCODE	SCIPsetNlRowExpr (SCIP scip, SCIP_NLROW nlrow, SCIP_EXPR *expr)

SCIP_RETCODE	SCIPrecalcNlRowNLPActivity (SCIP scip, SCIP_NLROW nlrow)

SCIP_RETCODE	SCIPgetNlRowNLPActivity (SCIP scip, SCIP_NLROW nlrow, SCIP_Real *activity)

SCIP_RETCODE	SCIPgetNlRowNLPFeasibility (SCIP scip, SCIP_NLROW nlrow, SCIP_Real *feasibility)

SCIP_RETCODE	SCIPrecalcNlRowPseudoActivity (SCIP scip, SCIP_NLROW nlrow)

SCIP_RETCODE	SCIPgetNlRowPseudoActivity (SCIP scip, SCIP_NLROW nlrow, SCIP_Real *pseudoactivity)

SCIP_RETCODE	SCIPgetNlRowPseudoFeasibility (SCIP scip, SCIP_NLROW nlrow, SCIP_Real *pseudofeasibility)

SCIP_RETCODE	SCIPrecalcNlRowActivity (SCIP scip, SCIP_NLROW nlrow)

SCIP_RETCODE	SCIPgetNlRowActivity (SCIP scip, SCIP_NLROW nlrow, SCIP_Real *activity)

SCIP_RETCODE	SCIPgetNlRowFeasibility (SCIP scip, SCIP_NLROW nlrow, SCIP_Real *feasibility)

SCIP_RETCODE	SCIPgetNlRowSolActivity (SCIP scip, SCIP_NLROW nlrow, SCIP_SOL sol, SCIP_Real activity)

SCIP_RETCODE	SCIPgetNlRowSolFeasibility (SCIP scip, SCIP_NLROW nlrow, SCIP_SOL sol, SCIP_Real feasibility)

SCIP_RETCODE	SCIPgetNlRowActivityBounds (SCIP scip, SCIP_NLROW nlrow, SCIP_Real minactivity, SCIP_Real maxactivity)

SCIP_RETCODE	SCIPprintNlRow (SCIP scip, SCIP_NLROW nlrow, FILE *file)

Function Documentation

◆ SCIPnlrowCreate()

SCIP_RETCODE SCIPnlrowCreate	(	SCIP_NLROW **	nlrow,
		BMS_BLKMEM *	blkmem,
		SCIP_SET *	set,
		SCIP_STAT *	stat,
		const char *	name,
		SCIP_Real	constant,
		int	nlinvars,
		SCIP_VAR **	linvars,
		SCIP_Real *	lincoefs,
		SCIP_EXPR *	expr,
		SCIP_Real	lhs,
		SCIP_Real	rhs,
		SCIP_EXPRCURV	curvature
	)

create a new nonlinear row

the new row is already captured

Parameters

nlrow	buffer to store pointer to nonlinear row
blkmem	block memory
set	global SCIP settings
stat	problem statistics data
name	name of nonlinear row
constant	constant
nlinvars	number of linear variables
linvars	linear variables, or NULL if nlinvars == 0
lincoefs	linear coefficients, or NULL if nlinvars == 0
expr	expression, or NULL
lhs	left hand side
rhs	right hand side
curvature	curvature of the nonlinear row

Definition at line 842 of file nlp.c.

References BMSallocBlockMemory, BMSduplicateBlockMemoryArray, FALSE, MAX, NULL, REALABS, SCIP_ALLOC, SCIP_CALL, SCIP_INVALID, SCIP_OKAY, SCIPexprCopy(), SCIPnlrowCapture(), SCIPsetIsInfinity(), SCIPsetIsRelLE(), and TRUE.

Referenced by SCIPcreateEmptyNlRow(), SCIPcreateNlRow(), SCIPnlpChgVarObjDive(), SCIPnlrowCreateCopy(), and SCIPnlrowCreateFromRow().

◆ SCIPnlrowCreateCopy()

SCIP_RETCODE SCIPnlrowCreateCopy	(	SCIP_NLROW **	nlrow,
		BMS_BLKMEM *	blkmem,
		SCIP_SET *	set,
		SCIP_STAT *	stat,
		SCIP_NLROW *	sourcenlrow
	)

create a nonlinear row that is a copy of a given row

the new row is already captured

Parameters

nlrow	buffer to store pointer to nonlinear row
blkmem	block memory
set	global SCIP settings
stat	problem statistics data
sourcenlrow	nonlinear row to copy

Definition at line 941 of file nlp.c.

References SCIP_NlRow::activity, SCIP_NlRow::constant, SCIP_NlRow::curvature, SCIP_NlRow::expr, SCIP_NlRow::lhs, SCIP_NlRow::lincoefs, SCIP_NlRow::linvars, SCIP_NlRow::linvarssorted, SCIP_NlRow::maxactivity, SCIP_NlRow::minactivity, SCIP_NlRow::name, SCIP_NlRow::nlinvars, NULL, SCIP_NlRow::pseudoactivity, SCIP_NlRow::rhs, SCIP_CALL, SCIP_OKAY, SCIPnlrowCreate(), SCIP_NlRow::validactivitybdsdomchg, SCIP_NlRow::validactivitynlp, and SCIP_NlRow::validpsactivitydomchg.

◆ SCIPnlrowCreateFromRow()

SCIP_RETCODE SCIPnlrowCreateFromRow	(	SCIP_NLROW **	nlrow,
		BMS_BLKMEM *	blkmem,
		SCIP_SET *	set,
		SCIP_STAT *	stat,
		SCIP_ROW *	row
	)

create a new nonlinear row from a linear row

the new row is already captured

Parameters

nlrow	buffer to store pointer to nonlinear row
blkmem	block memory
set	global SCIP settings
stat	problem statistics data
row	the linear row to copy

Definition at line 976 of file nlp.c.

References NULL, SCIP_CALL, SCIP_EXPRCURV_LINEAR, SCIP_OKAY, SCIPcolGetVar(), SCIPnlrowCreate(), SCIProwGetCols(), SCIProwGetConstant(), SCIProwGetLhs(), SCIProwGetName(), SCIProwGetNNonz(), SCIProwGetRhs(), SCIProwGetVals(), SCIPsetAllocBufferArray, and SCIPsetFreeBufferArray.

Referenced by SCIPcreateNlRowFromRow().

◆ SCIPnlrowPrint()

SCIP_RETCODE SCIPnlrowPrint	(	SCIP_NLROW *	nlrow,
		BMS_BLKMEM *	blkmem,
		SCIP_SET *	set,
		SCIP_STAT *	stat,
		SCIP_MESSAGEHDLR *	messagehdlr,
		FILE *	file
	)

output nonlinear row to file stream

Parameters

nlrow	NLP row
blkmem	block memory
set	global SCIP settings
stat	problem statistics data
messagehdlr	message handler
file	output file (or NULL for standard output)

Definition at line 1039 of file nlp.c.

References SCIP_NlRow::constant, SCIP_NlRow::expr, SCIP_NlRow::lhs, SCIP_NlRow::lincoefs, SCIP_NlRow::linvars, SCIP_NlRow::name, SCIP_NlRow::nlinvars, NULL, SCIP_NlRow::rhs, SCIP_CALL, SCIP_OKAY, SCIPexprPrint(), SCIPmessageFPrintInfo(), and SCIPvarGetName().

Referenced by SCIPnlpWrite(), and SCIPprintNlRow().

◆ SCIPnlrowCapture()

void SCIPnlrowCapture ( SCIP_NLROW * nlrow )

increases usage counter of nonlinear row

Parameters

nlrow nonlinear row to capture

Definition at line 1086 of file nlp.c.

References SCIP_NlRow::name, NULL, SCIP_NlRow::nuses, and SCIPdebugMessage.

Referenced by nlpAddNlRows(), SCIPcaptureNlRow(), and SCIPnlrowCreate().

◆ SCIPnlrowRelease()

SCIP_RETCODE SCIPnlrowRelease	(	SCIP_NLROW **	nlrow,
		BMS_BLKMEM *	blkmem,
		SCIP_SET *	set,
		SCIP_STAT *	stat
	)

decreases usage counter of nonlinear row

Parameters

nlrow	nonlinear row to free
blkmem	block memory
set	global SCIP settings
stat	problem statistics data

Definition at line 1098 of file nlp.c.

References BMSfreeBlockMemory, BMSfreeBlockMemoryArray, BMSfreeBlockMemoryArrayNull, NULL, SCIP_CALL, SCIP_OKAY, SCIPexprRelease(), and SCIPsetDebugMsg.

Referenced by nlpDelNlRowPos(), SCIPnlpEndDive(), and SCIPreleaseNlRow().

◆ SCIPnlrowEnsureLinearSize()

SCIP_RETCODE SCIPnlrowEnsureLinearSize	(	SCIP_NLROW *	nlrow,
		BMS_BLKMEM *	blkmem,
		SCIP_SET *	set,
		int	num
	)

ensures, that linear coefficient array of nonlinear row can store at least num entries

Parameters

nlrow	NLP row
blkmem	block memory
set	global SCIP settings
num	minimum number of entries to store

Definition at line 1143 of file nlp.c.

References BMSreallocBlockMemoryArray, SCIP_NlRow::lincoefs, SCIP_NlRow::linvars, SCIP_NlRow::linvarssize, SCIP_NlRow::nlinvars, NULL, SCIP_ALLOC, SCIP_OKAY, and SCIPsetCalcMemGrowSize().

Referenced by nlrowAddLinearCoef(), and nlrowRemoveFixedLinearCoefPos().

◆ SCIPnlrowAddLinearCoef()

SCIP_RETCODE SCIPnlrowAddLinearCoef	(	SCIP_NLROW *	nlrow,
		BMS_BLKMEM *	blkmem,
		SCIP_SET *	set,
		SCIP_STAT *	stat,
		SCIP_NLP *	nlp,
		SCIP_VAR *	var,
		SCIP_Real	val
	)

adds a previously non existing linear coefficient to a nonlinear row

Parameters

nlrow	NLP nonlinear row
blkmem	block memory
set	global SCIP settings
stat	problem statistics data
nlp	current NLP data
var	variable
val	value of coefficient

Definition at line 1168 of file nlp.c.

References SCIP_NlRow::constant, SCIP_NlRow::nlpindex, nlrowAddLinearCoef(), SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIP_VARSTATUS_MULTAGGR, SCIPnlrowAddLinearCoef(), SCIPnlrowChgConstant(), SCIPvarGetMultaggrNVars(), SCIPvarGetMultaggrScalars(), SCIPvarGetMultaggrVars(), SCIPvarGetProbvarSum(), SCIPvarGetStatus(), and SCIPvarIsActive().

Referenced by SCIPaddLinearCoefsToNlRow(), SCIPaddLinearCoefToNlRow(), and SCIPnlrowAddLinearCoef().

◆ SCIPnlrowDelLinearCoef()

SCIP_RETCODE SCIPnlrowDelLinearCoef	(	SCIP_NLROW *	nlrow,
		SCIP_SET *	set,
		SCIP_STAT *	stat,
		SCIP_NLP *	nlp,
		SCIP_VAR *	var
	)

deletes linear coefficient from nonlinear row

Parameters

nlrow	nonlinear row to be changed
set	global SCIP settings
stat	problem statistics data
nlp	current NLP data
var	coefficient to be deleted

Definition at line 1216 of file nlp.c.

References SCIP_NlRow::linvars, SCIP_NlRow::name, SCIP_NlRow::nlpindex, nlrowDelLinearCoefPos(), nlrowSearchLinearCoef(), NULL, SCIP_CALL, SCIP_INVALIDDATA, SCIP_OKAY, SCIPerrorMessage, SCIPvarGetName(), and SCIPvarIsActive().

◆ SCIPnlrowChgLinearCoef()

SCIP_RETCODE SCIPnlrowChgLinearCoef	(	SCIP_NLROW *	nlrow,
		BMS_BLKMEM *	blkmem,
		SCIP_SET *	set,
		SCIP_STAT *	stat,
		SCIP_NLP *	nlp,
		SCIP_VAR *	var,
		SCIP_Real	coef
	)

changes or adds a linear coefficient to a nonlinear row

Parameters

nlrow	nonlinear row
blkmem	block memory
set	global SCIP settings
stat	problem statistics data
nlp	current NLP data
var	variable
coef	new value of coefficient

Definition at line 1249 of file nlp.c.

References nlrowAddLinearCoef(), nlrowChgLinearCoefPos(), nlrowSearchLinearCoef(), NULL, SCIP_CALL, SCIP_OKAY, and SCIPsetIsZero().

Referenced by SCIPchgNlRowLinearCoef(), and SCIPnlpChgVarObjDive().

◆ SCIPnlrowChgExpr()

SCIP_RETCODE SCIPnlrowChgExpr	(	SCIP_NLROW *	nlrow,
		BMS_BLKMEM *	blkmem,
		SCIP_SET *	set,
		SCIP_STAT *	stat,
		SCIP_NLP *	nlp,
		SCIP_EXPR *	expr
	)

replaces or deletes an expression in a nonlinear row

Parameters

nlrow	nonlinear row
blkmem	block memory
set	global SCIP settings
stat	problem statistics data
nlp	current NLP data
expr	new expression

Definition at line 1287 of file nlp.c.

References SCIP_NlRow::expr, SCIP_NlRow::nlpindex, nlrowExprChanged(), NULL, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIPexprCopy(), SCIPexprRelease(), and SCIPexprSimplify().

Referenced by SCIPsetNlRowExpr().

◆ SCIPnlrowChgConstant()

SCIP_RETCODE SCIPnlrowChgConstant	(	SCIP_NLROW *	nlrow,
		SCIP_SET *	set,
		SCIP_STAT *	stat,
		SCIP_NLP *	nlp,
		SCIP_Real	constant
	)

changes constant of nonlinear row

Parameters

nlrow	nonlinear row
set	global SCIP settings
stat	problem statistics data
nlp	current NLP data
constant	new constant

Definition at line 1334 of file nlp.c.

References SCIP_NlRow::constant, nlrowConstantChanged(), NULL, SCIP_CALL, SCIP_OKAY, and SCIPsetIsEQ().

Referenced by nlrowSimplifyExpr(), SCIPchgNlRowConstant(), and SCIPnlrowAddLinearCoef().

◆ SCIPnlrowChgLhs()

SCIP_RETCODE SCIPnlrowChgLhs	(	SCIP_NLROW *	nlrow,
		SCIP_SET *	set,
		SCIP_STAT *	stat,
		SCIP_NLP *	nlp,
		SCIP_Real	lhs
	)

changes left hand side of nonlinear row

Parameters

nlrow	nonlinear row
set	global SCIP settings
stat	problem statistics data
nlp	current NLP data
lhs	new left hand side

Definition at line 1354 of file nlp.c.

References SCIP_NlRow::lhs, nlrowSideChanged(), NULL, SCIP_CALL, SCIP_OKAY, and SCIPsetIsEQ().

Referenced by SCIPchgNlRowLhs().

◆ SCIPnlrowChgRhs()

SCIP_RETCODE SCIPnlrowChgRhs	(	SCIP_NLROW *	nlrow,
		SCIP_SET *	set,
		SCIP_STAT *	stat,
		SCIP_NLP *	nlp,
		SCIP_Real	rhs
	)

changes right hand side of nonlinear row

Parameters

nlrow	nonlinear row
set	global SCIP settings
stat	problem statistics data
nlp	current NLP data
rhs	new right hand side

Definition at line 1374 of file nlp.c.

References nlrowSideChanged(), NULL, SCIP_NlRow::rhs, SCIP_CALL, SCIP_OKAY, and SCIPsetIsEQ().

Referenced by SCIPchgNlRowRhs().

◆ SCIPnlrowSimplify()

SCIP_RETCODE SCIPnlrowSimplify	(	SCIP_NLROW *	nlrow,
		BMS_BLKMEM *	blkmem,
		SCIP_SET *	set,
		SCIP_STAT *	stat,
		SCIP_NLP *	nlp
	)

removes (or substitutes) all fixed, negated, aggregated, multi-aggregated variables from the linear and nonlinear part of a nonlinear row and simplifies its expression

Parameters

nlrow	nonlinear row
blkmem	block memory
set	global SCIP settings
stat	problem statistics data
nlp	current NLP data

Definition at line 1394 of file nlp.c.

References nlrowRemoveFixedLinearCoefs(), nlrowSimplifyExpr(), SCIP_CALL, and SCIP_OKAY.

Referenced by nlpAddNlRows().

◆ SCIPnlrowRecalcNLPActivity()

SCIP_RETCODE SCIPnlrowRecalcNLPActivity	(	SCIP_NLROW *	nlrow,
		BMS_BLKMEM *	blkmem,
		SCIP_SET *	set,
		SCIP_STAT *	stat,
		SCIP_PRIMAL *	primal,
		SCIP_TREE *	tree,
		SCIP_NLP *	nlp
	)

recalculates the current activity of a nonlinear row in the current NLP solution

Parameters

nlrow	nonlinear row
blkmem	block memory
set	global SCIP settings
stat	problem statistics data
primal	primal data
tree	branch and bound tree
nlp	current NLP data

Definition at line 1409 of file nlp.c.

References SCIP_NlRow::activity, SCIP_NlRow::constant, SCIP_NlRow::expr, SCIP_NlRow::lincoefs, SCIP_NlRow::linvars, SCIP_NlRow::nlinvars, SCIP_Stat::nnlps, NULL, SCIP_CALL, SCIP_ERROR, SCIP_INVALID, SCIP_NLPSOLSTAT_LOCINFEASIBLE, SCIP_OKAY, SCIPerrorMessage, SCIPexprEval(), SCIPexprGetEvalValue(), SCIPsolCreateNLPSol(), SCIPsolFree(), SCIPvarGetNLPSol(), SCIP_Nlp::solstat, and SCIP_NlRow::validactivitynlp.

Referenced by SCIPnlrowGetNLPActivity(), SCIPrecalcNlRowActivity(), and SCIPrecalcNlRowNLPActivity().

◆ SCIPnlrowGetNLPActivity()

SCIP_RETCODE SCIPnlrowGetNLPActivity	(	SCIP_NLROW *	nlrow,
		BMS_BLKMEM *	blkmem,
		SCIP_SET *	set,
		SCIP_STAT *	stat,
		SCIP_PRIMAL *	primal,
		SCIP_TREE *	tree,
		SCIP_NLP *	nlp,
		SCIP_Real *	activity
	)

gives the activity of a nonlinear row in the current NLP solution

Parameters

nlrow	nonlinear row
blkmem	block memory
set	global SCIP settings
stat	problem statistics data
primal	primal data
tree	branch and bound tree
nlp	current NLP data
activity	buffer to store activity value

Definition at line 1461 of file nlp.c.

References SCIP_NlRow::activity, SCIP_Stat::nnlps, NULL, SCIP_CALL, SCIP_INVALID, SCIP_OKAY, SCIPnlrowRecalcNLPActivity(), and SCIP_NlRow::validactivitynlp.

Referenced by nlpSolve(), SCIPgetNlRowActivity(), SCIPgetNlRowNLPActivity(), SCIPgetNlRowSolActivity(), and SCIPnlrowGetNLPFeasibility().

◆ SCIPnlrowGetNLPFeasibility()

SCIP_RETCODE SCIPnlrowGetNLPFeasibility	(	SCIP_NLROW *	nlrow,
		BMS_BLKMEM *	blkmem,
		SCIP_SET *	set,
		SCIP_STAT *	stat,
		SCIP_PRIMAL *	primal,
		SCIP_TREE *	tree,
		SCIP_NLP *	nlp,
		SCIP_Real *	feasibility
	)

gives the feasibility of a nonlinear row in the current NLP solution: negative value means infeasibility

Parameters

nlrow	nonlinear row
blkmem	block memory
set	global SCIP settings
stat	problem statistics data
primal	primal data
tree	branch and bound tree
nlp	current NLP data
feasibility	buffer to store feasibility value

Definition at line 1491 of file nlp.c.

References SCIP_NlRow::lhs, NULL, SCIP_NlRow::rhs, SCIP_CALL, SCIP_OKAY, SCIP_Real, and SCIPnlrowGetNLPActivity().

Referenced by SCIPgetNlRowFeasibility(), SCIPgetNlRowNLPFeasibility(), and SCIPgetNlRowSolFeasibility().

◆ SCIPnlrowRecalcPseudoActivity()

SCIP_RETCODE SCIPnlrowRecalcPseudoActivity	(	SCIP_NLROW *	nlrow,
		BMS_BLKMEM *	blkmem,
		SCIP_SET *	set,
		SCIP_STAT *	stat,
		SCIP_PROB *	prob,
		SCIP_PRIMAL *	primal,
		SCIP_TREE *	tree,
		SCIP_LP *	lp
	)

calculates the current pseudo activity of a nonlinear row

Parameters

nlrow	nonlinear row
blkmem	block memory
set	global SCIP settings
stat	problem statistics data
prob	SCIP problem
primal	primal data
tree	branch and bound tree
lp	SCIP LP

Definition at line 1514 of file nlp.c.

References SCIP_NlRow::constant, SCIP_Stat::domchgcount, SCIP_NlRow::expr, SCIP_NlRow::lincoefs, SCIP_NlRow::linvars, SCIP_NlRow::nlinvars, NULL, SCIP_NlRow::pseudoactivity, SCIP_CALL, SCIP_INVALID, SCIP_OKAY, SCIP_Real, SCIPexprEval(), SCIPexprGetEvalValue(), SCIPsolCreatePseudoSol(), SCIPsolFree(), SCIPvarGetBestBoundLocal(), and SCIP_NlRow::validpsactivitydomchg.

Referenced by SCIPnlrowGetPseudoActivity(), SCIPrecalcNlRowActivity(), and SCIPrecalcNlRowPseudoActivity().

◆ SCIPnlrowGetPseudoActivity()

SCIP_RETCODE SCIPnlrowGetPseudoActivity	(	SCIP_NLROW *	nlrow,
		BMS_BLKMEM *	blkmem,
		SCIP_SET *	set,
		SCIP_STAT *	stat,
		SCIP_PROB *	prob,
		SCIP_PRIMAL *	primal,
		SCIP_TREE *	tree,
		SCIP_LP *	lp,
		SCIP_Real *	pseudoactivity
	)

returns the pseudo activity of a nonlinear row in the current pseudo solution

Parameters

nlrow	nonlinear row
blkmem	block memory
set	global SCIP settings
stat	problem statistics data
prob	SCIP problem
primal	primal data
tree	branch and bound tree
lp	SCIP LP
pseudoactivity	buffer to store pseudo activity value

Definition at line 1561 of file nlp.c.

References SCIP_Stat::domchgcount, NULL, SCIP_NlRow::pseudoactivity, SCIP_CALL, SCIP_INVALID, SCIP_OKAY, SCIPnlrowRecalcPseudoActivity(), and SCIP_NlRow::validpsactivitydomchg.

Referenced by SCIPgetNlRowActivity(), SCIPgetNlRowPseudoActivity(), SCIPgetNlRowSolActivity(), SCIPnlpGetPseudoObjval(), and SCIPnlrowGetPseudoFeasibility().

◆ SCIPnlrowGetPseudoFeasibility()

SCIP_RETCODE SCIPnlrowGetPseudoFeasibility	(	SCIP_NLROW *	nlrow,
		BMS_BLKMEM *	blkmem,
		SCIP_SET *	set,
		SCIP_STAT *	stat,
		SCIP_PROB *	prob,
		SCIP_PRIMAL *	primal,
		SCIP_TREE *	tree,
		SCIP_LP *	lp,
		SCIP_Real *	pseudofeasibility
	)

returns the pseudo feasibility of a nonlinear row in the current pseudo solution: negative value means infeasibility

Parameters

nlrow	nonlinear row
blkmem	block memory
set	global SCIP settings
stat	problem statistics data
prob	SCIP problem
primal	primal data
tree	branch and bound tree
lp	SCIP LP
pseudofeasibility	buffer to store pseudo feasibility value

Definition at line 1592 of file nlp.c.

References SCIP_NlRow::lhs, NULL, SCIP_NlRow::rhs, SCIP_CALL, SCIP_OKAY, SCIP_Real, and SCIPnlrowGetPseudoActivity().

Referenced by SCIPgetNlRowFeasibility(), SCIPgetNlRowPseudoFeasibility(), and SCIPgetNlRowSolFeasibility().

◆ SCIPnlrowGetSolActivity()

SCIP_RETCODE SCIPnlrowGetSolActivity	(	SCIP_NLROW *	nlrow,
		BMS_BLKMEM *	blkmem,
		SCIP_SET *	set,
		SCIP_STAT *	stat,
		SCIP_SOL *	sol,
		SCIP_Real *	activity
	)

returns the activity of a nonlinear row for a given solution

Parameters

nlrow	nonlinear row
blkmem	block memory
set	global SCIP settings
stat	problem statistics data
sol	primal CIP solution
activity	buffer to store activity value

Definition at line 1617 of file nlp.c.

References SCIP_NlRow::constant, SCIP_NlRow::expr, SCIP_NlRow::lincoefs, SCIP_NlRow::linvars, MAX, SCIP_NlRow::nlinvars, NULL, SCIP_CALL, SCIP_INVALID, SCIP_OKAY, SCIP_Real, SCIP_UNKNOWN, SCIPexprEval(), SCIPexprGetEvalValue(), SCIPsetInfinity(), and SCIPsolGetVal().

Referenced by SCIPgetNlRowSolActivity(), and SCIPnlrowGetSolFeasibility().

◆ SCIPnlrowGetSolFeasibility()

SCIP_RETCODE SCIPnlrowGetSolFeasibility	(	SCIP_NLROW *	nlrow,
		BMS_BLKMEM *	blkmem,
		SCIP_SET *	set,
		SCIP_STAT *	stat,
		SCIP_SOL *	sol,
		SCIP_Real *	feasibility
	)

returns the feasibility of a nonlinear row for the given solution

Parameters

nlrow	nonlinear row
blkmem	block memory
set	global SCIP settings
stat	problem statistics data
sol	primal CIP solution
feasibility	buffer to store feasibility value

Definition at line 1666 of file nlp.c.

References SCIP_NlRow::lhs, NULL, SCIP_NlRow::rhs, SCIP_CALL, SCIP_OKAY, SCIP_Real, and SCIPnlrowGetSolActivity().

Referenced by SCIPgetNlRowSolFeasibility().

◆ SCIPnlrowGetActivityBounds()

SCIP_RETCODE SCIPnlrowGetActivityBounds	(	SCIP_NLROW *	nlrow,
		BMS_BLKMEM *	blkmem,
		SCIP_SET *	set,
		SCIP_STAT *	stat,
		SCIP_Real *	minactivity,
		SCIP_Real *	maxactivity
	)

returns the minimal activity of a nonlinear row w.r.t. the variables' bounds

Parameters

nlrow	nonlinear row
blkmem	block memory
set	global SCIP settings
stat	problem statistics data
minactivity	buffer to store minimal activity, or NULL
maxactivity	buffer to store maximal activity, or NULL

Definition at line 1688 of file nlp.c.

References SCIP_Stat::domchgcount, SCIP_NlRow::maxactivity, SCIP_NlRow::minactivity, nlrowCalcActivityBounds(), NULL, SCIP_CALL, SCIP_INVALID, SCIP_OKAY, and SCIP_NlRow::validactivitybdsdomchg.

Referenced by SCIPgetNlRowActivityBounds(), and SCIPnlrowIsRedundant().

◆ SCIPnlrowIsRedundant()

SCIP_RETCODE SCIPnlrowIsRedundant	(	SCIP_NLROW *	nlrow,
		BMS_BLKMEM *	blkmem,
		SCIP_SET *	set,
		SCIP_STAT *	stat,
		SCIP_Bool *	isredundant
	)

returns whether the nonlinear row is redundant w.r.t. the variables' bounds

Parameters

nlrow	nonlinear row
blkmem	block memory
set	global SCIP settings
stat	problem statistics data
isredundant	buffer to store whether row is redundant

Definition at line 1720 of file nlp.c.

References FALSE, SCIP_NlRow::lhs, NULL, SCIP_NlRow::rhs, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIPnlrowGetActivityBounds(), SCIPsetIsFeasGT(), SCIPsetIsFeasLT(), SCIPsetIsInfinity(), and TRUE.

Referenced by SCIPnlpRemoveRedundantNlRows().

◆ SCIPnlrowGetConstant()

SCIP_Real SCIPnlrowGetConstant ( SCIP_NLROW * nlrow )

gets constant

Parameters

nlrow NLP row

Definition at line 1763 of file nlp.c.

References SCIP_NlRow::constant, and NULL.

Referenced by generateCut(), nlrowaggrCreate(), SCIPaddNlpiProblemNlRows(), and SCIPcreateNlpiProblemFromNlRows().

◆ SCIPnlrowGetNLinearVars()

int SCIPnlrowGetNLinearVars ( SCIP_NLROW * nlrow )

gets number of variables of linear part

Parameters

nlrow NLP row

Definition at line 1773 of file nlp.c.

References SCIP_NlRow::nlinvars, and NULL.

Referenced by applyHeur(), computeGradient(), generateCut(), heurExec(), nlrowaggrCreate(), SCIPaddNlpiProblemNlRows(), SCIPaddNlRowGradientBenderscutOpt(), and SCIPcreateNlpiProblemFromNlRows().

◆ SCIPnlrowGetLinearVars()

SCIP_VAR ** SCIPnlrowGetLinearVars ( SCIP_NLROW * nlrow )

gets array with variables of linear part

Parameters

nlrow NLP row

Definition at line 1783 of file nlp.c.

References SCIP_NlRow::linvars, and NULL.

Referenced by computeGradient(), generateCut(), nlrowaggrCreate(), SCIPaddNlpiProblemNlRows(), SCIPaddNlRowGradientBenderscutOpt(), and SCIPcreateNlpiProblemFromNlRows().

◆ SCIPnlrowGetLinearCoefs()

SCIP_Real * SCIPnlrowGetLinearCoefs ( SCIP_NLROW * nlrow )

gets array with coefficients in linear part

Parameters

nlrow NLP row

Definition at line 1793 of file nlp.c.

References SCIP_NlRow::lincoefs, and NULL.

Referenced by computeGradient(), generateCut(), nlrowaggrCreate(), SCIPaddNlpiProblemNlRows(), SCIPaddNlRowGradientBenderscutOpt(), and SCIPcreateNlpiProblemFromNlRows().

◆ SCIPnlrowGetExpr()

SCIP_EXPR * SCIPnlrowGetExpr ( SCIP_NLROW * nlrow )

gets expression

Parameters

nlrow NLP row

Definition at line 1803 of file nlp.c.

References SCIP_NlRow::expr, and NULL.

Referenced by applyHeur(), computeGradient(), createMIP(), createTcliqueGraph(), doSeachEcAggr(), findAndStoreEcAggregations(), generateCut(), heurExec(), isCandidate(), isNlobbtApplicable(), nlrowaggrCreate(), processNlRow(), SCIPaddNlpiProblemNlRows(), SCIPaddNlRowGradientBenderscutOpt(), SCIPcreateNlpiProblemFromNlRows(), searchEcAggrWithCliques(), storeAggrFromMIP(), storeNonlinearConvexNlrows(), and updateMIP().

◆ SCIPnlrowGetLhs()

SCIP_Real SCIPnlrowGetLhs ( SCIP_NLROW * nlrow )

returns the left hand side of a nonlinear row

Parameters

nlrow NLP row

Definition at line 1813 of file nlp.c.

References SCIP_NlRow::lhs, and NULL.

Referenced by computeMaxViolation(), computeStandardNLPFeasibilityCut(), findAndStoreEcAggregations(), findPointPosition(), generateCut(), isCandidate(), isNlobbtApplicable(), nlrowaggrCreate(), processNlRow(), SCIP_DECL_SEPAEXECLP(), SCIPaddNlpiProblemNlRows(), SCIPcreateNlpiProblemFromNlRows(), separateCuts(), and storeNonlinearConvexNlrows().

◆ SCIPnlrowGetRhs()

SCIP_Real SCIPnlrowGetRhs ( SCIP_NLROW * nlrow )

returns the right hand side of a nonlinear row

Parameters

nlrow NLP row

Definition at line 1823 of file nlp.c.

References NULL, and SCIP_NlRow::rhs.

Referenced by computeMaxViolation(), computeStandardNLPFeasibilityCut(), findAndStoreEcAggregations(), findPointPosition(), generateCut(), improvePoint(), isCandidate(), isNlobbtApplicable(), nlrowaggrCreate(), processNlRow(), SCIP_DECL_SEPAEXECLP(), SCIPaddNlpiProblemNlRows(), SCIPcreateNlpiProblemFromNlRows(), separateCuts(), and storeNonlinearConvexNlrows().

◆ SCIPnlrowGetCurvature()

SCIP_EXPRCURV SCIPnlrowGetCurvature ( SCIP_NLROW * nlrow )

returns the curvature of a nonlinear row

Parameters

nlrow NLP row

Definition at line 1833 of file nlp.c.

References SCIP_NlRow::curvature, and NULL.

Referenced by computeMaxViolation(), isNlobbtApplicable(), processNlRow(), SCIPcreateNlpiProblemFromNlRows(), and storeNonlinearConvexNlrows().

◆ SCIPnlrowSetCurvature()

void SCIPnlrowSetCurvature	(	SCIP_NLROW *	nlrow,
		SCIP_EXPRCURV	curvature
	)

sets the curvature of a nonlinear row

Parameters

nlrow	NLP row
curvature	curvature of NLP row

Definition at line 1842 of file nlp.c.

References SCIP_NlRow::curvature, and NULL.

Referenced by initSolve(), and SCIPsetNlRowExpr().

◆ SCIPnlrowGetName()

const char * SCIPnlrowGetName ( SCIP_NLROW * nlrow )

returns the name of a nonlinear row

Parameters

nlrow NLP row

Definition at line 1852 of file nlp.c.

References SCIP_NlRow::name, and NULL.

Referenced by findPointPosition(), generateCut(), processNlRow(), SCIPaddNlpiProblemNlRows(), SCIPcreateNlpiProblemFromNlRows(), and separateCuts().

◆ SCIPnlrowGetNLPPos()

int SCIPnlrowGetNLPPos ( SCIP_NLROW * nlrow )

gets position of a nonlinear row in current NLP, or -1 if not in NLP

Parameters

nlrow NLP row

Definition at line 1862 of file nlp.c.

References SCIP_NlRow::nlpindex, and NULL.

◆ SCIPnlrowIsInNLP()

SCIP_Bool SCIPnlrowIsInNLP ( SCIP_NLROW * nlrow )

returns TRUE iff row is member of current NLP

Parameters

nlrow NLP row

Definition at line 1872 of file nlp.c.

References SCIP_NlRow::nlpindex, and NULL.

Referenced by addNlrow(), computeCut(), isCandidate(), and isPossibleToComputeCut().

◆ SCIPnlrowGetDualsol()

SCIP_Real SCIPnlrowGetDualsol ( SCIP_NLROW * nlrow )

gets the dual NLP solution of a nlrow

for a ranged constraint, the dual value is positive if the right hand side is active and negative if the left hand side is active

Parameters

nlrow NLP row

Definition at line 1885 of file nlp.c.

References SCIP_NlRow::dualsol, SCIP_NlRow::nlpiindex, and NULL.

Referenced by computeStandardNLPFeasibilityCut(), computeStandardNLPOptimalityCut(), and SCIPapplyHeurDualval().

◆ SCIPcreateNlRow()

SCIP_RETCODE SCIPcreateNlRow	(	SCIP *	scip,
		SCIP_NLROW **	nlrow,
		const char *	name,
		SCIP_Real	constant,
		int	nlinvars,
		SCIP_VAR **	linvars,
		SCIP_Real *	lincoefs,
		SCIP_EXPR *	expr,
		SCIP_Real	lhs,
		SCIP_Real	rhs,
		SCIP_EXPRCURV	curvature
	)

creates and captures a nonlinear row

Returns: SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Precondition

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

Parameters

scip	SCIP data structure
nlrow	buffer to store pointer to nonlinear row
name	name of nonlinear row
constant	constant
nlinvars	number of linear variables
linvars	linear variables, or NULL if nlinvars == 0
lincoefs	linear coefficients, or NULL if nlinvars == 0
expr	nonlinear expression, or NULL
lhs	left hand side
rhs	right hand side
curvature	curvature of the nonlinear row

Definition at line 921 of file scip_nlp.c.

References FALSE, Scip::mem, SCIP_Mem::probmem, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPnlrowCreate(), Scip::set, Scip::stat, and TRUE.

Referenced by addKnapsackConstraints(), addLinearConstraints(), addLogicOrConstraints(), addNlrow(), addRegularScholtes(), addSetppcConstraints(), addVarboundConstraints(), createNlRow(), and SCIP_DECL_CONSINITSOL().

◆ SCIPcreateEmptyNlRow()

SCIP_RETCODE SCIPcreateEmptyNlRow	(	SCIP *	scip,
		SCIP_NLROW **	nlrow,
		const char *	name,
		SCIP_Real	lhs,
		SCIP_Real	rhs
	)

creates and captures a nonlinear row without any coefficients

Returns: SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Precondition

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

Parameters

scip	SCIP data structure
nlrow	pointer to nonlinear row
name	name of nonlinear row
lhs	left hand side
rhs	right hand side

Definition at line 953 of file scip_nlp.c.

References FALSE, Scip::mem, NULL, SCIP_Mem::probmem, SCIP_CALL, SCIP_EXPRCURV_UNKNOWN, SCIP_OKAY, SCIPcheckStage(), SCIPnlrowCreate(), Scip::set, Scip::stat, and TRUE.

◆ SCIPcreateNlRowFromRow()

SCIP_RETCODE SCIPcreateNlRowFromRow	(	SCIP *	scip,
		SCIP_NLROW **	nlrow,
		SCIP_ROW *	row
	)

creates and captures a nonlinear row from a linear row

Returns: SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Precondition

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

Parameters

scip	SCIP data structure
nlrow	pointer to nonlinear row
row	the linear row to copy

Definition at line 979 of file scip_nlp.c.

References FALSE, Scip::mem, SCIP_Mem::probmem, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPnlrowCreateFromRow(), Scip::set, Scip::stat, and TRUE.

◆ SCIPcaptureNlRow()

SCIP_RETCODE SCIPcaptureNlRow	(	SCIP *	scip,
		SCIP_NLROW *	nlrow
	)

increases usage counter of a nonlinear row

Returns: SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Precondition

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

Parameters

scip	SCIP data structure
nlrow	nonlinear row to capture

Definition at line 1002 of file scip_nlp.c.

References FALSE, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPnlrowCapture(), and TRUE.

◆ SCIPreleaseNlRow()

SCIP_RETCODE SCIPreleaseNlRow	(	SCIP *	scip,
		SCIP_NLROW **	nlrow
	)

decreases usage counter of a nonlinear row, and frees memory if necessary

Returns: SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Precondition

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

Parameters

scip	SCIP data structure
nlrow	pointer to nonlinear row

Definition at line 1025 of file scip_nlp.c.

References FALSE, Scip::mem, SCIP_Mem::probmem, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPnlrowRelease(), Scip::set, Scip::stat, and TRUE.

Referenced by addLinearConstraints(), addRegularScholtes(), consdataFree(), createNlRow(), deinitSolve(), releaseHashmapNLPRows(), SCIP_DECL_CONSDELETE(), SCIP_DECL_CONSEXITSOL(), and SCIP_DECL_CONSINITSOL().

◆ SCIPchgNlRowLhs()

SCIP_RETCODE SCIPchgNlRowLhs	(	SCIP *	scip,
		SCIP_NLROW *	nlrow,
		SCIP_Real	lhs
	)

changes left hand side of a nonlinear row

Returns: SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Precondition

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

Parameters

scip	SCIP data structure
nlrow	NLP nonlinear row
lhs	new left hand side

Definition at line 1047 of file scip_nlp.c.

References FALSE, Scip::nlp, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPnlrowChgLhs(), Scip::set, Scip::stat, and TRUE.

◆ SCIPchgNlRowRhs()

SCIP_RETCODE SCIPchgNlRowRhs	(	SCIP *	scip,
		SCIP_NLROW *	nlrow,
		SCIP_Real	rhs
	)

changes right hand side of a nonlinear row

Returns: SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Precondition

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

Parameters

scip	SCIP data structure
nlrow	NLP nonlinear row
rhs	new right hand side

Definition at line 1070 of file scip_nlp.c.

References FALSE, Scip::nlp, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPnlrowChgRhs(), Scip::set, Scip::stat, and TRUE.

◆ SCIPchgNlRowConstant()

SCIP_RETCODE SCIPchgNlRowConstant	(	SCIP *	scip,
		SCIP_NLROW *	nlrow,
		SCIP_Real	constant
	)

changes constant of a nonlinear row

Returns: SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Precondition

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

Parameters

scip	SCIP data structure
nlrow	NLP row
constant	new value for constant

Definition at line 1093 of file scip_nlp.c.

References FALSE, Scip::nlp, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPnlrowChgConstant(), Scip::set, Scip::stat, and TRUE.

Referenced by createNlRow().

◆ SCIPaddLinearCoefToNlRow()

SCIP_RETCODE SCIPaddLinearCoefToNlRow	(	SCIP *	scip,
		SCIP_NLROW *	nlrow,
		SCIP_VAR *	var,
		SCIP_Real	val
	)

adds variable with a linear coefficient to a nonlinear row

Returns: SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Precondition

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

Parameters

scip	SCIP data structure
nlrow	NLP row
var	problem variable
val	value of coefficient in linear part of row

Definition at line 1116 of file scip_nlp.c.

References FALSE, Scip::mem, Scip::nlp, SCIP_Mem::probmem, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPnlrowAddLinearCoef(), Scip::set, Scip::stat, and TRUE.

Referenced by addNlrow(), and createNlRow().

◆ SCIPaddLinearCoefsToNlRow()

SCIP_RETCODE SCIPaddLinearCoefsToNlRow	(	SCIP *	scip,
		SCIP_NLROW *	nlrow,
		int	nvars,
		SCIP_VAR **	vars,
		SCIP_Real *	vals
	)

adds variables with linear coefficients to a row

Returns: SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Precondition

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

Parameters

scip	SCIP data structure
nlrow	NLP row
nvars	number of variables to add to the row
vars	problem variables to add
vals	values of coefficients in linear part of row

Definition at line 1140 of file scip_nlp.c.

References FALSE, Scip::mem, Scip::nlp, NULL, SCIP_Mem::probmem, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPnlrowAddLinearCoef(), Scip::set, Scip::stat, and TRUE.

◆ SCIPchgNlRowLinearCoef()

SCIP_RETCODE SCIPchgNlRowLinearCoef	(	SCIP *	scip,
		SCIP_NLROW *	nlrow,
		SCIP_VAR *	var,
		SCIP_Real	coef
	)

changes linear coefficient of a variables in a nonlinear row

Setting the coefficient to 0.0 means that it is removed from the row. The variable does not need to exists before.

Returns: SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Precondition

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

Parameters

scip	SCIP data structure
nlrow	NLP row
var	variable
coef	new value of coefficient

Definition at line 1177 of file scip_nlp.c.

References FALSE, Scip::mem, Scip::nlp, NULL, SCIP_Mem::probmem, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPnlrowChgLinearCoef(), Scip::set, Scip::stat, and TRUE.

◆ SCIPsetNlRowExpr()

SCIP_RETCODE SCIPsetNlRowExpr	(	SCIP *	scip,
		SCIP_NLROW *	nlrow,
		SCIP_EXPR *	expr
	)

sets or deletes expression in a nonlinear row

Returns: SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Precondition

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

Parameters

scip	SCIP data structure
nlrow	NLP row
expr	expression, or NULL

Definition at line 1203 of file scip_nlp.c.

References FALSE, Scip::mem, Scip::nlp, SCIP_Mem::probmem, SCIP_CALL, SCIP_EXPRCURV_UNKNOWN, SCIP_OKAY, SCIPcheckStage(), SCIPnlrowChgExpr(), SCIPnlrowSetCurvature(), Scip::set, Scip::stat, and TRUE.

Referenced by createNlRow().

◆ SCIPrecalcNlRowNLPActivity()

SCIP_RETCODE SCIPrecalcNlRowNLPActivity	(	SCIP *	scip,
		SCIP_NLROW *	nlrow
	)

recalculates the activity of a nonlinear row in the last NLP solution

Returns: SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Precondition

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

Parameters

scip	SCIP data structure
nlrow	NLP nonlinear row

Definition at line 1229 of file scip_nlp.c.

References FALSE, Scip::mem, Scip::nlp, NULL, Scip::primal, SCIP_Mem::probmem, SCIP_CALL, SCIP_INVALIDCALL, SCIP_OKAY, SCIPcheckStage(), SCIPerrorMessage, SCIPnlrowRecalcNLPActivity(), Scip::set, Scip::stat, Scip::tree, and TRUE.

◆ SCIPgetNlRowNLPActivity()

SCIP_RETCODE SCIPgetNlRowNLPActivity	(	SCIP *	scip,
		SCIP_NLROW *	nlrow,
		SCIP_Real *	activity
	)

returns the activity of a nonlinear row in the last NLP solution

Returns: SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Precondition

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

Parameters

scip	SCIP data structure
nlrow	NLP nonlinear row
activity	pointer to store activity value

Definition at line 1256 of file scip_nlp.c.

References FALSE, Scip::mem, Scip::nlp, NULL, Scip::primal, SCIP_Mem::probmem, SCIP_CALL, SCIP_INVALIDCALL, SCIP_OKAY, SCIPcheckStage(), SCIPerrorMessage, SCIPnlrowGetNLPActivity(), Scip::set, Scip::stat, Scip::tree, and TRUE.

◆ SCIPgetNlRowNLPFeasibility()

SCIP_RETCODE SCIPgetNlRowNLPFeasibility	(	SCIP *	scip,
		SCIP_NLROW *	nlrow,
		SCIP_Real *	feasibility
	)

gives the feasibility of a nonlinear row in the last NLP solution: negative value means infeasibility

Returns: SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Precondition

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

Parameters

scip	SCIP data structure
nlrow	NLP nonlinear row
feasibility	pointer to store feasibility value

Definition at line 1284 of file scip_nlp.c.

References FALSE, Scip::mem, Scip::nlp, NULL, Scip::primal, SCIP_Mem::probmem, SCIP_CALL, SCIP_INVALIDCALL, SCIP_OKAY, SCIPcheckStage(), SCIPerrorMessage, SCIPnlrowGetNLPFeasibility(), Scip::set, Scip::stat, Scip::tree, and TRUE.

◆ SCIPrecalcNlRowPseudoActivity()

SCIP_RETCODE SCIPrecalcNlRowPseudoActivity	(	SCIP *	scip,
		SCIP_NLROW *	nlrow
	)

recalculates the activity of a nonlinear row for the current pseudo solution

Returns: SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Precondition

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

Parameters

scip	SCIP data structure
nlrow	NLP nonlinear row

Definition at line 1312 of file scip_nlp.c.

References FALSE, Scip::lp, Scip::mem, Scip::primal, SCIP_Mem::probmem, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPnlrowRecalcPseudoActivity(), Scip::set, Scip::stat, Scip::transprob, Scip::tree, and TRUE.

◆ SCIPgetNlRowPseudoActivity()

SCIP_RETCODE SCIPgetNlRowPseudoActivity	(	SCIP *	scip,
		SCIP_NLROW *	nlrow,
		SCIP_Real *	pseudoactivity
	)

gives the activity of a nonlinear row for the current pseudo solution

Returns: SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Precondition

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

Parameters

scip	SCIP data structure
nlrow	NLP nonlinear row
pseudoactivity	pointer to store pseudo activity value

Definition at line 1333 of file scip_nlp.c.

References FALSE, Scip::lp, Scip::mem, Scip::primal, SCIP_Mem::probmem, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPnlrowGetPseudoActivity(), Scip::set, Scip::stat, Scip::transprob, Scip::tree, and TRUE.

◆ SCIPgetNlRowPseudoFeasibility()

SCIP_RETCODE SCIPgetNlRowPseudoFeasibility	(	SCIP *	scip,
		SCIP_NLROW *	nlrow,
		SCIP_Real *	pseudofeasibility
	)

gives the feasibility of a nonlinear row for the current pseudo solution: negative value means infeasibility

Returns: SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Precondition

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

Parameters

scip	SCIP data structure
nlrow	NLP nonlinear row
pseudofeasibility	pointer to store pseudo feasibility value

Definition at line 1355 of file scip_nlp.c.

References FALSE, Scip::lp, Scip::mem, Scip::primal, SCIP_Mem::probmem, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPnlrowGetPseudoFeasibility(), Scip::set, Scip::stat, Scip::transprob, Scip::tree, and TRUE.

◆ SCIPrecalcNlRowActivity()

SCIP_RETCODE SCIPrecalcNlRowActivity	(	SCIP *	scip,
		SCIP_NLROW *	nlrow
	)

recalculates the activity of a nonlinear row in the last NLP or pseudo solution

Returns: SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Precondition

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

Parameters

scip	SCIP data structure
nlrow	NLP nonlinear row

Definition at line 1377 of file scip_nlp.c.

References FALSE, Scip::lp, Scip::mem, Scip::nlp, NULL, Scip::primal, SCIP_Mem::probmem, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPnlpHasCurrentNodeNLP(), SCIPnlpHasSolution(), SCIPnlrowRecalcNLPActivity(), SCIPnlrowRecalcPseudoActivity(), Scip::set, Scip::stat, Scip::transprob, Scip::tree, and TRUE.

◆ SCIPgetNlRowActivity()

SCIP_RETCODE SCIPgetNlRowActivity	(	SCIP *	scip,
		SCIP_NLROW *	nlrow,
		SCIP_Real *	activity
	)

gives the activity of a nonlinear row in the last NLP or pseudo solution

Returns: SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Precondition

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

Parameters

scip	SCIP data structure
nlrow	NLP nonlinear row
activity	pointer to store activity value

Definition at line 1405 of file scip_nlp.c.

References FALSE, Scip::lp, Scip::mem, Scip::nlp, NULL, Scip::primal, SCIP_Mem::probmem, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPnlpHasCurrentNodeNLP(), SCIPnlpHasSolution(), SCIPnlrowGetNLPActivity(), SCIPnlrowGetPseudoActivity(), Scip::set, Scip::stat, Scip::transprob, Scip::tree, and TRUE.

Referenced by computeStandardNLPFeasibilityCut().

◆ SCIPgetNlRowFeasibility()

SCIP_RETCODE SCIPgetNlRowFeasibility	(	SCIP *	scip,
		SCIP_NLROW *	nlrow,
		SCIP_Real *	feasibility
	)

gives the feasibility of a nonlinear row in the last NLP or pseudo solution

Returns: SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Precondition

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

Parameters

scip	SCIP data structure
nlrow	NLP nonlinear row
feasibility	pointer to store feasibility value

Definition at line 1434 of file scip_nlp.c.

References FALSE, Scip::lp, Scip::mem, Scip::nlp, NULL, Scip::primal, SCIP_Mem::probmem, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPnlpHasCurrentNodeNLP(), SCIPnlpHasSolution(), SCIPnlrowGetNLPFeasibility(), SCIPnlrowGetPseudoFeasibility(), Scip::set, Scip::stat, Scip::transprob, Scip::tree, and TRUE.

◆ SCIPgetNlRowSolActivity()

SCIP_RETCODE SCIPgetNlRowSolActivity	(	SCIP *	scip,
		SCIP_NLROW *	nlrow,
		SCIP_SOL *	sol,
		SCIP_Real *	activity
	)

gives the activity of a nonlinear row for the given primal solution or NLP solution or pseudo solution

Returns: SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Precondition

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

Parameters

scip	SCIP data structure
nlrow	NLP nonlinear row
sol	primal CIP solution, or NULL for NLP solution of pseudo solution
activity	pointer to store activity value

Definition at line 1463 of file scip_nlp.c.

References FALSE, Scip::lp, Scip::mem, Scip::nlp, NULL, Scip::primal, SCIP_Mem::probmem, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPnlpHasCurrentNodeNLP(), SCIPnlpHasSolution(), SCIPnlrowGetNLPActivity(), SCIPnlrowGetPseudoActivity(), SCIPnlrowGetSolActivity(), Scip::set, Scip::stat, Scip::transprob, Scip::tree, and TRUE.

Referenced by computeMaxViolation(), findPointPosition(), improvePoint(), SCIP_DECL_SEPAEXECLP(), and separateCuts().

◆ SCIPgetNlRowSolFeasibility()

SCIP_RETCODE SCIPgetNlRowSolFeasibility	(	SCIP *	scip,
		SCIP_NLROW *	nlrow,
		SCIP_SOL *	sol,
		SCIP_Real *	feasibility
	)

gives the feasibility of a nonlinear row for the given primal solution

Returns: SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Precondition

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

Parameters

scip	SCIP data structure
nlrow	NLP nonlinear row
sol	primal CIP solution
feasibility	pointer to store feasibility value

Definition at line 1497 of file scip_nlp.c.

References FALSE, Scip::lp, Scip::mem, Scip::nlp, NULL, Scip::primal, SCIP_Mem::probmem, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPnlpHasCurrentNodeNLP(), SCIPnlpHasSolution(), SCIPnlrowGetNLPFeasibility(), SCIPnlrowGetPseudoFeasibility(), SCIPnlrowGetSolFeasibility(), Scip::set, Scip::stat, Scip::transprob, Scip::tree, and TRUE.

Referenced by getMinFeas(), and improvePoint().

◆ SCIPgetNlRowActivityBounds()

SCIP_RETCODE SCIPgetNlRowActivityBounds	(	SCIP *	scip,
		SCIP_NLROW *	nlrow,
		SCIP_Real *	minactivity,
		SCIP_Real *	maxactivity
	)

gives the minimal and maximal activity of a nonlinear row w.r.t. the variable's bounds

Returns: SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Precondition

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

Parameters

scip	SCIP data structure
nlrow	NLP row
minactivity	buffer to store minimal activity, or NULL
maxactivity	buffer to store maximal activity, or NULL

Definition at line 1532 of file scip_nlp.c.

References FALSE, Scip::mem, SCIP_Mem::probmem, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPnlrowGetActivityBounds(), Scip::set, Scip::stat, and TRUE.

◆ SCIPprintNlRow()

SCIP_RETCODE SCIPprintNlRow	(	SCIP *	scip,
		SCIP_NLROW *	nlrow,
		FILE *	file
	)

prints a nonlinear row to file stream

Returns: SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Precondition

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

Parameters

scip	SCIP data structure
nlrow	NLP row
file	output file (or NULL for standard output)

Definition at line 1556 of file scip_nlp.c.

References FALSE, Scip::mem, Scip::messagehdlr, NULL, SCIP_Mem::probmem, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPnlrowPrint(), Scip::set, Scip::stat, and TRUE.

Referenced by computeCut(), findAndStoreEcAggregations(), findPointPosition(), generateCut(), and separateCuts().

SCIP

Detailed Description

Functions

Function Documentation

◆ SCIPnlrowCreate()

◆ SCIPnlrowCreateCopy()

◆ SCIPnlrowCreateFromRow()

◆ SCIPnlrowPrint()

◆ SCIPnlrowCapture()

◆ SCIPnlrowRelease()

◆ SCIPnlrowEnsureLinearSize()

◆ SCIPnlrowAddLinearCoef()

◆ SCIPnlrowDelLinearCoef()

◆ SCIPnlrowChgLinearCoef()

◆ SCIPnlrowChgExpr()

◆ SCIPnlrowChgConstant()

◆ SCIPnlrowChgLhs()

◆ SCIPnlrowChgRhs()

◆ SCIPnlrowSimplify()

◆ SCIPnlrowRecalcNLPActivity()

◆ SCIPnlrowGetNLPActivity()

◆ SCIPnlrowGetNLPFeasibility()

◆ SCIPnlrowRecalcPseudoActivity()

◆ SCIPnlrowGetPseudoActivity()

◆ SCIPnlrowGetPseudoFeasibility()

◆ SCIPnlrowGetSolActivity()

◆ SCIPnlrowGetSolFeasibility()

◆ SCIPnlrowGetActivityBounds()

◆ SCIPnlrowIsRedundant()

◆ SCIPnlrowGetConstant()

◆ SCIPnlrowGetNLinearVars()

◆ SCIPnlrowGetLinearVars()

◆ SCIPnlrowGetLinearCoefs()

◆ SCIPnlrowGetExpr()

◆ SCIPnlrowGetLhs()

◆ SCIPnlrowGetRhs()

◆ SCIPnlrowGetCurvature()

◆ SCIPnlrowSetCurvature()

◆ SCIPnlrowGetName()

◆ SCIPnlrowGetNLPPos()

◆ SCIPnlrowIsInNLP()

◆ SCIPnlrowGetDualsol()

◆ SCIPcreateNlRow()

◆ SCIPcreateEmptyNlRow()

◆ SCIPcreateNlRowFromRow()

◆ SCIPcaptureNlRow()

◆ SCIPreleaseNlRow()

◆ SCIPchgNlRowLhs()

◆ SCIPchgNlRowRhs()

◆ SCIPchgNlRowConstant()

◆ SCIPaddLinearCoefToNlRow()

◆ SCIPaddLinearCoefsToNlRow()

◆ SCIPchgNlRowLinearCoef()

◆ SCIPsetNlRowExpr()

◆ SCIPrecalcNlRowNLPActivity()

◆ SCIPgetNlRowNLPActivity()

◆ SCIPgetNlRowNLPFeasibility()

◆ SCIPrecalcNlRowPseudoActivity()

◆ SCIPgetNlRowPseudoActivity()

◆ SCIPgetNlRowPseudoFeasibility()

◆ SCIPrecalcNlRowActivity()

◆ SCIPgetNlRowActivity()

◆ SCIPgetNlRowFeasibility()

◆ SCIPgetNlRowSolActivity()

◆ SCIPgetNlRowSolFeasibility()

◆ SCIPgetNlRowActivityBounds()

◆ SCIPprintNlRow()