Home
last modified time | relevance | path

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

/llvm-project-15.0.7/mlir/lib/Analysis/Presburger/
H A DPresburgerRelation.cpp561 void eraseDisjunct(unsigned i);
737 void SetCoalescer::eraseDisjunct(unsigned i) { in eraseDisjunct() function in SetCoalescer
785 eraseDisjunct(j); in coalescePair()
800 eraseDisjunct(i); in coalescePair()