Searched defs:isMarkedRedundant (Results 1 – 3 of 3) sorted by relevance
185 llvm::SmallBitVector isMarkedRedundant; in subtractRecursively() local
328 TEST(SimplexTest, isMarkedRedundant) { in TEST() argument
497 bool Simplex::isMarkedRedundant(unsigned constraintIndex) const { in isMarkedRedundant() function in mlir::Simplex