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