Searched refs:levelSet (Results 1 – 1 of 1) sorted by relevance
315 IntegerPolyhedron levelSet(/*numReservedInequalities=*/1, in tiebreakLex() local329 levelSet.addBound(IntegerPolyhedron::BoundType::UB, subExpr, -1); in tiebreakLex()335 levelSet.addBound(IntegerPolyhedron::BoundType::LB, subExpr, 1); in tiebreakLex()339 result.unionInPlace(levelSet); in tiebreakLex()341 levelSet.removeInequality(0); in tiebreakLex()343 levelSet.addEquality(subExpr); in tiebreakLex()