Lines Matching refs:probvar
1538 SCIP_VAR* probvar; in mergeMultiples() local
1590 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()
1620 probidx = SCIPvarGetProbindex(probvar); in mergeMultiples()