Home
last modified time | relevance | path

Searched refs:snapshotBeforeIntersect (Results 1 – 1 of 1) sorted by relevance

/llvm-project-15.0.7/mlir/lib/Analysis/Presburger/
H A DPresburgerRelation.cpp315 unsigned snapshotBeforeIntersect = simplex.getSnapshot(); in getSetDifference() local
355 simplex.rollback(snapshotBeforeIntersect); in getSetDifference()