Searched refs:is_start_event (Results 1 – 2 of 2) sorted by relevance
| /tools/verification/rvgen/rvgen/ | ||
| A D | dot2k.py | 33 if self.is_start_event(event): |
| A D | automata.py | 199 def is_start_event(self, event): member in Automata |
Completed in 4 milliseconds