Searched defs:addExpander (Results 1 – 3 of 3) sorted by relevance
217 void SetTheory::addExpander(StringRef ClassName, Expander *E) { in addExpander() function in SetTheory
275 void SetTheory::addExpander(StringRef ClassName, std::unique_ptr<Expander> E) { in addExpander() function in SetTheory
264 void SetTheory::addExpander(StringRef ClassName, std::unique_ptr<Expander> E) { in addExpander() function in SetTheory