Searched refs:dirtySubnets (Results 1 – 1 of 1) sorted by relevance
1044 EvalContext* context, std::set<int>* dirtySubnets) { in enforceDimProd() argument1068 dirtySubnets->insert(indexMap.at(var)); in enforceDimProd()1079 std::set<int> dirtySubnets; // Which subnets needs evaluation. in evalRange() local1085 dirtySubnets.insert(pair.first); in evalRange()1087 if (!enforceDimProd(mDimProd, mIndexMap, &context, &dirtySubnets)) return false; in evalRange()1090 while (!dirtySubnets.empty()) { in evalRange()1091 for (int ind : dirtySubnets) { in evalRange()1113 dirtySubnets.clear(); in evalRange()1114 if (!enforceDimProd(mDimProd, mIndexMap, &context, &dirtySubnets)) return false; in evalRange()