Programmation C

R a b
1 1 1
2 0 1
ci dessus un contexte formel
les Yi sont les images respectives de Xi par la relation R
par exemple:X1=1 son image Y1={a, b}.
X2=2son image Y2={b}.
soient les structures en C suivantes:
typedef struct ldoc
{
char *doc;
struct ldoc *next; \*c'est la structure des Yi*\


} ldoc;
typedef struct cbase
{

char ext[5] ;\* ext:c'est l'extension qui représente les Xi *\
ldoc *doc;
int niv ;
struct cbase *next;


} cbase;\* cbase est la structure qui exprime le contexte formel dont on a cité un exemple ci dessus*\
voici deux procédures :
void intersection (cbase *b, cbase *bb, ldoc **ld) \* procédure pour voir l'intersection entre les images Yi*\
{ ldoc *tb=b->doc;
ldoc *tbb=NULL;
while(tbb!=NULL)
{ tbb=bb->doc;
while(tbb!=NULL)
{ if(tbb->doc= tb->doc)
{ if((*ld)==NULL)
{ (*ld)=(ldoc*)malloc(sizeof(ldoc));
(*ld)->doc=tbb->doc;
(*ld)->next=NULL;
}
else
{ ldoc *pld=(*ld);
while(pld->next!=NULL)
pld=pld->next;
ldoc *tld=(ldoc*)malloc(sizeof(ldoc));
tld->doc=tbb->doc;
tld->next=NULL;
}
}
tbb=tbb->next;
tb=tb->next;
}
}
}




int inclusion(cbase *b, cbase *bb) \*procédure qui vérifie s'il ya inclusion entre les Yi ou non*\
{ if (b->niv<=bb->niv)
{
int ok;
ldoc *p=b->doc;
ldoc *g=NULL;

while (p!=NULL)
{
ok=0;
g=bb->doc;
while (g!=NULL)
{
if (g->doc==p->doc)
{
ok++;
p=p->next;
g=NULL;
}
else g=g->next;

}
if (ok==0)
{
free(g);
free(p);
return 0;
}
}

free(g);
free(p);
return 1;
}

}