Searched refs:FlowConditionToken (Results 1 – 2 of 2) sorted by relevance
597 Copy.FlowConditionToken = DACtx->forkFlowCondition(FlowConditionToken); in pushCall() 676 this->FlowConditionToken = std::move(CalleeEnv.FlowConditionToken);691 this->FlowConditionToken = std::move(CalleeEnv.FlowConditionToken); in equivalentTo() 801 JoinedEnv.FlowConditionToken = EnvA.DACtx->joinFlowConditions( in joinValues() 802 EnvA.FlowConditionToken, EnvB.FlowConditionToken); in joinValues() 1139 DACtx->addFlowConditionConstraint(FlowConditionToken, in dump() [all...]
163 FlowConditionToken(DACtx.arena().makeFlowConditionToken()) {} in Environment()639 Atom getFlowConditionToken() const { return FlowConditionToken; } in getFlowConditionToken()809 Atom FlowConditionToken; variable