Searched refs:dirtySubnets (Results 1 – 1 of 1) sorted by relevance
1041 EvalContext* context, std::unordered_set<int>* dirtySubnets) { in enforceDimProd() argument1065 dirtySubnets->insert(indexMap.at(var)); in enforceDimProd()1076 std::unordered_set<int> dirtySubnets; // Which subnets needs evaluation. in evalRange() local1082 dirtySubnets.insert(pair.first); in evalRange()1084 if (!enforceDimProd(mDimProd, mIndexMap, &context, &dirtySubnets)) return false; in evalRange()1087 while (!dirtySubnets.empty()) { in evalRange()1088 for (int ind : dirtySubnets) { in evalRange()1110 dirtySubnets.clear(); in evalRange()1111 if (!enforceDimProd(mDimProd, mIndexMap, &context, &dirtySubnets)) return false; in evalRange()