Function towers of hanoi top towers

towers of hanoi top towers.

Format:

towers of hanoi top towers

Input:

list towers -
number src -
number dst -

Output:

list - None

Properties that reference this function:

towers of hanoi top disks towers = towers of hanoi top disks (towers of hanoi top towers) (Towers of Hanoi Top Disks)

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