/** {@inheritDoc} */ public String toString(VariableAndFunctorInterner interner, boolean printVarName, boolean printBindings) { String result = ""; if (body != null) { for (int i = 0; i < body.length; i++) { result += body[i].toString(interner, printVarName, printBindings) + ((i < (body.length - 1)) ? "\n" : ""); } } return result; }
/** {@inheritDoc} */ public String toString(VariableAndFunctorInterner interner, boolean printVarName, boolean printBindings) { String result = ""; if (body != null) { for (int i = 0; i < body.length; i++) { result += body[i].toString(interner, printVarName, printBindings) + ((i < (body.length - 1)) ? "\n" : ""); } } return result; }
/** {@inheritDoc} */ public String toString() { String bodyString = "["; if (body != null) { for (int i = 0; i < body.length; i++) { bodyString += body[i].toString() + ((i < (body.length - 1)) ? ", " : ""); } } bodyString += "]"; return "Clause: [ body = " + bodyString + " ]"; } }
/** {@inheritDoc} */ public String toString() { String bodyString = "["; if (body != null) { for (int i = 0; i < body.length; i++) { bodyString += body[i].toString() + ((i < (body.length - 1)) ? ", " : ""); } } bodyString += "]"; return "Clause: [ body = " + bodyString + " ]"; } }