Searched refs:delete_emit (Results 1 - 1 of 1) sorted by relevance
/seL4-camkes-master/projects/camkes-tool/camkes/visualCAmkES/View/ | ||
H A D | Instance_Widget.py | 212 def delete_emit(self, name): member in class:InstanceWidget |
Completed in 25 milliseconds