int
get_negated_pnc(int pnc) {
switch (pnc) {
- case False: return True; break;
- case Eq: return Ne; break;
- case Lt: return Uge; break;
- case Le: return Ug; break;
- case Gt: return Ule; break;
- case Ge: return Ul; break;
- case Lg: return Ue; break;
- case Leg: return Uo; break;
- case Uo: return Leg; break;
- case Ue: return Lg; break;
- case Ul: return Ge; break;
- case Ule: return Gt; break;
- case Ug: return Le; break;
- case Uge: return Lt; break;
- case Ne: return Eq; break;
- case True: return False; break;
+ case pn_Cmp_False: return pn_Cmp_True; break;
+ case pn_Cmp_Eq: return pn_Cmp_Ne; break;
+ case pn_Cmp_Lt: return pn_Cmp_Uge; break;
+ case pn_Cmp_Le: return pn_Cmp_Ug; break;
+ case pn_Cmp_Gt: return pn_Cmp_Ule; break;
+ case pn_Cmp_Ge: return pn_Cmp_Ul; break;
+ case pn_Cmp_Lg: return pn_Cmp_Ue; break;
+ case pn_Cmp_Leg: return pn_Cmp_Uo; break;
+ case pn_Cmp_Uo: return pn_Cmp_Leg; break;
+ case pn_Cmp_Ue: return pn_Cmp_Lg; break;
+ case pn_Cmp_Ul: return pn_Cmp_Ge; break;
+ case pn_Cmp_Ule: return pn_Cmp_Gt; break;
+ case pn_Cmp_Ug: return pn_Cmp_Le; break;
+ case pn_Cmp_Uge: return pn_Cmp_Lt; break;
+ case pn_Cmp_Ne: return pn_Cmp_Eq; break;
+ case pn_Cmp_True: return pn_Cmp_False; break;
}
return 99; /* to shut up gcc */
}