Conditions de changement de jeux

Le changement de jeu est caractérisé par trois types de condition :

Condition d'entrée

Etat activant un jeu W_xKIF_xQ (Entrée dans un jeu de type question)

Invariant

Etat vérifié pendant le jeu

Condition de sortie

Etat terminant un jeu KIF_xQ (Sortie du jeu de type question)