[BACK]Return to simplification.c CVS log [TXT] [DIR] Up to [local] / rpl / src

Diff for /rpl/src/simplification.c between versions 1.70 and 1.81

version 1.70, 2019/11/05 15:37:51 version 1.81, 2025/04/15 10:17:58
Line 1 Line 1
 /*  /*
 ================================================================================  ================================================================================
   RPL/2 (R) version 4.1.32    RPL/2 (R) version 4.1.36
   Copyright (C) 1989-2019 Dr. BERTRAND Joël    Copyright (C) 1989-2025 Dr. BERTRAND Joël
   
   This file is part of RPL/2.    This file is part of RPL/2.
   
Line 57  affichage_arbre(struct_processus *s_etat Line 57  affichage_arbre(struct_processus *s_etat
   
     l_element_courant = (*s_arbre).feuille;      l_element_courant = (*s_arbre).feuille;
   
       for(i = 0; i < niveau; i++)
       {
           printf("  ");
       }
   
     while(l_element_courant != NULL)      while(l_element_courant != NULL)
     {      {
         if ((chaine = formateur(s_etat_processus, 0,          if ((chaine = formateur(s_etat_processus, 0,
Line 66  affichage_arbre(struct_processus *s_etat Line 71  affichage_arbre(struct_processus *s_etat
             return;              return;
         }          }
   
         for(i = 0; i < niveau; i++)          printf("%s ", chaine);
         {  
             printf("  ");  
         }  
   
         printf("%s\n", chaine);  
         free(chaine);          free(chaine);
   
         l_element_courant = (*l_element_courant).suivant;          l_element_courant = (*l_element_courant).suivant;
     }      }
   
       printf("\n");
   
     // Affichage des branches (arguments de la fonction dans la feuille)      // Affichage des branches (arguments de la fonction dans la feuille)
   
     for(branche = 0; branche < (*s_arbre).nombre_branches; branche++)      for(branche = 0; branche < (*s_arbre).nombre_branches; branche++)
Line 138  transcription_arbre(struct_processus *s_ Line 140  transcription_arbre(struct_processus *s_
     }      }
   
     // Ajout des fonctions      // Ajout des fonctions
     // Arbre q-aire => si q branches, q-1 fonctions  
   
     l_liste = (*s_arbre).feuille;      if ((*s_arbre).nombre_branches != 0)
   
     for(i = 0; i < (*s_arbre).nombre_branches - 2; i++)  
     {      {
         if ((l_element_courant = allocation_maillon(s_etat_processus))          free((*s_arbre).branches);
                 == 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);      l_liste = (*s_arbre).feuille;
     free(s_arbre);      free(s_arbre);
   
     // Chaînage des arguments      // Chaînage des arguments
Line 218  ordonnancement_branches(const void *a1, Line 201  ordonnancement_branches(const void *a1,
   
     if (((**_a1).feuille != NULL) && ((**_a2).feuille != NULL))      if (((**_a1).feuille != NULL) && ((**_a2).feuille != NULL))
     {      {
           // Si les types sont identiques, on ne change rien.
   
         if ((*(*(**_a1).feuille).donnee).type ==          if ((*(*(**_a1).feuille).donnee).type ==
                 (*(*(**_a2).feuille).donnee).type)                  (*(*(**_a2).feuille).donnee).type)
         {          {
             return(0);              return(0);
         }          }
   
           // 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 == REL) ||
                 ((*(*(**_a1).feuille).donnee).type == CPL))                  ((*(*(**_a1).feuille).donnee).type == CPL))
Line 240  ordonnancement_branches(const void *a1, Line 227  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  static void
 simplification_arbre(struct_processus *s_etat_processus,  simplification_arbre(struct_processus *s_etat_processus,
         struct_arbre *s_arbre)          struct_arbre *s_arbre)
Line 248  simplification_arbre(struct_processus *s Line 268  simplification_arbre(struct_processus *s
     integer8                j;      integer8                j;
     integer8                nouveaux_elements;      integer8                nouveaux_elements;
   
       struct_arbre            *s_branche;
   
       struct_liste_chainee    *l_element_courant;
       struct_liste_chainee    *l_element_suivant;
   
     struct_objet            *s_objet;      struct_objet            *s_objet;
   
     if ((*(*(*s_arbre).feuille).donnee).type != FCT)      if ((*(*(*s_arbre).feuille).donnee).type != FCT)
Line 258  simplification_arbre(struct_processus *s Line 283  simplification_arbre(struct_processus *s
         return;          return;
     }      }
   
       // Transformation des soustractions que l'on remplace par
       // une addition de l'opposé. Si l'on a une soustraction,
       // on greffe donc une instruction NEG dans l'arbre.
       // Note : à cet instant, l'instruction '-' ne peut avoir que deux
       // opérandes.
   
       if (strcmp((*((struct_fonction *) (*(*((*s_arbre).feuille)).donnee).objet))
               .nom_fonction, "-") == 0)
       {
           if ((*s_arbre).nombre_branches != 2)
           {
               (*s_etat_processus).erreur_execution = d_ex_simplification;
               return;
           }
   
           liberation(s_etat_processus, (*((*s_arbre).feuille)).donnee);
   
           if (((*((*s_arbre).feuille)).donnee = allocation(s_etat_processus,
                   FCT)) == NULL)
           {
               (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
               return;
           }
   
           if (((*((struct_fonction *) (*(*((*s_arbre).feuille)).donnee).objet))
                   .nom_fonction = malloc(2 * sizeof(unsigned char))) == NULL)
           {
               (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
               return;
           }
   
           strcpy((*((struct_fonction *) (*(*((*s_arbre).feuille)).donnee).objet))
                   .nom_fonction, "+");
           (*((struct_fonction *) (*(*((*s_arbre).feuille)).donnee).objet))
                   .nombre_arguments = 1;
   
           if ((s_branche = malloc(sizeof(struct_arbre))) == NULL)
           {
               (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
               return;
           }
   
           if (((*s_branche).branches = malloc(sizeof(struct_arbre *))) == NULL)
           {
               (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
               return;
           }
   
           if (((*s_branche).feuille = allocation_maillon(s_etat_processus))
                   == NULL)
           {
               (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
               return;
           }
   
           (*(*s_branche).feuille).suivant = NULL;
   
           if (((*(*s_branche).feuille).donnee = allocation(s_etat_processus, FCT))
                   == NULL)
           {
               (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
               return;
           }
   
           if (((*((struct_fonction *) (*(*(*s_branche).feuille).donnee).objet))
                   .nom_fonction = malloc(4 * sizeof(unsigned char))) == NULL)
           {
               (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
               return;
           }
   
           strcpy((*((struct_fonction *) (*(*(*s_branche).feuille).donnee).objet))
                   .nom_fonction, "NEG");
           (*((struct_fonction *) (*(*(*s_branche).feuille).donnee).objet))
                   .nombre_arguments = 1;
           (*s_branche).branches[0] = (*s_arbre).branches[1];
           (*s_branche).nombre_branches = 1;
           (*s_arbre).branches[1] = s_branche;
       }
   
     // La feuille est une fonction, on peut envisager la simplification      // La feuille est une fonction, on peut envisager la simplification
     // de l'arbre. Pour cela, on descend d'un niveau pour greffer      // de l'arbre. Pour cela, on descend d'un niveau pour greffer
     // de nouvelles branches.      // de nouvelles branches.
Line 265  simplification_arbre(struct_processus *s Line 370  simplification_arbre(struct_processus *s
     if (strcmp((*((struct_fonction *) (*(*(*s_arbre).feuille).donnee).objet))      if (strcmp((*((struct_fonction *) (*(*(*s_arbre).feuille).donnee).objet))
             .nom_fonction, "+") == 0)              .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++)          for(i = 0; i < (*s_arbre).nombre_branches; i++)
         {          {
             s_objet = (*((*((*s_arbre).branches[i])).feuille)).donnee;              s_objet = (*((*((*s_arbre).branches[i])).feuille)).donnee;
Line 274  simplification_arbre(struct_processus *s Line 383  simplification_arbre(struct_processus *s
                 if (strcmp((*((struct_fonction *) (*s_objet).objet))                  if (strcmp((*((struct_fonction *) (*s_objet).objet))
                         .nom_fonction, "-") == 0)                          .nom_fonction, "-") == 0)
                 {                  {
                       simplification_arbre(s_etat_processus,
                               (*s_arbre).branches[i]);
                       s_objet = (*((*((*s_arbre).branches[i])).feuille)).donnee;
                 }                  }
   
                 if (strcmp((*((struct_fonction *) (*s_objet).objet))                  if (strcmp((*((struct_fonction *) (*s_objet).objet))
Line 318  simplification_arbre(struct_processus *s Line 430  simplification_arbre(struct_processus *s
                                 (*(*s_arbre).branches[i]).branches[j];                                  (*(*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]);                      free((*s_arbre).branches[i]);
   
                     // Retrait de la branche                      // Retrait de la branche
Line 555  simplification(struct_processus *s_etat_ Line 678  simplification(struct_processus *s_etat_
          */           */
   
         affichage_arbre(s_etat_processus, s_arbre, 0);          affichage_arbre(s_etat_processus, s_arbre, 0);
   
 //#     ifdef   EXPERIMENTAL_CODE   
         simplification_arbre(s_etat_processus, s_arbre);          simplification_arbre(s_etat_processus, s_arbre);
         affichage_arbre(s_etat_processus, s_arbre, 0);          affichage_arbre(s_etat_processus, s_arbre, 0);
   
Line 564  simplification(struct_processus *s_etat_ Line 685  simplification(struct_processus *s_etat_
         {          {
             return(NULL);              return(NULL);
         }          }
 //#     endif  
   
         /*          /*
          * Transcription de l'arbre q-aire simplifié en expression algébrique.           * Transcription de l'arbre q-aire simplifié en expression algébrique.
Removed from v.1.70  
changed lines
  Added in v.1.81

CVSweb interface <joel.bertrand@systella.fr>