Rubrique précédente: Encodage de classe

Rubrique suivante: Scripts de modèle de module de logique applicative

Portée de la logique applicative

Vous pouvez exécuter les métriques qui incluent des modules de logique applicative dans un cadre de logique applicative avec des versions de module préliminaires ou en vigueur:

Pour plus d'informations sur la portée de la logique applicative, consultez la section Test des formules de logique applicative.