Searched refs:get_transition_function_description (Results 1 – 1 of 1) sorted by relevance
833 def get_transition_function_description(self, edge): member in StateGeneratingServiceEnumerator841 "desc": self.get_transition_function_description(edge),