Searched refs:getBuiltInTermSymbol (Results 1 – 2 of 2) sorted by relevance
242 static TermSymbol getBuiltInTermSymbol(const vstring& str);
747 SMTLIB2::TermSymbol SMTLIB2::getBuiltInTermSymbol(const vstring& str) in getBuiltInTermSymbol() function in Parse::SMTLIB2769 if (getBuiltInTermSymbol(name) != TS_USER_FUNCTION) { in isAlreadyKnownFunctionSymbol()1369 ASS_EQ(getBuiltInTermSymbol(theLetAtom),TS_LET); in parseLetEnd()1870 TermSymbol ts = getBuiltInTermSymbol(id); in parseAsBuiltinTermSymbol()