@Override public OperationPredicate getFunctionSymbol() { return (OperationPredicate) super.getFunctionSymbol(); }
@Override public boolean isOperation() { return getFunctionSymbol() instanceof OperationPredicate; }
@Override public boolean isAlgebraFunction() { return getFunctionSymbol() instanceof AlgebraOperatorPredicate; }
@Override public OperationPredicate getFunctionSymbol() { return (OperationPredicate) super.getFunctionSymbol(); }
@Override public boolean isDataTypeFunction() { return getFunctionSymbol() instanceof DatatypePredicate; }
@Override public boolean isAlgebraFunction() { return getFunctionSymbol() instanceof AlgebraOperatorPredicate; }
@Override public boolean isOperation() { return getFunctionSymbol() instanceof OperationPredicate; }
@Override public boolean isDataTypeFunction() { return getFunctionSymbol() instanceof DatatypePredicate; }
@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 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; }