Searched refs:FlowConditionToken (Results 1 – 2 of 2) sorted by relevance
594 Copy.FlowConditionToken = DACtx->forkFlowCondition(FlowConditionToken); in fork()673 this->FlowConditionToken = std::move(CalleeEnv.FlowConditionToken); in popCall()688 this->FlowConditionToken = std::move(CalleeEnv.FlowConditionToken); in popCall()798 JoinedEnv.FlowConditionToken = EnvA.DACtx->joinFlowConditions( in join()799 EnvA.FlowConditionToken, EnvB.FlowConditionToken); in join()1136 DACtx->addFlowConditionConstraint(FlowConditionToken, F); in assume()1140 return DACtx->flowConditionImplies(FlowConditionToken, F); in proves()1144 return DACtx->flowConditionAllows(FlowConditionToken, F); in allows()1197 DACtx->dumpFlowCondition(FlowConditionToken, OS); in dump()
163 FlowConditionToken(DACtx.arena().makeFlowConditionToken()) {} in Environment()639 Atom getFlowConditionToken() const { return FlowConditionToken; } in getFlowConditionToken()809 Atom FlowConditionToken; variable