Function elements of values that are not in tree tree

elements of values not in tree tree

Format:

elements of values that are not in tree tree

Input:

Output:

Properties that reference this function:

Conditional properties that reference this function:

• if the following are true:

  • ((length of stack tree) - 1) - index = back_i
  • the element at index back_i of stack tree = node (value, cs)
  • elements of numbers that are not in tree tree = new_elements
  • result of storing (node (value, new_elements)) at index back_i of stack tree = updated

  then result of adding numbers to tree tree as children of the node at backwards index index = result of pushing values new_elements to tree updated

  (link)

• if the following are true:

  • children of the node top in graph graph = children
  • elements of children that are not in tree tree = new_elements
  • nodes with values new_elements and parent top = final_elems
  • result of dumping final_elems to rest = new_stack

  then output of the build_dft_tree function where input graph is graph, tree is tree, and neighbor stack is [ node (top, parent), rest ] = output of the build_dft_tree function where input graph is graph, tree is [ node (top, parent), tree ], and neighbor stack is new_stack

  (link)

Comments

Please log in to add comments