Searched defs:argLst (Results 1 – 7 of 7) sorted by relevance
78 TermList *argLst = &args.top() - (orig->arity() - 1); in transform() local128 TermList* argLst = &args.top() - (term->arity() - 1); in transform() local269 TermList* argLst = 0; in transform() local307 TermList* argLst=&args.top() - (term->arity() - 1); in transform() local
126 TermList* argLst=&args.top() - (orig->arity()-1); in replace() local166 TermList* argLst=&args.top() - (trm0->arity()-1); in replace() local
358 TermList* argLst=&args->top() - (orig->arity()-1); in applyImpl() local422 TermList* argLst=&args->top() - (trm->arity()-1); in applyImpl() local
638 TermList* argLst=&args.top() - (orig->arity()-1); in apply() local
594 TermList* argLst=&args.top() - (orig->arity()-1); in applyDefinitions() local679 TermList* argLst=&args.top() - (lit->arity()-1); in applyDefinitions() local
1609 FormulaList* argLst = nullptr; in parseAsBuiltinFormulaSymbol() local1720 FormulaList* argLst = nullptr; in parseAsBuiltinFormulaSymbol() local
993 FormulaList* argLst = 0; in tryReadConnective() local