/** * Prints a variable binding in the form 'Var = value'. * * @param var The variable to print. * * @return The variable binding in the form 'Var = value'. */ public String printVariableBinding(Term var) { return var.toString(getInterner(), true, false) + " = " + var.getValue().toString(getInterner(), false, true); }
/** {@inheritDoc} */ public String toString(VariableAndFunctorInterner interner, boolean printVarName, boolean printBindings) { if (name < 0) { return "internal_built_in"; } String result = interner.getFunctorName(name); if (arity > 0) { result += "("; for (int i = 0; i < arity; i++) { Term nextArg = arguments[i]; result += nextArg.toString(interner, printVarName, printBindings) + ((i < (arity - 1)) ? ", " : ""); } result += ")"; } return result; }
/** {@inheritDoc} */ public String toString(VariableAndFunctorInterner interner, boolean printVarName, boolean printBindings) { if (name < 0) { return "internal_built_in"; } String result = interner.getFunctorName(name); if (arity > 0) { result += "("; for (int i = 0; i < arity; i++) { Term nextArg = arguments[i]; result += nextArg.toString(interner, printVarName, printBindings) + ((i < (arity - 1)) ? ", " : ""); } result += ")"; } return result; }
/** {@inheritDoc} */ public String toString(VariableAndFunctorInterner interner, boolean printVarName, boolean printBindings) { Term value = null; String textName; if (isAnonymous()) { textName = "_" + id; } else { textName = interner.getVariableName(name); } if (printBindings) { value = getValue(); } if (!printBindings || (value == this)) { return textName; } else if (printVarName) { return textName + "/" + value.toString(interner, printVarName, printBindings); } else { return value.toString(interner, printVarName, printBindings); } }
/** {@inheritDoc} */ public String toString(VariableAndFunctorInterner interner, boolean printVarName, boolean printBindings) { Term value = null; String textName; if (isAnonymous()) { textName = "_" + id; } else { textName = interner.getVariableName(name); } if (printBindings) { value = getValue(); } if (!printBindings || (value == this)) { return textName; } else if (printVarName) { return textName + "/" + value.toString(interner, printVarName, printBindings); } else { return value.toString(interner, printVarName, printBindings); } }
result += arguments[0].toString(interner, printVarName, printBindings);
result += arguments[0].toString(interner, printVarName, printBindings);
System.out.print(varName + " = " + nextVar.getValue().toString(engine, true, false));
/** * Prints a variable binding in the form 'Var = value'. * * @param var The variable to print. * * @return The variable binding in the form 'Var = value'. */ public String printVariableBinding(Variable var) { return var.toString(getInterner(), true, false) + " = " + var.getValue().toString(getInterner(), false, true); }