Searched refs:FlowConditionToken (Results 1 – 2 of 2) sorted by relevance
154 : DACtx(&DACtx), FlowConditionToken(&DACtx.makeFlowConditionToken()) {} in Environment()160 FlowConditionToken(&DACtx->forkFlowCondition(*Other.FlowConditionToken)) { in Environment()291 JoinedEnv.FlowConditionToken = &DACtx->joinFlowConditions( in join()292 *FlowConditionToken, *Other.FlowConditionToken); in join()542 DACtx->addFlowConditionConstraint(*FlowConditionToken, Val); in addToFlowCondition()546 return DACtx->flowConditionImplies(*FlowConditionToken, Val); in flowConditionImplies()550 DACtx->dumpFlowCondition(*FlowConditionToken); in dump()
323 AtomicBoolValue &getFlowConditionToken() const { return *FlowConditionToken; } in getFlowConditionToken()381 AtomicBoolValue *FlowConditionToken; variable