Searched refs:parseAsBuiltinTermSymbol (Results 1 – 2 of 2) sorted by relevance
394 bool parseAsBuiltinTermSymbol(const vstring& id, LExpr* exp);
1865 bool SMTLIB2::parseAsBuiltinTermSymbol(const vstring& id, LExpr* exp) in parseAsBuiltinTermSymbol() function in Parse::SMTLIB22264 if (parseAsBuiltinTermSymbol(id,exp)) { in parseTermOrFormula()