Searched refs:getBuilderContext (Results 1 – 2 of 2) sorted by relevance
113 const NodeBuilderContext &BldrCtx = checkCtx.Eng.getBuilderContext(); in expandGraphWithCheckers()661 NodeBuilder B(Pred, checkDst, Eng.getBuilderContext()); in runCheckersForEvalCall()690 NodeBuilder B(Pred, Dst, Eng.getBuilderContext()); in runCheckersForEvalCall()
227 const NodeBuilderContext &getBuilderContext() { in getBuilderContext() function