tableau.h

#ifndef _TABLEAU
#define _TABLEAU

#include<stdio.h>
#include<stdlib.h>
#include<string.h>
/*tableau.h*/

typedef struct _noeud noeud;
struct _noeud{
  char *chaine;
  noeud* next;
};

typedef struct _pile pile;
struct _pile{
  noeud* sommet;
};

/*
 @require 
 @assign alloue un tableau de taille N*N
 @ensure renvoie un tableau alloué de taille N*N dont les cases sont des piles 
*/
pile **initialisation(int N);

/*
 @require
 @assign
 @ensure retourne 1 si la pile est vide 0 sinon
*/
int est_vide(pile p);

/*
 @require
 @assign
 @ensure retourne la valeur du sommet de la pile 
*/
char *sommet(pile p);

/*
 @
 @
 @
*/
void empiler(pile *p, char *elt);

/*
 * @require
 * @assign
 * @ensure enlève le sommet de la pile p et le retourne
*/
char *depiler(pile *p);

/*
 * @require
 * @assign
 * @ensure remet une pile à zero
*/
void reset(pile *p);

/*
 * @require
 * @assign
 * @ensure nettoie la mémoire allouée au tableau 
*/
void nettoyer(pile **tableau,int N);

#endif