Lines Matching refs:getNumDimAndSymbolVars

415       pos, /*offset=*/0, /*num=*/rank, cst.getNumDimAndSymbolVars(),  in getLowerAndUpperBound()
421   assert(lbMap.getNumInputs() == cst.getNumDimAndSymbolVars() - rank);  in getLowerAndUpperBound()
422   assert(ubMap.getNumInputs() == cst.getNumDimAndSymbolVars() - rank);  in getLowerAndUpperBound()
554   cst.setDimSymbolSeparation(cst.getNumDimAndSymbolVars() - rank);  in compute()
563   cst.getValues(cst.getNumDimVars(), cst.getNumDimAndSymbolVars(), &vars);  in compute()
574   cst.projectOut(cst.getNumDimAndSymbolVars(), cst.getNumLocalVars());  in compute()
818   assert(sliceUnionCst.getNumDimAndSymbolVars() == 0);  in computeSliceUnion()
854       if (sliceUnionCst.getNumDimAndSymbolVars() == 0) {  in computeSliceUnion()
861         assert(sliceUnionCst.getNumDimAndSymbolVars() > 0);  in computeSliceUnion()
909   if (sliceUnionCst.getNumDimAndSymbolVars() == 0)  in computeSliceUnion()
942                           sliceUnionCst.getNumDimAndSymbolVars(),  in computeSliceUnion()
1085   unsigned numDimsAndSymbols = dependenceConstraints->getNumDimAndSymbolVars();  in getComputationSliceState()