Hyperkantenkonsistenz und Konflikte

durch Hyperkanten-Inferenz kann man Konflikte feststellen:

Bsp. (x₁ + x₂ < x₃) mit D₁ = {1, 2}, D₂ = {1, 2}, D₃ = {0, 1}

Arc_Consistency_Deduction 
   { atom = x1 +x2 < x3 
   , variable = x3, restrict_to = [  ] 
   }

es wird ein failed-state erreicht ( dom(x₃) = ∅)

danach ist Backtrack möglich.

(das ist die einzige Möglichkeit der Konflikt-Feststellung in autotool-Aufgabe)