@Override public Function getFunction(Predicate functor, List<Term> arguments) { if (functor instanceof OperationPredicate) { return getExpression((OperationPredicate) functor, arguments); } // Default constructor return new FunctionalTermImpl(functor, arguments); }
@Override public Function getFunction(Predicate functor, Term... arguments) { if (functor instanceof OperationPredicate) { return getExpression((OperationPredicate)functor, arguments); } // Default constructor return new FunctionalTermImpl(functor, arguments); }
@Override public Function clone() { ArrayList<Term> copyTerms = new ArrayList<Term>(terms.size()); for (Term term: terms) { copyTerms.add(term.clone()); } FunctionalTermImpl clone = new FunctionalTermImpl(getFunctionSymbol(), copyTerms); clone.identifier = identifier; clone.string = string; clone.rehash = rehash; return clone; }
@Override public Function getFunction(Predicate functor, List<Term> arguments) { if (isTestModeEnabled) { checkMutability(arguments); } if (functor instanceof OperationPredicate) { return getExpression((OperationPredicate) functor, arguments); } // Default constructor return new FunctionalTermImpl(functor, arguments); }
@Override public Function clone() { ArrayList<Term> copyTerms = new ArrayList<Term>(terms.size()); for (Term term: terms) { copyTerms.add(term.clone()); } FunctionalTermImpl clone = new FunctionalTermImpl(getFunctionSymbol(), copyTerms); clone.identifier = identifier; clone.string = string; clone.rehash = rehash; return clone; }