Home
last modified time | relevance | path

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

/external/llvm-project/mlir/lib/Analysis/
DPresburgerSet.cpp173 unsigned initialSnapshot = simplex.getSnapshot(); in subtractRecursively() local
179 simplex.rollback(initialSnapshot); in subtractRecursively()
190 simplex.rollback(initialSnapshot); in subtractRecursively()
246 simplex.rollback(initialSnapshot); in subtractRecursively()