Home
last modified time | relevance | path

Searched refs:SCIPvarIncNActiveConflicts (Results 1 – 4 of 4) sorted by relevance

/dports/math/SCIP/scip-7.0.3/src/scip/
H A Dvar.h1373 SCIP_RETCODE SCIPvarIncNActiveConflicts(
H A Dscip_var.c9500 …SCIP_CALL( SCIPvarIncNActiveConflicts(var, NULL, NULL, scip->stat, SCIP_BRANCHDIR_DOWNWARDS, SCIP_… in SCIPinitVarBranchStats()
9515 …SCIP_CALL( SCIPvarIncNActiveConflicts(var, NULL, NULL, scip->stat, SCIP_BRANCHDIR_UPWARDS, SCIP_UN… in SCIPinitVarBranchStats()
9567 …SCIP_CALL( SCIPvarIncNActiveConflicts(var, SCIPblkmem(scip), scip->set, scip->stat, SCIP_BRANCHDIR… in SCIPinitVarValueBranchStats()
9580 …SCIP_CALL( SCIPvarIncNActiveConflicts(var, SCIPblkmem(scip), scip->set, scip->stat, SCIP_BRANCHDIR… in SCIPinitVarValueBranchStats()
H A Dvar.c14951 SCIP_RETCODE SCIPvarIncNActiveConflicts( in SCIPvarIncNActiveConflicts() function
14976 …SCIP_CALL( SCIPvarIncNActiveConflicts(var->data.original.transvar, blkmem, set, stat, dir, value, … in SCIPvarIncNActiveConflicts()
15006 …SCIP_CALL( SCIPvarIncNActiveConflicts(var->data.aggregate.var, blkmem, set, stat, dir, value, leng… in SCIPvarIncNActiveConflicts()
15011 …SCIP_CALL( SCIPvarIncNActiveConflicts(var->data.aggregate.var, blkmem, set, stat, SCIPbranchdirOpp… in SCIPvarIncNActiveConflicts()
15022 …SCIP_CALL( SCIPvarIncNActiveConflicts(var->negatedvar, blkmem, set, stat, SCIPbranchdirOpposite(di… in SCIPvarIncNActiveConflicts()
H A Dconflict.c2166 …SCIP_CALL( SCIPvarIncNActiveConflicts(var, blkmem, set, stat, branchdir, bound, (SCIP_Real)confli… in updateStatistics()