Searched refs:resultRow (Results 1 – 1 of 1) sorted by relevance
1500 unsigned resultRow = result.tableau.appendExtraRow(); in makeProduct() local1502 result.tableau(resultRow, col) = a.tableau(row, col); in makeProduct()1511 unsigned resultRow = result.tableau.appendExtraRow(); in makeProduct() local1512 result.tableau(resultRow, 0) = b.tableau(row, 0); in makeProduct()1513 result.tableau(resultRow, 1) = b.tableau(row, 1); in makeProduct()1517 result.tableau(resultRow, offset + col) = b.tableau(row, col); in makeProduct()