Next:
Validierung
Up:
SAT : Erfüllbarkeit für
Previous:
Instanz der Klasse Problem
Contents
Implementierungsdetail
Bei Validierung und Verifiezierung werden verschiede Tests abgearbeitet. Weitere Hilfsfunktionen führen die einzelnen Tests durch.
Johannes Waldmann 2009-11-17