664     std::set<int> committed;  member
678         return committed.find(var->value) != committed.end();  in eval()
683         if (staging.size() != committed.size()) {  in commit()
684             committed = std::move(staging);  in commit()
691         if (committed.size() != var->range.size()) {  in updateRange()
692             var->range = RandomVariableRange(committed);  in updateRange()
695         committed.clear();  in updateRange()
700           committed(var->range.getChoices().begin(), var->range.getChoices().end()),  in EvalInfo()
709     const auto& committed = context->at(var).committed;  in toString()  local
713                << joinStr(", ", 20, std::vector<int>(committed.begin(), committed.end())) << "]";  in toString()
721             ss << ", [" << joinStr(", ", 20, std::vector<int>(committed.begin(), committed.end()))  in toString()
754         for (int val : context->at(var).committed) {  in evalSubnetHelper()
782     var->op->eval(&context->at(var->parent1).committed,  in evalSubnetSingleOpHelper()
783                   var->parent2 == nullptr ? nullptr : &context->at(var->parent2).committed,  in evalSubnetSingleOpHelper()
784                   &context->at(var).committed, &context->at(var->parent1).staging,  in evalSubnetSingleOpHelper()
797                     context == nullptr ? var->range.size() : context->at(var).committed.size();  in getNumCombinations()
1056         for (const auto& var : evalOrder) prod *= (*context->at(var).committed.begin());  in enforceDimProd()
1058             auto& committed = context->at(var).committed;  in enforceDimProd()  local
1059             int maxValue = kMaxValue / (prod / *committed.begin());  in enforceDimProd()
1060             auto it = committed.upper_bound(maxValue);  in enforceDimProd()
1062             if (it == committed.begin()) return false;  in enforceDimProd()
1064             if (it == committed.end()) continue;  in enforceDimProd()
1066             committed.erase(it, committed.end());  in enforceDimProd()