Searched defs:projectOut (Results 1 – 3 of 3) sorted by relevance
388 inline void projectOut(unsigned pos) { return projectOut(pos, 1); } in projectOut() function
1413 void FlatAffineValueConstraints::projectOut(Value val) { in projectOut() function in FlatAffineValueConstraints
1892 void IntegerRelation::projectOut(unsigned pos, unsigned num) { in projectOut() function in IntegerRelation