Package de.uka.ipd.sdq.tcfmoop.config

Contains Interface and implementation for the configuration classes that are used to configure the termination criteria.
The configuration classes may be created with information obtained from a (G)UI and must be then passed in a valid form to the Termination Criteria Manager.