Searched refs:FlowConditionToken (Results 1 – 2 of 2) sorted by relevance
595 Copy.FlowConditionToken = DACtx->forkFlowCondition(FlowConditionToken); in fork()674 this->FlowConditionToken = std::move(CalleeEnv.FlowConditionToken); in popCall()689 this->FlowConditionToken = std::move(CalleeEnv.FlowConditionToken); in popCall()799 JoinedEnv.FlowConditionToken = EnvA.DACtx->joinFlowConditions( in join()800 EnvA.FlowConditionToken, EnvB.FlowConditionToken); in join()1137 DACtx->addFlowConditionConstraint(FlowConditionToken, F); in assume()1141 return DACtx->flowConditionImplies(FlowConditionToken, F); in proves()1145 return DACtx->flowConditionAllows(FlowConditionToken, F); in allows()1198 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