Searched refs:arg_n_1 (Results 1 – 1 of 1) sorted by relevance
1661 Formula* arg_n_1 = args.pop(); in parseAsBuiltinFormulaSymbol() local1662 Formula* res = new BinaryFormula(con, arg_n_1, arg_n); in parseAsBuiltinFormulaSymbol()