Method subsToString

src/main/java/org/jpl7/Util.java:62–74

Converts a substitution, in the form of a Map from variable names to Terms, to a String. @param varnames_to_Terms A Map from variable names to Terms. @return String A String representation of the variable bindings

(Map<String, Term> varnames_to_Terms)

	 * @return String A String representation of the variable bindings
	 */
	public static String subsToString(Map<String, Term> varnames_to_Terms) {
		if (varnames_to_Terms == null) {
			return "[no solution]";
		} else {
			Iterator<String> varnames = varnames_to_Terms.keySet().iterator();
			String s = "Bindings: ";
			while (varnames.hasNext()) {
				String varname = varnames.next();
				s += varname + "=" + varnames_to_Terms.get(varname).toString() + "; ";
			}
			return s;
		}
	}

	/**
	 * Converts a substitution, in the form of a Map from variable names to Terms, to a String.