Searched refs:FlowConditionToken (Results 1 – 2 of 2) sorted by relevance
375 FlowConditionToken(DACtx.arena().makeFlowConditionToken()) {} in Environment()477 Copy.FlowConditionToken = DACtx->forkFlowCondition(FlowConditionToken); in fork()548 this->FlowConditionToken = std::move(CalleeEnv.FlowConditionToken); in popCall()563 this->FlowConditionToken = std::move(CalleeEnv.FlowConditionToken); in popCall()675 JoinedEnv.FlowConditionToken = EnvA.DACtx->joinFlowConditions( in join()676 EnvA.FlowConditionToken, EnvB.FlowConditionToken); in join()1000 DACtx->addFlowConditionConstraint(FlowConditionToken, F); in assume()1004 return DACtx->flowConditionImplies(FlowConditionToken, F); in proves()1008 return DACtx->flowConditionAllows(FlowConditionToken, F); in allows()1032 DACtx->dumpFlowCondition(FlowConditionToken, OS); in dump()
588 Atom getFlowConditionToken() const { return FlowConditionToken; } in getFlowConditionToken()710 Atom FlowConditionToken; variable