@Override public String prettyPrint() { return "the substring of " + stringFunctionAtom.prettyPrint() + " startihg from the position " + start.prettyPrint() + " and for " + length.prettyPrint() + " characters."; }
@Override public String prettyPrint() { return "property string with namespace <" + namespaceArg.prettyPrint() + "> and label " + labelArg.prettyPrint(); }
@Override public String prettyPrint() { return stringFunctionAtom1.prettyPrint() + "=" + stringFunctionAtom2.prettyPrint(); } }
@Override public String prettyPrint() { return toUnquotedString(); }
@Override public String toString() { return "?" + getVariableName(); }
@Override public String prettyPrint() { return numericFunctionAtom1.prettyPrint() + "/" + numericFunctionAtom2.prettyPrint(); }
@Override public String prettyPrint() { return "not (" + comparisonAtom.prettyPrint() + ")"; }
@Override public String prettyPrint() { return "the substring of " + stringFunctionAtom.prettyPrint() + " startihg from the position " + start.prettyPrint() + " and for " + length.prettyPrint() + " characters."; }
@Override public String prettyPrint() { return stringFunctionAtom1.prettyPrint() + "=" + stringFunctionAtom2.prettyPrint(); } }
@Override public String prettyPrint() { return "property string with namespace <" + namespaceArg.prettyPrint() + "> and label " + labelArg.prettyPrint(); }
@Override public String prettyPrint() { return numericFunctionAtom1.prettyPrint() + "*" + numericFunctionAtom2.prettyPrint(); }
@Override public String prettyPrint() { return argument1.prettyPrint() + ">" + argument2.prettyPrint(); }
@Override public String prettyPrint() { return "the lower-case representation of \"" + stringFunctionAtom.prettyPrint() + "\""; }
@Override public String prettyPrint() { return numericFunctionAtom1.prettyPrint() + "*" + numericFunctionAtom2.prettyPrint(); }
@Override public String prettyPrint() { return argument1.prettyPrint() + "<=" + argument2.prettyPrint(); }
@Override public String prettyPrint() { return argument.prettyPrint() + " ends with " + term.prettyPrint(); }
@Override public String prettyPrint() { return argument1.prettyPrint() + "<" + argument2.prettyPrint(); }
@Override public String toString() { return "concat(" + argument1.prettyPrint() + ", " + argument2.prettyPrint() + ")"; }
@Override public String prettyPrint() { return stringFunctionAtom1.prettyPrint() + " is different from " + stringFunctionAtom2.prettyPrint(); }
@Override public String prettyPrint() { return stringFunctionAtom1.prettyPrint() + " is different from " + stringFunctionAtom2.prettyPrint(); }