Searched refs:asTerm (Results 1 – 2 of 2) sorted by relevance
895 if (res.asTerm(rhs) != rangeSort) { in readDefineFun()1388 _results.pop().asTerm(boundExpr); in parseLetEnd()1560 _results.pop().asTerm(arg) != sort) { in parseAsUserDefinedSymbol()1706 firstParseResult.asTerm(first); in parseAsBuiltinFormulaSymbol()1707 secondParseResult.asTerm(second); in parseAsBuiltinFormulaSymbol()1715 firstParseResult.asTerm(first); in parseAsBuiltinFormulaSymbol()1716 secondParseResult.asTerm(second); in parseAsBuiltinFormulaSymbol()1743 firstParseResult.asTerm(first); in parseAsBuiltinFormulaSymbol()1744 secondParseResult.asTerm(second); in parseAsBuiltinFormulaSymbol()1752 firstParseResult.asTerm(first); in parseAsBuiltinFormulaSymbol()[all …]
315 unsigned asTerm(TermList& resTrm);