Searched refs:getTermSymbolInterpretation (Results 1 – 4 of 4) sorted by relevance
235 static Interpretation getTermSymbolInterpretation(TermSymbol ts, unsigned firstArgSort);
325 Interpretation getTermSymbolInterpretation(TermSymbol ts, unsigned firstArgSort);
672 Interpretation SMTLIB::getTermSymbolInterpretation(TermSymbol ts, unsigned firstArgSort) in getTermSymbolInterpretation() function in Parse::SMTLIB856 Interpretation itp = getTermSymbolInterpretation(ts, firstArgSort); in tryReadTerm()
1201 Interpretation SMTLIB2::getTermSymbolInterpretation(TermSymbol ts, unsigned firstArgSort) in getTermSymbolInterpretation() function in Parse::SMTLIB22051 Interpretation intp = getTermSymbolInterpretation(ts,sort); in parseAsBuiltinTermSymbol()