Searched refs:nrSortConstraints (Results 1 – 4 of 4) sorted by relevance
82 int nrSortConstraints = sortConstraints.length(); in orderSortConstraints() local83 if (nrSortConstraints == 0) in orderSortConstraints()91 for (int i = 0; i < nrSortConstraints; i++) in orderSortConstraints()
78 int nrSortConstraints = sortConstraints.length(); in ~Module() local79 for (int i = 0; i < nrSortConstraints; i++) in ~Module()294 int nrSortConstraints = sortConstraints.length(); in indexSortConstraints() local296 for (int i = 0; i < nrSortConstraints; i++) in indexSortConstraints()425 int nrSortConstraints = sortConstraints.length(); in insertLateSymbol() local426 for (int i = 0; i < nrSortConstraints; i++) in insertLateSymbol()
121 int nrSortConstraints = sortConstraints.length(); in mightMatchSymbol() local122 for (int i = 0; i < nrSortConstraints; i++) in mightMatchSymbol()271 int nrSortConstraints = sortConstraints.length(); in rangeSortNeverLeqThan() local272 for (int i = 0; i < nrSortConstraints; i++) in rangeSortNeverLeqThan()360 int nrSortConstraints = sortConstraints.length(); in computePossibleDomainSorts() local365 for (int i = 0; i < nrSortConstraints; i++) in computePossibleDomainSorts()
242 int nrSortConstraints = sc.length(); in associativeSortBoundsAnalysis() local245 for (int i = 0; i < nrSortConstraints; i++) in associativeSortBoundsAnalysis()295 int nrSortConstraints = sc.length(); in associativeSortStructureAnalysis() local332 for (int j = 0; j < nrSortConstraints; j++) in associativeSortStructureAnalysis()