tp_rules question 1 tests classe None

Programmation Avancée

Modérateur : douinj

georg_s4
Messages : 14
Inscription : 16 oct. 2020 11:09

tp_rules question 1 tests classe None

Message par georg_s4 » 05 janv. 2021 10:27

Bonjour,
J'ai une erreur JNEWS sur les tests de la classe None, m'indiquant que l'évaluation de l'expression suivante :

Code : Tout sélectionner

none(none(TRUE,none(FALSE,FALSE,FALSE),none(FALSE,FALSE,FALSE)),none(TRUE,none(FALSE,FALSE,FALSE),none(FALSE,FALSE,FALSE)))
par la méthode isSatisfiedBy() devrait donner false, alors que mon code retourne true.
Or, si je décompose :
none1 = none(FALSE,FALSE,FALSE) est satisfaite (S)
none2 = none(TRUE,none(FALSE,FALSE,FALSE),none(FALSE,FALSE,FALSE)) = none(TRUE, none1, none1) = none(S, S, S) n'est pas satisfaite (non S)
none3 = l'expression complète = none(none2, none2) = none(non S, non S) est satisfaite (S)
la méthode isSatisfiedBy() devrait donc bien retourner true, en non false.
Je ne comprends donc pas le rejet JNEWS. Y a-t-il une erreur dans mon raisonnement ?
Merci de vos lumières.

douinj
Messages : 240
Inscription : 18 mars 2009 15:46

Re: tp_rules question 1 tests classe None

Message par douinj » 05 janv. 2021 11:12

Bonjour,

Adoptez la règle énoncée ici viewtopic.php?f=40&t=20284&sid=1fa653f8 ... ab5900efe2

je reverrai la sémantique du None l'an prochain

Bonnes règles

Répondre