public DomainRestoreInfo() { savedDomains = new List<Pair<Variable, Domain>>(); affectedVariables = new HashSet<Variable>(); }