E.6.4 Klasse HyperArc

Hilfsklasse zur Beschreibung einer beliebigstelligen ,,Kante`` für Algorithmen zur Herstellung von (Hyper-)Kantenkonsistenz. Eine Kante zwischen n Knoten entspricht einem n-stelligen Constraint, welches n Constraint-Variablen beschränkt.

Deklaration:

• public class HyperArc

Konstruktoren:

• public HyperArc(List nodes, Expression expr)

  Benötigt eine Liste mit den Knoten der Kante (enthält Instanzen der Klasse String) sowie den Constraint-Ausdruck, der diese Kante beinhaltet.

Methoden:

• public List getNodes()

  Liefert eine ,,unmodifizierbare`` Liste mit den Knoten der Kante (enthält Instanzen der Klasse String).

• public Domain getDomain(String node)

  Liefert die jeweilige Domäne zum übergebenen Knoten.

• public Expression expression()

  Liefert den Constraint-Ausdruck, zu dem diese Kante gehört.

• public String toString()

  Liefert die Kante als String (für Debugging).