Lines Matching refs:at
709 const auto& committed = context->at(var).committed; in toString()
727 ss << ", timestamp = " << context->at(var).timestamp; in toString()
735 int timestamp = context == nullptr ? var->timestamp : context->at(var).timestamp; in needEvaluate()
748 for (auto& var : evalOrder) context->at(var).stage(); in evalSubnetHelper()
754 for (int val : context->at(var).committed) { in evalSubnetHelper()
761 if (!context->at(var).eval()) return; 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()
785 var->parent2 == nullptr ? nullptr : &context->at(var->parent2).staging, in evalSubnetSingleOpHelper()
786 &context->at(var).staging); in evalSubnetSingleOpHelper()
797 context == nullptr ? var->range.size() : context->at(var).committed.size(); in getNumCombinations()
824 if (context->at(var).staging.empty()) { in evalSubnetWithBruteForce()
828 context->at(var).commit(); in evalSubnetWithBruteForce()
842 context->at(var).originalType = var->type; in eval()
846 context->at(var).staging.clear(); in eval()
851 for (const auto& var : bridgeNodes) var->type = context->at(var).originalType; in eval()
1056 for (const auto& var : evalOrder) prod *= (*context->at(var).committed.begin()); in enforceDimProd()
1058 auto& committed = context->at(var).committed; in enforceDimProd()
1067 context->at(var).timestamp = RandomVariableNetwork::get()->getGlobalTime(); in enforceDimProd()
1068 dirtySubnets->insert(indexMap.at(var)); in enforceDimProd()