Function move disk towers is even

move disk towers is even

Format:

move disk towers is even

Input:

list towers -
number src -
list src_t -
number dst -
list dst_t -

Output:

list - None

Properties that reference this function:

move disk towers is even = result of storing [ x, dst_tower ] at index dst of stack (result of storing rest at index src of stack towers) (Move Hanoi Disk)

Conditional properties that reference this function:

  • if the following are true:

    • the element at index src of stack towers = [ 1, rest ]
    • the element at index dst of stack towers = dst_tower

    then towers of hanoi top towers = move disk towers is even

    (link)

  • if the following are true:

    • the element at index src of stack towers = [ x, rest ]
    • the element at index dst of stack towers = dst_tower
    • x > 1

    then towers of hanoi top towers = towers of hanoi (move disk towers is even)

    (link)


Comments

Please log in to add comments