Searched refs:copyRow (Results 1 – 1 of 1) sorted by relevance
1423 auto copyRow = [&](unsigned src, unsigned dest) { in removeRedundantInequalities() local1433 copyRow(r, pos++); in removeRedundantInequalities()2427 auto copyRow = [&](unsigned src, unsigned dest) { in removeTrivialRedundancy() local2439 copyRow(r, pos++); in removeTrivialRedundancy()