Searched refs:getBuiltInFormulaSymbol (Results 1 – 2 of 2) sorted by relevance
213 static FormulaSymbol getBuiltInFormulaSymbol(const vstring& str);
715 SMTLIB2::FormulaSymbol SMTLIB2::getBuiltInFormulaSymbol(const vstring& str) in getBuiltInFormulaSymbol() function in Parse::SMTLIB2765 if (getBuiltInFormulaSymbol(name) != FS_USER_PRED_SYMBOL) { in isAlreadyKnownFunctionSymbol()1585 FormulaSymbol fs = getBuiltInFormulaSymbol(id); in parseAsBuiltinFormulaSymbol()