Searched refs:substitutionsBuilder (Results 1 – 1 of 1) sorted by relevance
347 NodeBuilder<> substitutionsBuilder(kind::AND); in applyInternal() local369 substitutionsBuilder << eq; in applyInternal()373 if (substitutionsBuilder.getNumChildren() > 0) in applyInternal()375 substitutionsBuilder << (*assertionsToPreprocess)[substs_index]; in applyInternal()377 substs_index, Rewriter::rewrite(Node(substitutionsBuilder))); in applyInternal()