public virtual void stateChanged(aima.core.search.csp.CSP csp) { ++this.DomainCount; }
public virtual void stateChanged(Assignment assignment, aima.core.search.csp.CSP csp) { ++this.AssignmentCount; }