@Override public ATermAppl makeAppl(final AFun fun, final ATerm arg1, final ATerm arg2, final ATerm arg3, final ATerm arg4, final ATerm arg5) { final ATerm[] argarray5 = new ATerm[] { arg1, arg2, arg3, arg4, arg5 }; return makeAppl(fun, argarray5); }
public ATermAppl makeAppl(final AFun fun, final ATerm arg1, final ATerm arg2, final ATerm arg3, final ATerm arg4, final ATerm arg5, final ATerm arg6, final ATerm arg7) { final ATerm[] args = { arg1, arg2, arg3, arg4, arg5, arg6, arg7 }; return makeAppl(fun, args); }
@Override public ATermAppl makeAppl(final AFun fun) { return makeAppl(fun, array0); }
@Override public ATermAppl makeAppl(final AFun fun, final ATerm arg1, final ATerm arg2, final ATerm arg3, final ATerm arg4) { final ATerm[] argarray4 = new ATerm[] { arg1, arg2, arg3, arg4 }; return makeAppl(fun, argarray4); }
@Override public ATermAppl makeAppl(final AFun fun, final ATerm arg1, final ATerm arg2, final ATerm arg3, final ATerm arg4, final ATerm arg5, final ATerm arg6) { final ATerm[] args = { arg1, arg2, arg3, arg4, arg5, arg6 }; return makeAppl(fun, args); }
@Override public ATermAppl makeAppl(final AFun fun, final ATerm arg) { final ATerm[] argarray1 = new ATerm[] { arg }; return makeAppl(fun, argarray1); }
@Override public ATermAppl makeAppl(final AFun fun, final ATerm arg1, final ATerm arg2) { final ATerm[] argarray2 = new ATerm[] { arg1, arg2 }; return makeAppl(fun, argarray2); }
@Override public ATermAppl makeAppl(final AFun fun, final ATerm arg1, final ATerm arg2, final ATerm arg3) { final ATerm[] argarray3 = new ATerm[] { arg1, arg2, arg3 }; return makeAppl(fun, argarray3); }
@Override public ATermAppl makeApplList(final AFun fun, final ATermList list) { final ATerm[] arg_array = new ATerm[list.getLength()]; int i = 0; for (final ATerm term : list) arg_array[i++] = term; return makeAppl(fun, arg_array); }
protected ATermAppl make(final AFun fun, final ATerm[] i_args) { return getPureFactory().makeAppl(fun, i_args); }
@Override public ATerm make(final List<Object> arguments) { final ATerm[] newargs = new ATerm[_args.length]; for (int i = 0; i < _args.length; i++) newargs[i] = _args[i].make(arguments); return getPureFactory().makeAppl(_fun, newargs); }
if (_tempArity == 0) final ATerm term = _factory.makeAppl(fun); _sharedTerms[ac.termIndex] = term; linkTerm(term);
constructedTerm = _factory.makeAppl(fun, subTerms);
final ATerm term = _factory.makeAppl(fun); _sharedTerms[ac.termIndex] = term; linkTerm(term);
throw new ParseError("premature EOF encountered."); if (reader.getLastChar() == ')') result = makeAppl(makeAFun(funname, 0, true)); else result = makeAppl(makeAFun(funname, list.length, true), list); result = makeAppl(makeAFun(funname, 0, true)); throw new ParseError("premature EOF encountered."); if (reader.getLastChar() == ')') result = makeAppl(makeAFun("", 0, false)); else result = makeAppl(makeAFun("", list.length, false), list); throw new ParseError("premature EOF encountered."); if (reader.getLastChar() == ')') result = makeAppl(makeAFun(funname, 0, false)); else result = makeAppl(makeAFun(funname, list.length, false), list); result = makeAppl(makeAFun(funname, 0, false));
return _factory.makeAppl(e.fun, args);
newArguments[i] = importTerm(appl.getArgument(i)); result = makeAppl(fun, newArguments); break; case ATerm.LIST: