Home
last modified time | relevance | path

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

/tools/verification/dot2/
Ddot2c.py100 def format_automaton_definition(self): member in Dot2c
241 buff += self.format_automaton_definition()