Lines Matching refs:NodeBuilder
454 NodeBuilder Bldr(Tmp, Dst, *currBldrCtx);1133 NodeBuilderWithSinks &nodeBuilder, 1137 if (nodeBuilder.getContext().blockCount() >= AMgr.options.maxBlockVisitOnPath) {1140 nodeBuilder.generateSink(Pred->getState(), Pred, &tag);1286 for (NodeBuilder::iterator I = CheckersOutSet.begin(),