Index: /Code/ModelTranslator/resources/ToDo.txt
===================================================================
--- /Code/ModelTranslator/resources/ToDo.txt	(revision 380)
+++ /Code/ModelTranslator/resources/ToDo.txt	(revision 381)
@@ -1,4 +1,4 @@
 Parsen von RSF-Dateien
-* String, Integer, Hex fixen
+* (done) String, Integer, Hex fixen
  - (done) STR und STR_EMPTY zusammenlegen (STR_EMPTY streichen)
  - (done) Vermeiden von STR!=value (umwandeln in Not(STR=value))
@@ -8,5 +8,7 @@
  - in IVML: Umwandeln in Enumerationen
  
-* A depends B: Beruecksichtigen von Modulenen (wenn B_Modul, dann auch A_Modul)
+* (done) A depends B: Beruecksichtigen von Modulenen (wenn B_Modul, dann auch A_Modul)
+ - Was tun, wenn B Tristate aber A nicht?
+ - Was tun, wenn B mehrere Tristates enthählt?
 
 * Variablen sind nur Konfigigurierbar wenn Sie einen Prompt haben
@@ -14,2 +16,5 @@
  - Default Values ohne Prompt müssen gesetzt werden (Constraint erstellen)
  - Kein Default und kein Prompt -> Fehlermeldung anzeigen
+
+* IVML
+ - toNotBooleanConstraintSyntaxTree() in Constraints implementieren