Dans toutes les signatures ci-dessous, les arguments x ety sont deux entiers positifs ou manquant (valeur négative).
Les fonctions du premier groupe ci-dessous renvoient vrai si une donnée est manquante ou si le prédicat est vrai. Autrement dit, elles renvoient faux si les données sont présentes et le prédicat faux :
bool tMyNE(int x, int y);
bool tMyEQ(int x, int y);
bool tMyLT(int x, int y);
bool tMyLE(int x, int y);
bool tMyGT(int x, int y);
bool tMyGE(int x, int y);
Les fonctions du second groupe ci-dessous renvoient faux si une donnée est manquante ou si le prédicat est faux. Autrement dit, elles renvoient vrai si les données sont présentes et le prédicat vrai :
bool fMyNE(int x, int y);
bool fMyEQ(int x, int y);
bool fMyLT(int x, int y);
bool fMyLE(int x, int y);
bool fMyGT(int x, int y);
bool fMyGE(int x, int y);
A titre d'exemple :
{ ... bool ta = tMyNE(3, 4); bool tb = tMyNE(3, -9); bool fa = fMyNE(3, 3); bool fb = fMyNE(3, -9); printf("\nta = %d tb = %d\tfa = %d fb = %d", ta, tb, fa, fb); }>>ta = 1 tb = 1 fa = 0 fb = 0