Searched refs:is_start_event (Results 1 – 2 of 2) sorted by relevance
| /linux/tools/verification/rvgen/rvgen/ | ||
| H A D | dot2k.py | 33 if self.is_start_event(event): |
| H A D | automata.py | 199 def is_start_event(self, event: str) -> bool: member in Automata |