if the following are true:- the line at time 1 = 2
- the tab at time 1 = 1
- statement at line 2, tab 1 =
def __init__(self): - value at "Animal" in map (Class Map at time 1) = [ entry "bases": [ ], [ entry "methods": [ ], [ entry "line": 1, [ ] ] ] ]
- value at "methods" in map [ entry "bases": [ ], [ entry "methods": [ ], [ entry "line": 1, [ ] ] ] ] = [ ]
- Class Map at time 1 = [ entry "Animal": [ entry "bases": [ ], [ entry "methods": [ ], [ entry "line": 1, [ ] ] ] ], [ ] ]
def __init__(self):then Class Map at time 2 = [ entry "Animal": [ entry "bases": [ ], [ entry "methods": [ entry "__init__": [ entry "params": [ self, [ ] ], [ entry "line": 2, [ ] ] ], [ ] ], [ entry "line": 1, [ ] ] ] ], [ ] ]
Start from the conclusion and work back up the proof. Click the arrow to show the parents.