/*************************************** * * * Copyright (c) 1998 Jean-Eric Pin * * All rights reserved. * * * * TAB = 2 spaces * * * ***************************************/ /*------------------------------------------------------------------- * Reduction.h Jean-Eric Pin 07/12/96 *------------------------------------------------------------------- */ numero Reduction(lettre *Mot); numero ProduitParReduction(numero x1, numero x2); numero ProduitParReductionRecursif(numero n1, numero n2); info *ProduitParReductionInfo(info *n1, info *n2); numero xOmega(numero x); void Calcul_eSe_Brutal(numero e); /* Par force brute ! A modifier */ void CalculMonoideLocal(numero e); void CalculMonoideLocalMot(lettre *Mot); void ParcoursDroit(numero s); /* Parcours en profondeur du graphe droit */ void ParcoursGauche(numero s); /* Parcours en profondeur du graphe gauche */ void CalculIdealDroit(numero s); /* Ideal a droite engendre par s */ void CalculIdealGauche(numero s); /* Ideal a gauche engendre par s */