Function find other one

find otherone

Format:

find other one

Input:

number one -
number two -

Output:

number - 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)
move disk towers = move disk (move one (move disk towers)) (Tower of Hanoi 2 Solve)

Conditional properties that reference this function:

  • if the following are true:

    • not (one = x)
    • not (two = x)

    then find other one = x

    (link)

  • if the following are true:

    • the element at index src of stack towers = src_tower
    • get subtowersrc_tower = sub_tower
    • length of sub_tower is even

    then towers of hanoi towers = towers of hanoi top disks towers

    (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