Searched refs:redunIneq (Results 1 – 1 of 1) sorted by relevance
2396 SmallVector<bool, 256> redunIneq(getNumInequalities(), false); in removeTrivialRedundancy() local2401 redunIneq[r] = true; in removeTrivialRedundancy()2418 redunIneq[val.first] = true; in removeTrivialRedundancy()2422 redunIneq[r] = true; in removeTrivialRedundancy()2438 if (!redunIneq[r]) in removeTrivialRedundancy()