Searched refs:getFormulaSymbolInterpretation (Results 1 – 4 of 4) sorted by relevance
234 static Interpretation getFormulaSymbolInterpretation(FormulaSymbol ts, unsigned firstArgSort);
321 Interpretation getFormulaSymbolInterpretation(FormulaSymbol fs, unsigned firstArgSort);
620 Interpretation SMTLIB::getFormulaSymbolInterpretation(FormulaSymbol fs, unsigned firstArgSort) in getFormulaSymbolInterpretation() function in Parse::SMTLIB911 Interpretation itp = getFormulaSymbolInterpretation(fsym, firstArgSort); in tryReadNonPropAtom()
1135 Interpretation SMTLIB2::getFormulaSymbolInterpretation(FormulaSymbol fs, unsigned firstArgSort) in getFormulaSymbolInterpretation() function in Parse::SMTLIB21711 Interpretation intp = getFormulaSymbolInterpretation(fs,firstParseResult.sort); in parseAsBuiltinFormulaSymbol()1748 Interpretation intp = getFormulaSymbolInterpretation(fs,firstParseResult.sort); in parseAsBuiltinFormulaSymbol()