Home
last modified time | relevance | path

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

/dports/math/vampire/vampire-4.5.1/Parse/
H A DSMTLIB.hpp234 static Interpretation getFormulaSymbolInterpretation(FormulaSymbol ts, unsigned firstArgSort);
H A DSMTLIB2.hpp321 Interpretation getFormulaSymbolInterpretation(FormulaSymbol fs, unsigned firstArgSort);
H A DSMTLIB.cpp620 Interpretation SMTLIB::getFormulaSymbolInterpretation(FormulaSymbol fs, unsigned firstArgSort) in getFormulaSymbolInterpretation() function in Parse::SMTLIB
911 Interpretation itp = getFormulaSymbolInterpretation(fsym, firstArgSort); in tryReadNonPropAtom()
H A DSMTLIB2.cpp1135 Interpretation SMTLIB2::getFormulaSymbolInterpretation(FormulaSymbol fs, unsigned firstArgSort) in getFormulaSymbolInterpretation() function in Parse::SMTLIB2
1711 Interpretation intp = getFormulaSymbolInterpretation(fs,firstParseResult.sort); in parseAsBuiltinFormulaSymbol()
1748 Interpretation intp = getFormulaSymbolInterpretation(fs,firstParseResult.sort); in parseAsBuiltinFormulaSymbol()