5: #line 16 "felix_fincat.ipk" 6: def __init__(self): 7: self.objects = {} 8: # keyed by object, value is pair of lists 9: # 0: arrows which go out of this object (except self) 10: # 1: arrows which go into this object (except self) 11: self.arrows = {} 12: # keyed by arrow, value is pair (head, tail) of arrow 13: # excludes objects 14: self.rules = {} 15: # keyed by pair, value is result 16: # excludes keys for which one or both arguments are identities 17: