Le fichier Types.mli
type formule = VRAI | FAUX
|Conj of formule*formule
|Disj of formule*formule
|Imp of formule*formule
|Neg of formule
|Nec of formule
|Poss of formule
|Nab of formule list
|Lit of string
;;type formule_pos = VRAI | FAUX
|Conj of formule_pos*formule_pos
|Disj of formule_pos*formule_pos
|Imp of formule_pos*formule_pos
|Neg of formule_pos
|Nec of formule_pos
|Poss of formule_pos
|Lit of string
;;
type formule_nab = VRAI | FAUX
|Conj of formule_nab*formule_nab
|Disj of formule_nab*formule_nab
|Imp of formule_nab*formule_nab
|Neg of formule_nab
|Nab of formule_nab list
|Lit of string
;;Préférences
Nous avons opté pour une représentation en forme d'arbres n-aire par point de vue pratique et efficace, car cela permettait un traitement plus visible et agréable pour nos fonctions. Ainsi, nous pouvons également appliquer quelques fonctions vue en cours, afin de perfectionner ou trouver de l'aide dans certaines de nos fonctions.