@Override public ImmutableSet<Variable> getVariables() { return ImmutableSet.copyOf(super.getVariables()); }
@Override public boolean isDataFunction() { return (!(isOperation() || isAlgebraFunction() || isDataTypeFunction())); }
/** * Cached toString() */ @Override public String toString() { if (string == null) { string = super.toString(); } return string; }
/** * Check whether the function contains a particular term argument or not. * * @param t the term in question. * @return true if the function contains the term, or false otherwise. */ @Override public boolean containsTerm(Term t) { List<Term> terms = getTerms(); for (int i = 0; i < terms.size(); i++) { Term t2 = terms.get(i); if (t2.equals(t)) return true; } return false; }
@Override public void setPredicate(Predicate predicate) { super.setPredicate(predicate); listChanged(); }
/** * Check whether the function contains a particular term argument or not. * * @param t the term in question. * @return true if the function contains the term, or false otherwise. */ @Override public boolean containsTerm(Term t) { List<Term> terms = getTerms(); for (int i = 0; i < terms.size(); i++) { Term t2 = terms.get(i); if (t2.equals(t)) return true; } return false; }
@Override public void setPredicate(Predicate predicate) { super.setPredicate(predicate); listChanged(); }
@Override public boolean isDataFunction() { return (!(isOperation() || isAlgebraFunction() || isDataTypeFunction())); }
@Override public Set<Variable> getVariables() { Set<Variable> variables = new HashSet<>(); for (Term t : getTerms()) { TermUtils.addReferencedVariablesTo(variables, t); } return variables; }
@Override public String toString() { if (string == null) { string = super.toString(); } return string; }
@Override public Stream<Variable> getVariableStream() { return super.getVariables().stream(); }
@Override public Set<Variable> getVariables() { Set<Variable> variables = new HashSet<>(); for (Term t : getTerms()) { TermUtils.addReferencedVariablesTo(variables, t); } return variables; }
@Override public String toString() { if (string == null) { string = super.toString(); } return string; }
@Override public String toString() { StringBuilder sb = new StringBuilder(); sb.append(functor.toString()); sb.append("("); boolean separator = false; for (Term innerTerm : getTerms()) { if (separator) { sb.append(","); } sb.append(innerTerm.toString()); separator = true; } sb.append(")"); return sb.toString(); }
@Override public String toString() { StringBuilder sb = new StringBuilder(); sb.append(functor.toString()); sb.append("("); boolean separator = false; for (Term innerTerm : getTerms()) { if (separator) { sb.append(","); } sb.append(innerTerm.toString()); separator = true; } sb.append(")"); return sb.toString(); }