Searched refs:numCon (Results 1 – 1 of 1) sorted by relevance
586 unsigned numCon = a.numConstraints() + b.numConstraints(); in makeProduct() local589 result.tableau.resizeVertically(numCon); in makeProduct()