Function tree tree contains value

tree contains tree

Format:

tree tree contains value

Input:

Output:

Properties that reference this function:

Conditional properties that reference this function:

• if elem = value, then tree [ node (elem, cs), rest ] contains value = True (link)
• if not (elem = value), then tree [ node (elem, cs), rest ] contains value = tree rest contains value (link)
• if elem = value, then tree [ node (elem, d, p), rest ] contains value = True (link)
• if not (elem = value), then tree [ node (elem, d, p), rest ] contains value = tree rest contains value (link)
• if tree tree contains value = False, then output of the not_in_tree function where the input tree is tree, the values are [ value, rest ], and the new values are result = output of the not_in_tree function where the input tree is tree, the values are rest, and the new values are [ value, result ] (link)
• if tree tree contains value = True, then output of the not_in_tree function where the input tree is tree, the values are [ value, rest ], and the new values are result = output of the not_in_tree function where the input tree is tree, the values are rest, and the new values are result (link)
• if tree tree contains value = False, then output of the separate_nodes function where the input tree is tree, the nodes are [ pair (value, weight), rest ], the existing group is exist, and the new group is new = output of the separate_nodes function where the input tree is tree, the nodes are rest, the existing group is exist, and the new group is [ pair (value, weight), new ] (link)

Comments

Please log in to add comments