Searched refs:ro_wp64 (Results 1 – 3 of 3) sorted by relevance
55 ro_wp64, // weighted64 degree weights in wvhdl enumerator
2246 ord_struct.ord_typ=ro_wp64; in rO_WDegree64()4183 else if (r->typ[j].ord_typ==ro_wp64) in rDebugPrint()5196 while((r->typ[i].ord_typ!=ro_wp64) && (r->typ[i].ord_typ>0)) i++; in rGetWeightVec()5197 assume(r->typ[i].ord_typ==ro_wp64); in rGetWeightVec()5205 assume(r->typ[0].ord_typ==ro_wp64); in rSetWeightVec()
241 case ro_wp64: in p_Setm_General()