6.12.2.1.1. Data structure

Start python section to interscript/felix/model/fincat.py[2 /5 ] Next Prev Last
     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: 
End python section to interscript/felix/model/fincat.py[2]