Lines Matching refs:committed
663 std::set<int> committed; member
677 return committed.find(var->value) != committed.end(); in eval()
682 if (staging.size() != committed.size()) { in commit()
683 committed = std::move(staging); in commit()
690 if (committed.size() != var->range.size()) { in updateRange()
691 var->range = RandomVariableRange(committed); in updateRange()
694 committed.clear(); in updateRange()
699 committed(var->range.getChoices().begin(), var->range.getChoices().end()), in EvalInfo()
708 const auto& committed = context->at(var).committed; in toString() local
712 << joinStr(", ", 20, std::vector<int>(committed.begin(), committed.end())) << "]"; in toString()
720 ss << ", [" << joinStr(", ", 20, std::vector<int>(committed.begin(), committed.end())) in toString()
753 for (int val : context->at(var).committed) { in evalSubnetHelper()
781 var->op->eval(&context->at(var->parent1).committed, in evalSubnetSingleOpHelper()
782 var->parent2 == nullptr ? nullptr : &context->at(var->parent2).committed, in evalSubnetSingleOpHelper()
783 &context->at(var).committed, &context->at(var->parent1).staging, in evalSubnetSingleOpHelper()
796 context == nullptr ? var->range.size() : context->at(var).committed.size(); in getNumCombinations()
1053 for (const auto& var : evalOrder) prod *= (*context->at(var).committed.begin()); in enforceDimProd()
1055 auto& committed = context->at(var).committed; in enforceDimProd() local
1056 int maxValue = kMaxValue / (prod / *committed.begin()); in enforceDimProd()
1057 auto it = committed.upper_bound(maxValue); in enforceDimProd()
1059 if (it == committed.begin()) return false; in enforceDimProd()
1061 if (it == committed.end()) continue; in enforceDimProd()
1063 committed.erase(it, committed.end()); in enforceDimProd()