Lines Matching refs:NodeBuilder
120 NodeBuilder B(*PrevSet, *CurrSet, BldrCtx);
153 NodeBuilder &Bldr, ExplodedNode *Pred) {
195 NodeBuilder &Bldr, ExplodedNode *Pred) {
238 NodeBuilder &Bldr, ExplodedNode *Pred) {
282 NodeBuilder &Bldr, ExplodedNode *Pred) {
327 NodeBuilder &Bldr, ExplodedNode *Pred) {
364 NodeBuilder Bldr(Pred, Dst, BC);
391 NodeBuilder &Bldr, ExplodedNode *Pred) {
436 NodeBuilder &Bldr, ExplodedNode *Pred) {
535 NodeBuilder B(Pred, checkDst, Eng.getBuilderContext());
564 NodeBuilder B(Pred, Dst, Eng.getBuilderContext());