Design: API Constraints
Fig. 1: Class Diagram API Constraints
Trennung von Solver- und Refacola-Constraints
Constraints sind sortierbar (comparable) (Vgl. Alg. 1: Set!)
Verweis auf Properties:
kein Umweg über int- oder String-Maps erleichtert Les- und Wartbarkeit
später evtl.: Generics, um Typsicherheit zu gewährleisten