Searched refs:firstParseResult (Results 1 – 1 of 1) sorted by relevance
1684 auto firstParseResult = _results.pop(); in parseAsBuiltinFormulaSymbol() local1689 if (firstParseResult.sort != secondParseResult.sort) in parseAsBuiltinFormulaSymbol()1697 if (firstParseResult.formula && secondParseResult.formula) { in parseAsBuiltinFormulaSymbol()1700 firstParseResult.asFormula(first); in parseAsBuiltinFormulaSymbol()1706 firstParseResult.asTerm(first); in parseAsBuiltinFormulaSymbol()1715 firstParseResult.asTerm(first); in parseAsBuiltinFormulaSymbol()1724 if (nextParseResult.sort != firstParseResult.sort) { in parseAsBuiltinFormulaSymbol()1730 firstParseResult = secondParseResult; in parseAsBuiltinFormulaSymbol()1737 firstParseResult.asFormula(first); in parseAsBuiltinFormulaSymbol()1743 firstParseResult.asTerm(first); in parseAsBuiltinFormulaSymbol()[all …]