public void setDomain(Variable var, Domain domain) { domains.set(indexOf(var), domain); }
public void restoreDomains(CSP csp) { foreach (Pair <Variable, Domain> pair in getSavedDomains()) { csp.setDomain(pair.getFirst(), pair.getSecond()); } }