Proofs

A proof is a series of claims that lead to a conclusion. Some proofs are conditional, which means that the claims can only be made under certain conditions. Click on a statement to see the proof

Write Stmt Class Defs At Unchanged 0

if the following are true:

the line at time 0 = 1
the tab at time 0 = 0
statement at line 1, tab 0 = if __eq__(3, 3):
Class Map at time 0 = [ ]

then Class Map at time 1 = [ ]

Do Object Store At Unchanged 1

if the following are true:

expression state at time 1 = "begin_expr"
Python Object Store at time 1 = [ ]

then Python Object Store at time 2 = [ ]

Do in Block At Unchanged 1

if the following are true:

expression state at time 1 = "begin_expr"
Control Map at time 1 = [ ]

then Control Map at time 2 = [ ]

Do Class Defs At Unchanged 1

if the following are true:

expression state at time 1 = "begin_expr"
Class Map at time 1 = [ ]

then Class Map at time 2 = [ ]

Do Object Store At Unchanged 2

if the following are true:

expression state at time 2 = "iterate_args"
Python Object Store at time 2 = [ ]

then Python Object Store at time 3 = [ ]

Do in Block At Unchanged 2

if the following are true:

expression state at time 2 = "iterate_args"
Control Map at time 2 = [ ]

then Control Map at time 3 = [ ]

Do Class Defs At Unchanged 2

if the following are true:

expression state at time 2 = "iterate_args"
Class Map at time 2 = [ ]

then Class Map at time 3 = [ ]

Do Object Store At Unchanged 3

if the following are true:

expression state at time 3 = "begin_expr"
Python Object Store at time 3 = [ ]

then Python Object Store at time 4 = [ ]

Do in Block At Unchanged 3

if the following are true:

expression state at time 3 = "begin_expr"
Control Map at time 3 = [ ]

then Control Map at time 4 = [ ]

Do Class Defs At Unchanged 3

if the following are true:

expression state at time 3 = "begin_expr"
Class Map at time 3 = [ ]

then Class Map at time 4 = [ ]

Do Arg Stack At Unchanged 4

if the following are true:

expression state at time 4 = "return"
arguments stack at time 4 = [ [ 3, [ ] ], [ ] ]

then arguments stack at time 5 = [ [ 3, [ ] ], [ ] ]

Do Class Defs At Unchanged 4

if the following are true:

expression state at time 4 = "return"
Class Map at time 4 = [ ]

then Class Map at time 5 = [ ]

Do Object Store At Unchanged 4

if the following are true:

expression state at time 4 = "return"
Python Object Store at time 4 = [ ]

then Python Object Store at time 5 = [ ]

Do in Block At Unchanged 4

if the following are true:

expression state at time 4 = "return"
Control Map at time 4 = [ ]

then Control Map at time 5 = [ ]

Do Object Store At Unchanged 5

if the following are true:

expression state at time 5 = "iterate_args"
Python Object Store at time 5 = [ ]

then Python Object Store at time 6 = [ ]

Do in Block At Unchanged 5

if the following are true:

expression state at time 5 = "iterate_args"
Control Map at time 5 = [ ]

then Control Map at time 6 = [ ]

Do Class Defs At Unchanged 5

if the following are true:

expression state at time 5 = "iterate_args"
Class Map at time 5 = [ ]

then Class Map at time 6 = [ ]

Do Object Store At Unchanged 6

if the following are true:

expression state at time 6 = "begin_expr"
Python Object Store at time 6 = [ ]

then Python Object Store at time 7 = [ ]

Do in Block At Unchanged 6

if the following are true:

expression state at time 6 = "begin_expr"
Control Map at time 6 = [ ]

then Control Map at time 7 = [ ]

Do Class Defs At Unchanged 6

if the following are true:

expression state at time 6 = "begin_expr"
Class Map at time 6 = [ ]

then Class Map at time 7 = [ ]

Do Arg Stack At Unchanged 7

if the following are true:

expression state at time 7 = "return"
arguments stack at time 7 = [ [ ], [ ] ]

then arguments stack at time 8 = [ [ ], [ ] ]

Do Class Defs At Unchanged 7

if the following are true:

expression state at time 7 = "return"
Class Map at time 7 = [ ]

then Class Map at time 8 = [ ]

Do Object Store At Unchanged 7

if the following are true:

expression state at time 7 = "return"
Python Object Store at time 7 = [ ]

then Python Object Store at time 8 = [ ]

Do in Block At Unchanged 7

if the following are true:

expression state at time 7 = "return"
Control Map at time 7 = [ ]

then Control Map at time 8 = [ ]

Do Object Store At Unchanged 8

if the following are true:

expression state at time 8 = "iterate_args"
Python Object Store at time 8 = [ ]

then Python Object Store at time 9 = [ ]

Do in Block At Unchanged 8

if the following are true:

expression state at time 8 = "iterate_args"
Control Map at time 8 = [ ]

then Control Map at time 9 = [ ]

Do Class Defs At Unchanged 8

if the following are true:

expression state at time 8 = "iterate_args"
Class Map at time 8 = [ ]

then Class Map at time 9 = [ ]

Do Object Store At Unchanged 9

if the following are true:

expression state at time 9 = "call_function_begin"
the expression at time 9 = __eq__(3, 3)
Python Object Store at time 9 = [ ]

then Python Object Store at time 10 = [ ]

Do Arg Stack At Unchanged 9

if the following are true:

expression state at time 9 = "call_function_begin"
arguments stack at time 9 = [ ]

then arguments stack at time 10 = [ ]

Do in Block At Unchanged 9

if the following are true:

expression state at time 9 = "call_function_begin"
Control Map at time 9 = [ ]

then Control Map at time 10 = [ ]

Do Class Defs At Unchanged 9

if the following are true:

expression state at time 9 = "call_function_begin"
Class Map at time 9 = [ ]

then Class Map at time 10 = [ ]

Write Test Call End in Block 10

if the following are true:

the line at time 10 = 1
the tab at time 10 = 0
statement at line 1, tab 0 = if __eq__(3, 3):
expression state at time 10 = "end_expr"
Return Value at time 10 = True
Control Map at time 10 = [ ]

then Control Map at time 11 = [ pair ("if", True), [ ] ]

Write Stmt Class Defs At Unchanged 10

if the following are true:

the line at time 10 = 1
the tab at time 10 = 0
statement at line 1, tab 0 = if __eq__(3, 3):
Class Map at time 10 = [ ]

then Class Map at time 11 = [ ]

Write Stmt Object Store At Unchanged Expr10

if the following are true:

the line at time 10 = 1
the tab at time 10 = 0
statement at line 1, tab 0 = if __eq__(3, 3):
expression state at time 10 = "end_expr"
Python Object Store at time 10 = [ ]

then Python Object Store at time 11 = [ ]

Do Set Key Value 11 0

result of storing 7 at key: a in map: [ ] = [ entry a: 7, [ ] ]

Write Assign Const Stack At 11

if the following are true:

the line at time 11 = 2
the tab at time 11 = 1
statement at line 2, tab 1 = a = 7
7 is constant
stack at time 11 = [ ]

then stack at time 12 = [ ]

Write Assign Const Object Store At 11

if the following are true:

the line at time 11 = 2
the tab at time 11 = 1
statement at line 2, tab 1 = a = 7
7 is constant
Python Object Store at time 11 = [ ]

then Python Object Store at time 12 = [ ]

Write Stmt in Block At Unchanged 11

if the following are true:

the line at time 11 = 2
the tab at time 11 = 1
statement at line 2, tab 1 = a = 7
Control Map at time 11 = [ pair ("if", True), [ ] ]

then Control Map at time 12 = [ pair ("if", True), [ ] ]

Write Stmt Class Defs At Unchanged 11

if the following are true:

the line at time 11 = 2
the tab at time 11 = 1
statement at line 2, tab 1 = a = 7
Class Map at time 11 = [ ]

then Class Map at time 12 = [ ]

Write Decrement Tab in Block 12

if the following are true:

the line at time 12 = 3
the tab at time 12 = 1
statement at line 3, tab 0 = else:
Control Map at time 12 = [ pair ("if", True), [ ] ]

then Control Map at time 13 = [ pair ("if", True), [ ] ]

Write Decrement Tab Expr State 12

if the following are true:

the line at time 12 = 3
the tab at time 12 = 1
statement at line 3, tab 0 = else:

then expression state at time 13 = "not_expr"

Write Decrement Tab Object Store At 12

if the following are true:

the line at time 12 = 3
the tab at time 12 = 1
statement at line 3, tab 0 = else:
Python Object Store at time 12 = [ ]
Control Map at time 12 = [ entry 0: (pair ("if", True)), [ ] ]

then Python Object Store at time 13 = [ ]

Write Decrement Tab Stack At 12

if the following are true:

the line at time 12 = 3
the tab at time 12 = 1
statement at line 3, tab 0 = else:
stack at time 12 = [ ]
Control Map at time 12 = [ entry 0: (pair ("if", True)), [ ] ]

then stack at time 13 = [ ]

Write Decrement Tab Variables At 12

if the following are true:

the line at time 12 = 3
the tab at time 12 = 1
statement at line 3, tab 0 = else:
Variables Map at time 12 = [ entry a: 7, [ ] ]
Control Map at time 12 = [ entry 0: (pair ("if", True)), [ ] ]

then Variables Map at time 13 = [ entry a: 7, [ ] ]

Write Decrement Tab Class Defs At 12

if the following are true:

the line at time 12 = 3
the tab at time 12 = 1
statement at line 3, tab 0 = else:
Class Map at time 12 = [ ]
Control Map at time 12 = [ entry 0: (pair ("if", True)), [ ] ]

then Class Map at time 13 = [ ]

Write Stmt Object Store At Unchanged 13

if the following are true:

the line at time 13 = 3
the tab at time 13 = 0
statement at line 3, tab 0 = else:
Python Object Store at time 13 = [ ]

then Python Object Store at time 14 = [ ]

Write Stmt in Block At Unchanged 13

if the following are true:

the line at time 13 = 3
the tab at time 13 = 0
statement at line 3, tab 0 = else:
Control Map at time 13 = [ pair ("if", True), [ ] ]

then Control Map at time 14 = [ pair ("if", True), [ ] ]

Write Stmt Class Defs At Unchanged 13

if the following are true:

the line at time 13 = 3
the tab at time 13 = 0
statement at line 3, tab 0 = else:
Class Map at time 13 = [ ]

then Class Map at time 14 = [ ]

Write Stmt Expr State At Unchanged 13

if the following are true:

the line at time 13 = 3
the tab at time 13 = 0
statement at line 3, tab 0 = else:
expression state at time 13 = "not_expr"

then expression state at time 14 = "not_expr"

Write Skip Line Variables At 14

if the following are true:

the line at time 14 = 4
the tab at time 14 = 0
statement at line 4, tab 1 = a = 9
Variables Map at time 14 = [ entry a: 7, [ ] ]

then Variables Map at time 15 = [ entry a: 7, [ ] ]

Write Skip Line Stack At 14

if the following are true:

the line at time 14 = 4
the tab at time 14 = 0
statement at line 4, tab 1 = a = 9
stack at time 14 = [ ]

then stack at time 15 = [ ]

Write Skip Line Object Store At 14

if the following are true:

the line at time 14 = 4
the tab at time 14 = 0
statement at line 4, tab 1 = a = 9
Python Object Store at time 14 = [ ]

then Python Object Store at time 15 = [ ]

Write Skip Line in Block At 14

if the following are true:

the line at time 14 = 4
the tab at time 14 = 0
statement at line 4, tab 1 = a = 9
Control Map at time 14 = [ pair ("if", True), [ ] ]

then Control Map at time 15 = [ pair ("if", True), [ ] ]

Write Skip Line Class Defs At 14

if the following are true:

the line at time 14 = 4
the tab at time 14 = 0
statement at line 4, tab 1 = a = 9
Class Map at time 14 = [ ]

then Class Map at time 15 = [ ]

Write Set Name Expr At on State 0

if the following are true:

the line at time 0 = 1
the tab at time 0 = 0
statement at line 1, tab 0 = if __eq__(1, 3):
expression state at time 0 = "not_expr"

then the expression at time 1 = __eq__(1, 3)

Write Set Name Expr State At on State 0

if the following are true:

the line at time 0 = 1
the tab at time 0 = 0
statement at line 1, tab 0 = if __eq__(1, 3):
expression state at time 0 = "not_expr"

then expression state at time 1 = "begin_expr"

Write Set Name Line At on State 0

if the following are true:

the line at time 0 = 1
the tab at time 0 = 0
statement at line 1, tab 0 = if __eq__(1, 3):
expression state at time 0 = "not_expr"

then the line at time 1 = 1

Write Set Name Tab At on State 0

if the following are true:

the line at time 0 = 1
the tab at time 0 = 0
statement at line 1, tab 0 = if __eq__(1, 3):
expression state at time 0 = "not_expr"

then the tab at time 1 = 0

Write Set Name Value Stack At on State 0

if the following are true:

the line at time 0 = 1
the tab at time 0 = 0
statement at line 1, tab 0 = if __eq__(1, 3):
expression state at time 0 = "not_expr"

then Value Stack at time 1 = [ ]

Write Set Name Parent Stack At on State 0

if the following are true:

the line at time 0 = 1
the tab at time 0 = 0
statement at line 1, tab 0 = if __eq__(1, 3):
expression state at time 0 = "not_expr"

then parent stack at time 1 = [ ]

Write Set Name Arg Stack At on State 0

if the following are true:

the line at time 0 = 1
the tab at time 0 = 0
statement at line 1, tab 0 = if __eq__(1, 3):
expression state at time 0 = "not_expr"

then arguments stack at time 1 = [ ]

Write Stmt Object Store At Unchanged Expr0

if the following are true:

the line at time 0 = 1
the tab at time 0 = 0
statement at line 1, tab 0 = if __eq__(1, 3):
expression state at time 0 = "not_expr"
Python Object Store at time 0 = [ ]

then Python Object Store at time 1 = [ ]

Write Stmt in Block At Unchanged Expr0

if the following are true:

the line at time 0 = 1
the tab at time 0 = 0
statement at line 1, tab 0 = if __eq__(1, 3):
expression state at time 0 = "not_expr"
Control Map at time 0 = [ ]

then Control Map at time 1 = [ ]

Write Stmt Class Defs At Unchanged 0

if the following are true:

the line at time 0 = 1
the tab at time 0 = 0
statement at line 1, tab 0 = if __eq__(1, 3):
Class Map at time 0 = [ ]

then Class Map at time 1 = [ ]

Do Object Store At Unchanged 1

if the following are true:

expression state at time 1 = "begin_expr"
Python Object Store at time 1 = [ ]

then Python Object Store at time 2 = [ ]

Do in Block At Unchanged 1

if the following are true:

expression state at time 1 = "begin_expr"
Control Map at time 1 = [ ]

then Control Map at time 2 = [ ]

Do Class Defs At Unchanged 1

if the following are true:

expression state at time 1 = "begin_expr"
Class Map at time 1 = [ ]

then Class Map at time 2 = [ ]

Do Object Store At Unchanged 2

if the following are true:

expression state at time 2 = "iterate_args"
Python Object Store at time 2 = [ ]

then Python Object Store at time 3 = [ ]

Do in Block At Unchanged 2

if the following are true:

expression state at time 2 = "iterate_args"
Control Map at time 2 = [ ]

then Control Map at time 3 = [ ]

Do Class Defs At Unchanged 2

if the following are true:

expression state at time 2 = "iterate_args"
Class Map at time 2 = [ ]

then Class Map at time 3 = [ ]

Do Object Store At Unchanged 3

if the following are true:

expression state at time 3 = "begin_expr"
Python Object Store at time 3 = [ ]

then Python Object Store at time 4 = [ ]

Do in Block At Unchanged 3

if the following are true:

expression state at time 3 = "begin_expr"
Control Map at time 3 = [ ]

then Control Map at time 4 = [ ]

Do Class Defs At Unchanged 3

if the following are true:

expression state at time 3 = "begin_expr"
Class Map at time 3 = [ ]

then Class Map at time 4 = [ ]

Do Arg Stack At Unchanged 4

if the following are true:

expression state at time 4 = "return"
arguments stack at time 4 = [ [ 3, [ ] ], [ ] ]

then arguments stack at time 5 = [ [ 3, [ ] ], [ ] ]

Do Class Defs At Unchanged 4

if the following are true:

expression state at time 4 = "return"
Class Map at time 4 = [ ]

then Class Map at time 5 = [ ]

Do Object Store At Unchanged 4

if the following are true:

expression state at time 4 = "return"
Python Object Store at time 4 = [ ]

then Python Object Store at time 5 = [ ]

Do in Block At Unchanged 4

if the following are true:

expression state at time 4 = "return"
Control Map at time 4 = [ ]

then Control Map at time 5 = [ ]

Do Object Store At Unchanged 5

if the following are true:

expression state at time 5 = "iterate_args"
Python Object Store at time 5 = [ ]

then Python Object Store at time 6 = [ ]

Do in Block At Unchanged 5

if the following are true:

expression state at time 5 = "iterate_args"
Control Map at time 5 = [ ]

then Control Map at time 6 = [ ]

Do Class Defs At Unchanged 5

if the following are true:

expression state at time 5 = "iterate_args"
Class Map at time 5 = [ ]

then Class Map at time 6 = [ ]

Do Object Store At Unchanged 6

if the following are true:

expression state at time 6 = "begin_expr"
Python Object Store at time 6 = [ ]

then Python Object Store at time 7 = [ ]

Do in Block At Unchanged 6

if the following are true:

expression state at time 6 = "begin_expr"
Control Map at time 6 = [ ]

then Control Map at time 7 = [ ]

Do Class Defs At Unchanged 6

if the following are true:

expression state at time 6 = "begin_expr"
Class Map at time 6 = [ ]

then Class Map at time 7 = [ ]

Do Arg Stack At Unchanged 7

if the following are true:

expression state at time 7 = "return"
arguments stack at time 7 = [ [ ], [ ] ]

then arguments stack at time 8 = [ [ ], [ ] ]

Do Class Defs At Unchanged 7

if the following are true:

expression state at time 7 = "return"
Class Map at time 7 = [ ]

then Class Map at time 8 = [ ]

Do Object Store At Unchanged 7

if the following are true:

expression state at time 7 = "return"
Python Object Store at time 7 = [ ]

then Python Object Store at time 8 = [ ]

Do in Block At Unchanged 7

if the following are true:

expression state at time 7 = "return"
Control Map at time 7 = [ ]

then Control Map at time 8 = [ ]

Do Object Store At Unchanged 8

if the following are true:

expression state at time 8 = "iterate_args"
Python Object Store at time 8 = [ ]

then Python Object Store at time 9 = [ ]

Do in Block At Unchanged 8

if the following are true:

expression state at time 8 = "iterate_args"
Control Map at time 8 = [ ]

then Control Map at time 9 = [ ]

Do Class Defs At Unchanged 8

if the following are true:

expression state at time 8 = "iterate_args"
Class Map at time 8 = [ ]

then Class Map at time 9 = [ ]

Do Object Store At Unchanged 9

if the following are true:

expression state at time 9 = "call_function_begin"
the expression at time 9 = __eq__(1, 3)
Python Object Store at time 9 = [ ]

then Python Object Store at time 10 = [ ]

Do Arg Stack At Unchanged 9

if the following are true:

expression state at time 9 = "call_function_begin"
arguments stack at time 9 = [ ]

then arguments stack at time 10 = [ ]

Do in Block At Unchanged 9

if the following are true:

expression state at time 9 = "call_function_begin"
Control Map at time 9 = [ ]

then Control Map at time 10 = [ ]

Do Class Defs At Unchanged 9

if the following are true:

expression state at time 9 = "call_function_begin"
Class Map at time 9 = [ ]

then Class Map at time 10 = [ ]

Write Test Call End in Block 10

if the following are true:

the line at time 10 = 1
the tab at time 10 = 0
statement at line 1, tab 0 = if __eq__(1, 3):
expression state at time 10 = "end_expr"
Return Value at time 10 = False
Control Map at time 10 = [ ]

then Control Map at time 11 = [ pair ("if", False), [ ] ]

Write Stmt Class Defs At Unchanged 10

if the following are true:

the line at time 10 = 1
the tab at time 10 = 0
statement at line 1, tab 0 = if __eq__(1, 3):
Class Map at time 10 = [ ]

then Class Map at time 11 = [ ]

Write Stmt Object Store At Unchanged Expr10

if the following are true:

the line at time 10 = 1
the tab at time 10 = 0
statement at line 1, tab 0 = if __eq__(1, 3):
expression state at time 10 = "end_expr"
Python Object Store at time 10 = [ ]

then Python Object Store at time 11 = [ ]

Write Skip Line Variables At 11

if the following are true:

the line at time 11 = 2
the tab at time 11 = 0
statement at line 2, tab 1 = a = 7
Variables Map at time 11 = [ ]

then Variables Map at time 12 = [ ]

Write Skip Line Stack At 11

if the following are true:

the line at time 11 = 2
the tab at time 11 = 0
statement at line 2, tab 1 = a = 7
stack at time 11 = [ ]

then stack at time 12 = [ ]

Write Skip Line Object Store At 11

if the following are true:

the line at time 11 = 2
the tab at time 11 = 0
statement at line 2, tab 1 = a = 7
Python Object Store at time 11 = [ ]

then Python Object Store at time 12 = [ ]

Pages: 112 113 114 ... 127