My favorites | Sign in
Project Home Downloads Wiki Issues Source
READ-ONLY: This project has been archived. For more information see this post.
Search
for
TypesFormules  

Types, formule, nabla, grammaire
Updated Jun 15, 2009 by charly.f...@gmail.com

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.

Powered by Google Project Hosting