Im Anschluss an diesen ersten Auswertungsvorgang werden einige zusätzliche Constraints zu den vorhandenen Constraint-Netzen inkrementell hinzugefügt (Zeile 479-483):
this.ycm.addConstraint("z > 2;", "low_consistency"); this.ycm.addConstraint("NSW != V;", "medium_consistency"); this.ycm.addConstraint("W > 1;", "search"); this.ycm.addConstraint("W > 1;", "search_with_look-ahead"); this.ycm.addConstraint("v1 = [5,5];", "interval_consistency");
Außerdem werden an dieser Stelle einige Wertebereiche manuell modifiziert (Zeile 495, 497, 499):
this.ycm.setVariableDomain("V", new SymbolicFDDomain("blau")); this.ycm.setVariableDomain("W", new NumericFDDomain(2)); this.ycm.setVariableDomain("Z", new NumericFDDomain(1, 3));
Nachdem die bestehenden Constraint-Netze innerhalb des YACS-Frameworks derart modifiziert wurden, erfolgt abschließend wiederum der Methodenaufruf zur Constraint-Auswertung (Zeile 509):
this.ycm.evaluate();