7. Restore a Configuration State

A common use case is loading a saved, valid Configuration State. ‘Valid’ means that the Configuration Model-Satisfaction State is TRUE.

Problems can occur if the Configuration Model has been changed in the meantime. Changes to the Configuration Model that can lead to an invalid Configuration State after restoring are described in subsection 7.2.