PIPS
plsommet-op.c File Reference
#include <stdio.h>
#include <stdlib.h>
#include "boolean.h"
#include "arithmetique.h"
#include "vecteur.h"
#include "contrainte.h"
#include "sc.h"
#include "sommet.h"
+ Include dependency graph for plsommet-op.c:

Go to the source code of this file.

Macros

#define MALLOC(s, t, f)   malloc(s)
 package plint More...
 
#define FREE(s, t, f)   free(s)
 

Functions

Psommet sommets_dupc (Psommet som)
 Psommet sommets_dupc(Psommet som): copie d'une liste de sommets tout en respectant le meme ordre. More...
 

Macro Definition Documentation

◆ FREE

#define FREE (   s,
  t,
  f 
)    free(s)

Definition at line 43 of file plsommet-op.c.

◆ MALLOC

#define MALLOC (   s,
  t,
  f 
)    malloc(s)

package plint

Definition at line 42 of file plsommet-op.c.

Function Documentation

◆ sommets_dupc()

Psommet sommets_dupc ( Psommet  som)

Psommet sommets_dupc(Psommet som): copie d'une liste de sommets tout en respectant le meme ordre.

pointeur vers le dernier element de la liste

pointeur vers le premier element de la liste

Definition at line 48 of file plsommet-op.c.

50 {
51 
52  Psommet som1,som2;
53  /* pointeur vers le dernier element de la liste*/
54  Psommet pred;
55  /* pointeur vers le premier element de la liste*/
56  Psommet debut = NULL;
57 
58 
59 #ifdef TRACE
60  printf(" ***** duplication du systeme \n");
61 #endif
62  if (som)
63  {
64  som2 = sommet_dup(som);
65  debut = som2;
66  som2->eq_sat = (int *)MALLOC(sizeof(int),INTEGER,"sommets_dupc");
67  *(som2->eq_sat) = *(som->eq_sat);
68  pred = som2;
69  for (som1 = som->succ; som1 != NULL; som1 = som1->succ)
70  {
71 
72  som2 = sommet_dup(som1);
73  pred->succ = som2;
74  som2->eq_sat =(int *)MALLOC(sizeof(int),INTEGER,
75  "sommets_dupc");
76  *(som2->eq_sat) = *(som1->eq_sat);
77  pred = som2;
78  }
79  }
80  return (debut);
81 }
#define MALLOC(s, t, f)
package plint
Definition: plsommet-op.c:42
int printf()
Psommet sommet_dup(Psommet s_in)
Psommet sommet_dup(Psommet s_in): allocation et copie de la valeur d'un sommet.
Definition: sommet.c:82
structure de donnees Sommet
Definition: sommet-local.h:64
struct typ_som * succ
Definition: sommet-local.h:68
int * eq_sat
Definition: sommet-local.h:65

References typ_som::eq_sat, MALLOC, printf(), sommet_dup(), and typ_som::succ.

Referenced by plint_degen().

+ Here is the call graph for this function:
+ Here is the caller graph for this function: