Verschieben eines Elements

Operatorname: cOpFibMoveRandomElement

Status: nicht Implementiert

Einzelne Elemente (außer Punkte) können in der Hierarchie der Fib-Elemente des Objekts nach oben oder unten verschoben werden.

Dabei muss beachtet werden, dass die Fib-Objekte nicht fehlerhaft werden, d.h. beispielsweise:

• es darf kein Fib-Element nach unten über ein Fib-Element verschoben werden, das die Variable enthält, die das verschobene Fib-Element definiert
• es darf kein Fib-Element nach oben über ein Fib-Element verschoben werden, das eine Variable enthält, die das verschobene Fib-Element benötigt
• wenn ein Listenelement nach unten verschoben wird, werden die Fib-Elemente, die es enthält, abwechselnd in das Fib-Element über es verschoben (die Variablenmenge, die durch Elemente unter Listenelement realisiert werden, sind disjunkt)
• wenn ein Listenelement nach oben verschoben wird, werden Fib-Elemente, über die es wandert, in die Unterobjekte, die es enthält, verschoben, in denen die Variable, die diese Fib-Elemente definieren, verwendet wird (oder auch einfacher möglich: das Fib-Element wird in alle Listen-Unterobjekte verschoben)
• wenn ein Fib-Element, das eine Variable definiert, nach unten über ein Listenelement verschoben wird, muss es in die Objekte kopiert werden, die das Listenelement enthält und die Variablen verwenden, die dieses Fib-Element definiert