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(),
