Searched defs:smtSortAbstractFunction (Results 1 – 1 of 1) sorted by relevance
177 SortPointer smtSortAbstractFunction(frontend::Type const& _type) in smtSortAbstractFunction() function184 vector<SortPointer> smtSortAbstractFunction(vector<frontend::Type const*> const& _types) in smtSortAbstractFunction() function