/** {@inheritDoc} */ public String getVariableName(Variable variable) { return interner.getVariableName(variable); }
/** {@inheritDoc} */ public String getVariableName(Variable variable) { return interner.getVariableName(variable); }
/** {@inheritDoc} */ public String getVariableName(int name) { return interner.getVariableName(name); }
/** {@inheritDoc} */ public String getVariableName(int name) { return interner.getVariableName(name); }
public Map<String, Variable> apply(Set<Variable> variables) { Map<String, Variable> results = new HashMap<String, Variable>(); for (Variable var : variables) { String varName = getInterner().getVariableName(var.getName()); results.put(varName, var); } return results; } });
public Map<String, Variable> apply(Set<Variable> variables) { Map<String, Variable> results = new HashMap<String, Variable>(); for (Variable var : variables) { String varName = getInterner().getVariableName(var.getName()); results.put(varName, var); } return results; } });
/** {@inheritDoc} */ protected void enterVariable(Variable variable) { String showContextAs = interner.getVariableName(variable); int delta = showContextAs.length(); addLineToRow(indent + showContextAs); nextRow(); indent = indenter.generateTraceIndent(delta); } }
/** {@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); } }