Searched refs:newNumReservedCols (Results 1 – 1 of 1) sorted by relevance
230 unsigned newNumReservedCols, in reset() argument234 assert(newNumReservedCols >= newNumDims + newNumSymbols + newNumLocals + 1 && in reset()237 numReservedEqualities, newNumReservedCols, in reset()251 unsigned newNumReservedCols, unsigned newNumDims, unsigned newNumSymbols, in reset() argument253 assert(newNumReservedCols >= newNumDims + newNumSymbols + newNumLocals + 1 && in reset()260 numReservedInequalities, numReservedEqualities, newNumReservedCols, in reset()