Next:
Verifizierung
Up:
SAT : Erfüllbarkeit für
Previous:
Implementierungsdetail
Contents
Validierung
Beim Valiediren wird überpruft, ob alle Variablen wirklich belegt werden.
Johannes Waldmann 2009-11-17
