Searched refs:detectRedundant (Results 1 – 5 of 5) sorted by relevance
266 simplex.detectRedundant(); in TEST()274 simplex.detectRedundant(); in TEST()283 simplex.detectRedundant(); in TEST()291 simplex.detectRedundant(); in TEST()299 simplex.detectRedundant(); in TEST()307 simplex.detectRedundant(); in TEST()315 simplex.detectRedundant(); in TEST()323 simplex.detectRedundant(); in TEST()337 simplex.detectRedundant(); in TEST()357 simplex.detectRedundant(); in TEST()[all …]
757 void detectRedundant(unsigned offset, unsigned count);758 void detectRedundant(unsigned offset) { in detectRedundant() function760 detectRedundant(offset, con.size() - offset); in detectRedundant()762 void detectRedundant() { detectRedundant(0, con.size()); } in detectRedundant() function
519 // constraints `detectRedundant` has marked redundant; we explicitly tell in getSetDifference() 520 // `detectRedundant` to only mark constraints from `sI` as being in getSetDifference() 522 simplex.detectRedundant(offset, totalNewSimplexInequalities); in getSetDifference()
1429 void Simplex::detectRedundant(unsigned offset, unsigned count) { in detectRedundant() 1424 void Simplex::detectRedundant(unsigned offset, unsigned count) { detectRedundant() function in Simplex
1216 simplex.detectRedundant(); in removeRedundantConstraints()