@Override
	public final String toString() {
		StringBuffer toReturn = new StringBuffer();

		switch (this.type) {
			case DEFAULT_VALUATION: break;
			case PRECOND_VALUATION:
				if (this.variable != null) { toReturn.append(this.variable).append(" = "); }
				toReturn.append("<").append(this.identifier);
				toReturn.append(">");
				break;
			case POSTCOND_VALUATION:
				toReturn.append("<").append(this.identifier);
				if (this.variable != null) {
					toReturn.append(", ").append(this.variable);
					switch (this.modifier) {
						case NO_OPERATOR: break;
						case INCREMENT: toReturn.append("++"); break;
						case DECREMENT: toReturn.append("--"); break;
						default: break;
					}
				}
				toReturn.append(">");
				break;
			default: break;
		}
		return toReturn.toString();
	}