--- rpl/src/simplification.c 2019/11/06 17:31:47 1.71 +++ rpl/src/simplification.c 2019/11/14 18:54:48 1.74 @@ -57,6 +57,11 @@ affichage_arbre(struct_processus *s_etat l_element_courant = (*s_arbre).feuille; + for(i = 0; i < niveau; i++) + { + printf(" "); + } + while(l_element_courant != NULL) { if ((chaine = formateur(s_etat_processus, 0, @@ -66,17 +71,14 @@ affichage_arbre(struct_processus *s_etat return; } - for(i = 0; i < niveau; i++) - { - printf(" "); - } - - printf("%s\n", chaine); + printf("%s ", chaine); free(chaine); l_element_courant = (*l_element_courant).suivant; } + printf("\n"); + // Affichage des branches (arguments de la fonction dans la feuille) for(branche = 0; branche < (*s_arbre).nombre_branches; branche++) @@ -138,32 +140,13 @@ transcription_arbre(struct_processus *s_ } // Ajout des fonctions - // Arbre q-aire => si q branches, q-1 fonctions - l_liste = (*s_arbre).feuille; - - for(i = 0; i < (*s_arbre).nombre_branches - 2; i++) + if ((*s_arbre).nombre_branches != 0) { - if ((l_element_courant = allocation_maillon(s_etat_processus)) - == NULL) - { - (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; - return(NULL); - } - - (*l_element_courant).suivant = l_liste; - - if (((*l_element_courant).donnee = copie_objet(s_etat_processus, - (*l_liste).donnee, 'P')) == NULL) - { - (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; - return(NULL); - } - - l_liste = l_element_courant; + free((*s_arbre).branches); } - free((*s_arbre).branches); + l_liste = (*s_arbre).feuille; free(s_arbre); // Chaînage des arguments @@ -228,12 +211,9 @@ ordonnancement_branches(const void *a1, // On rejette les nombres à la fin. - if ((((*(*(**_a1).feuille).donnee).type == INT) || + if (((*(*(**_a1).feuille).donnee).type == INT) || ((*(*(**_a1).feuille).donnee).type == REL) || - ((*(*(**_a1).feuille).donnee).type == CPL)) && - ((((*(*(**_a2).feuille).donnee).type != INT) && - ((*(*(**_a2).feuille).donnee).type != REL) && - ((*(*(**_a2).feuille).donnee).type != CPL)))) + ((*(*(**_a1).feuille).donnee).type == CPL)) { return(1); } @@ -247,6 +227,39 @@ ordonnancement_branches(const void *a1, } +static int +ordonnancement_instructions_neg(const void *a1, const void *a2) +{ + struct_arbre **_a1; + + _a1 = (struct_arbre **) a1; + + if ((**_a1).feuille != NULL) + { + // On rejette NEG à la fin de l'arbre. + + if ((*(*(**_a1).feuille).donnee).type == FCT) + { + if (strcmp((*((struct_fonction *) (*(*(**_a1).feuille).donnee) + .objet)).nom_fonction, "NEG") == 0) + { + return(1); + } + else + { + return(-1); + } + } + else + { + return(0); + } + } + + return(0); +} + + static void simplification_arbre(struct_processus *s_etat_processus, struct_arbre *s_arbre) @@ -257,6 +270,9 @@ simplification_arbre(struct_processus *s struct_arbre *s_branche; + struct_liste_chainee *l_element_courant; + struct_liste_chainee *l_element_suivant; + struct_objet *s_objet; if ((*(*(*s_arbre).feuille).donnee).type != FCT) @@ -354,6 +370,10 @@ simplification_arbre(struct_processus *s if (strcmp((*((struct_fonction *) (*(*(*s_arbre).feuille).donnee).objet)) .nom_fonction, "+") == 0) { + qsort((*s_arbre).branches, (size_t) (*s_arbre) + .nombre_branches, sizeof(struct_arbre *), + ordonnancement_instructions_neg); + for(i = 0; i < (*s_arbre).nombre_branches; i++) { s_objet = (*((*((*s_arbre).branches[i])).feuille)).donnee; @@ -410,6 +430,17 @@ simplification_arbre(struct_processus *s (*(*s_arbre).branches[i]).branches[j]; } + l_element_courant = (*s_arbre).feuille; + (*s_arbre).feuille = (*(*s_arbre).branches[i]).feuille; + + l_element_suivant = (*s_arbre).feuille; + while((*l_element_suivant).suivant != NULL) + { + l_element_suivant = (*l_element_suivant).suivant; + } + + (*l_element_suivant).suivant = l_element_courant; + free((*(*s_arbre).branches[i]).branches); free((*s_arbre).branches[i]); // Retrait de la branche