Function stack x contains value

Does stack x value value

Format:

stack x contains value

Input:

Output:

Properties that reference this function:

Conditional properties that reference this function:

• if the following are true:
  • Value Stack at time t = [ [ a, [ Python reference idx, [ ] ] ], [ next_level, other_levels ] ]
  • Expression Stack at time t = [ [ ], [ [ function call with name: "__contains__" and arguments: args, ys ], rest ] ]
  • the element at index idx of stack (Python Object Store at time t) = Python list entries

  then Value Stack at time (t + 1) = [ [ stack entries contains a, next_level ], other_levels ]

  (link)
• if the following are true:
  • expression state at time t = "call_function_begin"
  • Value Stack at time t = [ [ a, [ Python reference idx, [ ] ] ], stack ]
  • the expression at time t = function call with name: "__contains__" and arguments: args
  • the element at index idx of stack (Python Object Store at time t) = Python list entries

  then Return Value at time (t + 1) = stack entries contains a

  (link)
• if x = value, then stack [ x, y ] contains value = True (link)
• if not (x = value), then stack [ x, y ] contains value = stack y contains value (link)

Comments

Please log in to add comments