Searched refs:candpos2 (Results 1 – 2 of 2) sorted by relevance
9360 int candpos2; in simplifyInequalities() local9478 candpos2 = -1; in simplifyInequalities()9514 candpos2 = v + 1; in simplifyInequalities()9519 if( candpos == v + 1 && candpos2 == v + 2 ) in simplifyInequalities()9521 assert(candpos2 == nvars - 1); in simplifyInequalities()9524 candpos = candpos2; in simplifyInequalities()
11491 int candpos2; in simplifyInequalities() local12491 candpos2 = -1; in simplifyInequalities()12534 candpos2 = foundbin; in simplifyInequalities()12539 if( onlybin && candpos == v + 1 && candpos2 == v + 2 ) in simplifyInequalities()12541 assert(candpos2 == nvars - 1); in simplifyInequalities()12544 candpos = candpos2; in simplifyInequalities()