Searched refs:substPred (Results 1 – 1 of 1) sorted by relevance
176 const auto &substPred = static_cast<const SubstLeavesPred &>(root); in buildPredicateTree() local178 {substPred.getPattern(), substPred.getReplacement()}); in buildPredicateTree()