How to use

getArgumentArray

method

in

openllet.aterm.ATermAppl

  return matchArguments(appl.getArgumentArray(), list);
return false;
    return matchArguments(appl.getArgumentArray(), list);
        return matchArguments(appl.getArgumentArray(), list);
          return matchArguments(appl.getArgumentArray(), list);
            return matchArguments(appl.getArgumentArray(), list);

for (final ATerm term : c.getArgumentArray())
  terms = retrieve((ATermAppl) term, terms);

for (final ATerm term : c.getArgumentArray())
  terms = retrieve((ATermAppl) term, terms);