Function stack after popping a value from stack x at index i

pop a value from stack x at index i

Format:

stack after popping a value from stack x at index i

Input:

list x -
number i -

Output:

list - None

Properties that reference this function:

stack after popping a value from stack xs at index idx = reverse of (stack after popping a value from stack xs at index idx in traversed elements: [ ]) (Pop At List)

Conditional properties that reference this function:

  • if the following are true:

    • Value Stack at time t = [ [ a, [ ] ], [ next_level, other_levels ] ]
    • Expression Stack at time t = [ [ ], [ [ name."pop"(args), ys ], rest ] ]
    • value at name in map (Variables Map at time t) = Python reference idx
    • the element at index idx of stack (Python Object Store at time t) = Python list entries

    then Python Object Store at time (t + 1) = result of storing (Python list (stack after popping a value from stack entries at index a)) at index idx of stack (Python Object Store at time t)

    (link)

  • if the following are true:

    • expression state at time t = "call_function_begin"
    • Value Stack at time t = [ [ a, [ ] ], stack ]
    • the expression at time t = name."pop"(args)
    • value at obj in map (Variables Map at time t) = Python reference idx
    • the element at index idx of stack (Python Object Store at time t) = Python list entries

    then Python Object Store at time (t + 1) = result of storing (Python list (stack after popping a value from stack entries at index a)) at index idx of stack (Python Object Store at time t)

    (link)


Comments

Please log in to add comments