Function length of elements is even

length of elements is even

Format:

length of elements is even

Input:

Output:

Conditional properties that reference this function:

• if (length of stack xs) % 2 = 0, then length of xs is even

  (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)

Comments

Please log in to add comments