public override String ToString()
{
StringBuffer result = new StringBuffer();
foreach (Pair<Variable, Domain> pair in savedDomains)
result.append(pair.getFirst() + "=" + pair.getSecond() + " ");
if (emptyDomainObserved)
result.append("!");
return result.ToString();
}
}