Searched refs:parseAsUserDefinedSymbol (Results 1 – 2 of 2) sorted by relevance
388 bool parseAsUserDefinedSymbol(const vstring& id, LExpr* exp);
1532 bool SMTLIB2::parseAsUserDefinedSymbol(const vstring& id,LExpr* exp) in parseAsUserDefinedSymbol() function in Parse::SMTLIB22256 if (parseAsUserDefinedSymbol(id,exp)) { in parseTermOrFormula()