protected void fireStateChanged(Assignment assignment, CSP csp) { foreach (CSPStateListener listener in listeners) { listener.stateChanged(assignment.copy(), csp.copyDomains()); } }
protected void fireStateChanged(CSP csp) { foreach (CSPStateListener listener in listeners) { listener.stateChanged(csp.copyDomains()); } }
protected void fireStateChanged(Assignment assignment, CSP csp) { foreach (CSPStateListener listener in listeners) listener.stateChanged(assignment.copy(), csp.copyDomains()); }
protected void fireStateChanged(CSP csp) { foreach (CSPStateListener listener in listeners) listener.stateChanged(csp.copyDomains()); }