Lines Matching defs:map
18 the map by means of a list:
38 map = None # The list of codes and states
41 def __init__(self, map = None, special = None):
42 if not map:
43 map = [-maxint, {}, maxint]
46 self.map = map
59 map = self.map
61 map[i + 1][new_state] = 1
75 map = self.map
77 map[i + 1].update(new_set)
96 map = self.map
97 else_set = map[1]
99 n = len(map) - 1
100 code0 = map[0]
102 set = map[i + 1]
103 code1 = map[i + 2]
121 that |code| == |map[i]|.
124 map = self.map
125 hi = len(map) - 1
126 # Special case: code == map[-1]
131 # loop invariant: map[lo] <= code < map[hi] and hi - lo >= 2
135 if code < map[mid]:
139 # map[lo] <= code < map[hi] and hi - lo == 2
140 if map[lo] == code:
143 map[hi:hi] = [code, map[hi - 1].copy()]
162 map = self.map
163 n = len(map)
166 code = map[i]
176 map_strs.append(state_set_str(map[i]))
190 if not self.map[-3] < self.map[-1]:
195 map = self.map
197 n = len(map) - 1
199 self.dump_range(map[i], map[i + 2], map[i + 1], file)