prédicat (informatique)

  • Bonsoir,
    Pour autant que je le sache, un prédicat est une fonction logique dont la valeur peut être "vraie" ou "fausse" selon la valeur de ses arguments.

    Exemple : Une assertion est un prédicat retournant "faux" si une erreur de programmation amène à un état anormal du système (exemples : opération conduisant à une division par zéro, ou valeur affectée à un pointeur pointe sur une adresse inaccessible).
    Hope it helps!
     
    Back
    Top