// Fichier ptq.h : entète pour PTQ
// --------------------------------

#include <strings.h>
#include <stdlib.h>
#include <stdio.h>

/* Structures de données

Pour les arbres syntaxiques qui représentent des lambda-termes, on fixe : 

type	valeur

PRED	voir lexique
CON1    1 : négation
CON2    1 : et
        2 : ou 
	3 : implique
VAR     voir lexique
CTE     voir lexique
QUANT   1 : forall (A)
        2 : exists (E)
LBD     0 [pas utilisé]
AF      0 [pas utilisé]

*/

#include "y.tab.h"

void insere_tds(char * s, int val) ; 
void defaut_tds() ; 
void affiche_tds() ; 
int recherche_id(char * s) ; 
int val_tds(char * s) ; 
char * string_tds(int t, int v) ; 

struct noeud {
  int type ; 
  int val ; 
  struct noeud * fg ; 
  struct noeud * fd ; 
} ; 
typedef struct noeud noeud ; 

noeud * cree_n(int type, int val, noeud * fg, noeud * fd) ; 

void insere_lexique(char * s, int c , noeud * l) ;