public override String ToString()
{
bool comma = false;
StringBuffer result = new StringBuffer("{");
foreach (Variable var in variables)
{
if (comma)
result.append(", ");
result.append(var + "=" + variableToValue.get(var));
comma = true;
}
result.append("}");
return result.ToString();
}
}