Lines Matching defs:vars

156          "Incorrect number of vars in lexMin!");
176          "Incorrect number of vars in lexMin!");
205   assert(num <= curNum && "Can't truncate to more vars!");
285   // Symbol and Domain vars will be used as symbols for symbolic lexmin.
410   // Helper function to remove vars of the specified kind in the given range
427     // Remove vars of the specified kind in the relative range.
553   // constant term and removing the var x_j. We do this for all the vars
1004 /// the local vars.
1014          "Point should contain all vars except locals!");
1033     // vars have been detected as floor divs.
1127   unsigned firstVar = 0, vars = getNumVars();
1131     for (; firstVar < vars; ++firstVar) {
1137     if (firstVar >= vars)
1165     if (atEq(i, vars) == 0)
1254   // equivalent to projecting (rationally) the relation onto its non-local vars
1606     // representation of the local vars.
2548   // Add dimension variables temporarily to merge symbol and local vars.