Searched refs:DepsIt (Results 1 – 1 of 1) sorted by relevance
236 if (auto DepsIt = FlowConditionDeps.find(Token); in addTransitiveFlowConditionConstraints() local237 DepsIt != FlowConditionDeps.end()) in addTransitiveFlowConditionConstraints()238 for (Atom A : DepsIt->second) in addTransitiveFlowConditionConstraints()