Searched refs:parseAsBuiltinFormulaSymbol (Results 1 – 2 of 2) sorted by relevance
391 bool parseAsBuiltinFormulaSymbol(const vstring& id, LExpr* exp);
1581 bool SMTLIB2::parseAsBuiltinFormulaSymbol(const vstring& id, LExpr* exp) in parseAsBuiltinFormulaSymbol() function in Parse::SMTLIB22260 if (parseAsBuiltinFormulaSymbol(id,exp)) { in parseTermOrFormula()