Searched refs:numDimAndSymbolIds (Results 1 – 1 of 1) sorted by relevance
384 unsigned numDimAndSymbolIds = domain.getNumDimAndSymbolIds(); in addDomainConstraints() local397 for (unsigned j = 0; j < numDimAndSymbolIds; ++j) in addDomainConstraints()402 at(i, numDimAndSymbolIds + j); in addDomainConstraints()