Searched refs:candpos (Results 1 – 2 of 2) sorted by relevance
11490 int candpos; in simplifyInequalities() local11964 candpos = -1; in simplifyInequalities()12013 candpos = -1; in simplifyInequalities()12016 candpos = nvars - 1; in simplifyInequalities()12029 assert(0 <= candpos && candpos < nvars); in simplifyInequalities()12043 if( vals[candpos] > 0 && SCIPvarIsBinary(vars[candpos]) && in simplifyInequalities()12098 else if( vals[candpos] < 0 || !SCIPvarIsBinary(vars[candpos]) ) in simplifyInequalities()12490 candpos = -1; in simplifyInequalities()12528 candpos = v; in simplifyInequalities()12567 assert(candpos >= 0 && candpos < nvars); in simplifyInequalities()[all …]
9359 int candpos; in simplifyInequalities() local9477 candpos = -1; in simplifyInequalities()9507 if( candpos == -1 ) in simplifyInequalities()9510 candpos = v; in simplifyInequalities()9524 candpos = candpos2; in simplifyInequalities()9546 assert(((candpos >= offsetv) || (candpos == -1 && offsetv > 0)) && candpos < nvars); in simplifyInequalities()9553 if( candpos == -1 ) in simplifyInequalities()9573 restweight = weights[candpos] % gcd; in simplifyInequalities()9579 newweight = weights[candpos] - restweight + gcd; in simplifyInequalities()9581 newweight = weights[candpos] - restweight; in simplifyInequalities()[all …]