Home
last modified time | relevance | path

Searched refs:getTermSymbolInterpretation (Results 1 – 4 of 4) sorted by relevance

/dports/math/vampire/vampire-4.5.1/Parse/
H A DSMTLIB.hpp235 static Interpretation getTermSymbolInterpretation(TermSymbol ts, unsigned firstArgSort);
H A DSMTLIB2.hpp325 Interpretation getTermSymbolInterpretation(TermSymbol ts, unsigned firstArgSort);
H A DSMTLIB.cpp672 Interpretation SMTLIB::getTermSymbolInterpretation(TermSymbol ts, unsigned firstArgSort) in getTermSymbolInterpretation() function in Parse::SMTLIB
856 Interpretation itp = getTermSymbolInterpretation(ts, firstArgSort); in tryReadTerm()
H A DSMTLIB2.cpp1201 Interpretation SMTLIB2::getTermSymbolInterpretation(TermSymbol ts, unsigned firstArgSort) in getTermSymbolInterpretation() function in Parse::SMTLIB2
2051 Interpretation intp = getTermSymbolInterpretation(ts,sort); in parseAsBuiltinTermSymbol()