Searched refs:getBuiltInSortFromString (Results 1 – 2 of 2) sorted by relevance
126 static BuiltInSorts getBuiltInSortFromString(const vstring& str);
440 SMTLIB2::BuiltInSorts SMTLIB2::getBuiltInSortFromString(const vstring& str) in getBuiltInSortFromString() function in Parse::SMTLIB2458 if (getBuiltInSortFromString(name) != BS_INVALID) { in isAlreadyKnownSortSymbol()653 BuiltInSorts bs = getBuiltInSortFromString(id); in declareSort()