Searched refs:makeFreshArgs (Results 1 – 2 of 2) sorted by relevance
182 void makeFreshArgs(TNode func, std::vector<Node>& fresh_args);
977 void AbstractionModule::makeFreshArgs(TNode func, std::vector<Node>& fresh_args) { in makeFreshArgs() function in AbstractionModule