Searched refs:CheckersOutSet (Results 1 – 1 of 1) sorted by relevance
1590 ExplodedNodeSet CheckersOutSet; in processBranch() local1591 getCheckerManager().runCheckersForBranchCondition(Condition, CheckersOutSet, in processBranch()1594 if (CheckersOutSet.empty()) in processBranch()1597 BranchNodeBuilder builder(CheckersOutSet, Dst, BldCtx, DstT, DstF); in processBranch()1598 for (NodeBuilder::iterator I = CheckersOutSet.begin(), in processBranch()1599 E = CheckersOutSet.end(); E != I; ++I) { in processBranch()