Searched refs:secondParseResult (Results 1 – 1 of 1) sorted by relevance
1688 auto secondParseResult = _results.pop(); in parseAsBuiltinFormulaSymbol() local1689 if (firstParseResult.sort != secondParseResult.sort) in parseAsBuiltinFormulaSymbol()1697 if (firstParseResult.formula && secondParseResult.formula) { in parseAsBuiltinFormulaSymbol()1701 secondParseResult.asFormula(second); in parseAsBuiltinFormulaSymbol()1707 secondParseResult.asTerm(second); in parseAsBuiltinFormulaSymbol()1716 secondParseResult.asTerm(second); in parseAsBuiltinFormulaSymbol()1730 firstParseResult = secondParseResult; in parseAsBuiltinFormulaSymbol()1731 secondParseResult = nextParseResult; in parseAsBuiltinFormulaSymbol()1738 secondParseResult.asFormula(second); in parseAsBuiltinFormulaSymbol()1744 secondParseResult.asTerm(second); in parseAsBuiltinFormulaSymbol()[all …]