HomeSort by relevance Sort by last modified time
    Searched refs:old_state_set (Results 1 - 2 of 2) sorted by null

  /external/chromium_org/third_party/cython/src/Cython/Plex/
DFA.py 93 new_to_old_dict = None # {id(new_state) : old_state_set}
100 def old_to_new(self, old_state_set):
108 key = self.make_key(old_state_set)
111 action = self.highest_priority_action(old_state_set)
114 self.new_to_old_dict[id(new_state)] = old_state_set
115 #for old_state in old_state_set.keys():
129 # def old_to_new_set(self, old_state_set):
134 # return {self.old_to_new(old_state_set):1}
152 old_state_set = self.new_to_old_dict[id(new_state)]
154 new_state['number'], state_set_str(old_state_set)))
    [all...]