Searched defs:becPrio (Results 1 – 1 of 1) sorted by relevance
239 Int becPrio; /* 0 through 9. Behavioural equivalence class prio. member287 Int becPrio; /* and its priority */ member392 Int i, nsyms, becTag, becPrio; in VG_() local