/*************************************** * * * 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);