5.6 Trace de règles utilisateur

Ressource : ATB*PR*Trace_User_Rules.
Valeur : TRUE ou FALSE.
Signification : Indique si l’application d’une règle utilisateur doit afficher un message.
Valeur par défaut : FALSE.

Dans le cas ou cette ressource est positionnée à TRUE, un message est affiché à chaque fois qu’une règle utilisateur est appliquée. Ce message est de la forme suivante : Applying user rule T.n, ou T.n correspond au nom de la règle utilisateur. T correspond au nom de la théorie ou la règle est définie, et n a la position de cette règle dans la théorie.

Utiliser cette ressource peut permettre de déterminer quelles sont les règles utilisateur utilisées.