Searched refs:probvar (Results 1 – 3 of 3) sorted by relevance
1263 SCIP_VAR* probvar; in SCIPshrinkDisjunctiveVarSet() local1275 probvar = probvars[v]; in SCIPshrinkDisjunctiveVarSet()1276 assert(probvar != NULL); in SCIPshrinkDisjunctiveVarSet()1283 if( SCIPvarIsBinary(probvar) ) in SCIPshrinkDisjunctiveVarSet()1286 SCIPvarGetLbGlobal(probvar), SCIPvarGetUbGlobal(probvar)); in SCIPshrinkDisjunctiveVarSet()1288 if( SCIPvarGetLbGlobal(probvar) < 0.5 ) in SCIPshrinkDisjunctiveVarSet()1305 SCIPvarGetLbGlobal(probvar), SCIPvarGetUbGlobal(probvar), newbounds[v]); in SCIPshrinkDisjunctiveVarSet()1332 if( SCIPvarIsBinary(probvar) ) in SCIPshrinkDisjunctiveVarSet()1335 SCIPvarGetLbGlobal(probvar), SCIPvarGetUbGlobal(probvar)); in SCIPshrinkDisjunctiveVarSet()1337 if( SCIPvarGetUbGlobal(probvar) > 0.5 ) in SCIPshrinkDisjunctiveVarSet()[all …]
1538 SCIP_VAR* probvar; in mergeMultiples() local1590 probvar = (SCIPvarIsActive(var) ? var : SCIPvarGetNegatedVar(var)); in mergeMultiples()1591 assert(probvar != NULL); in mergeMultiples()1593 probidx = SCIPvarGetProbindex(probvar); in mergeMultiples()1597 assert((probidx < nbinvars && SCIPvarGetType(probvar) == SCIP_VARTYPE_BINARY) in mergeMultiples()1598 || (SCIPvarIsBinary(probvar) && in mergeMultiples()1599 …((probidx >= nbinvars && probidx < nbinvars + nintvars && SCIPvarGetType(probvar) == SCIP_VARTYPE_… in mergeMultiples()1601 SCIPvarGetType(probvar) == SCIP_VARTYPE_IMPLINT)))); in mergeMultiples()1617 probvar = (SCIPvarIsActive(var) ? var : SCIPvarGetNegatedVar(var)); in mergeMultiples()1618 assert(probvar != NULL); in mergeMultiples()[all …]
17541 SCIP_VAR* probvar = var; in SCIPvarGetAggregatedObj() local17544 assert(probvar != NULL); in SCIPvarGetAggregatedObj()17547 while( probvar != NULL ) in SCIPvarGetAggregatedObj()17549 switch( SCIPvarGetStatus(probvar) ) in SCIPvarGetAggregatedObj()17554 (*aggrobj) = mult * SCIPvarGetObj(probvar); in SCIPvarGetAggregatedObj()17558 assert(SCIPvarGetObj(probvar) == 0.0); in SCIPvarGetAggregatedObj()17570 probvar = probvar->data.multaggr.vars[0]; in SCIPvarGetAggregatedObj()17591 probvar = probvar->data.aggregate.var; in SCIPvarGetAggregatedObj()17595 assert(probvar->negatedvar != NULL); in SCIPvarGetAggregatedObj()17597 assert(probvar->negatedvar->negatedvar == probvar); in SCIPvarGetAggregatedObj()[all …]