Searched refs:copyInequality (Results 1 – 1 of 1) sorted by relevance
1448 auto copyInequality = [&](unsigned src, unsigned dest) { in removeRedundantConstraints() local1460 copyInequality(r, pos++); in removeRedundantConstraints()