The solver's inspectable state changed (e.g. a directive altered flags/knowledge base) and should be re-read by whatever displays it.