Home
last modified time | relevance | path

Searched refs:__open_dot (Results 1 – 1 of 1) sorted by relevance

/tools/verification/dot2/
Dautomata.py25 self.__dot_lines = self.__open_dot()
42 def __open_dot(self): member in Automata