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