/***************************************
*                                      *
*   Copyright (c) 1998 Jean-Eric Pin   *
*   All rights reserved.               *
*                                      *
*   TAB = 2 spaces                     *
*                                      *
***************************************/

/*-------------------------------------------------------------------
 * Transitions.h    Jean-Eric Pin 07/12/96
 *-------------------------------------------------------------------
 */     

typedef unsigned short *Transitions;  /* Semigroupe de transitions */

void CopieTransitions(element x, element y);
short EstEgalTransitions(element x, element y);
void ProduitTransitions(element x, element y, element xy);
void ProduitTransitionsPartielles(element x, element y, element xy);
unsigned long HachageTransitions(element x);
unsigned long HachageUneLettreTransitions(element x);
unsigned long HachageSecondaireTransitions(element x);
unsigned long HachageSecondaireUneLettreTransitions(element x);
void FaireIdentiteTransitions(element x);
void SauvegardeTransitions(FILE *fichier);
void LectureTransitions(FILE *fichier);
void EntreeTransitions(void);
void SortieTransitions(element x);
void SortieLaTeXTransitions(element x, FILE *fichier);
element AlloueMemoireTransitions(void);
void LibereMemoireTransitions(element Element);
void EntreePartieTransitions(void);