Searched defs:addExpander (Results 1 – 3 of 3) sorted by relevance
273 void SetTheory::addExpander(StringRef ClassName, std::unique_ptr<Expander> E) { in addExpander() function in SetTheory
274 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