/*************************************** * * * Copyright (c) 1998 Jean-Eric Pin * * All rights reserved. * * * * TAB = 2 spaces * * * ***************************************/ /*------------------------------------------------------------------- * SortieLaTeXVarietes.h Jean-Eric Pin 07/12/96 *------------------------------------------------------------------- */ void SortieLaTeXEstCommutatif(FILE *fichier); void SortieLaTeXEstIdempotent(FILE *fichier); void SortieLaTeXEstJ1(FILE *fichier); void SortieLaTeXEstNilpotent(FILE *fichier); void SortieLaTeXEstUnGroupe(FILE *fichier); void SortieLaTeXEstAperiodique(FILE *fichier); void SortieLaTeXEstJRLtrivial(FILE *fichier); void SortieLaTeXEstEcom(FILE *fichier); void SortieLaTeXEstBG(FILE *fichier); void SortieLaTeXEstDA(FILE *fichier); void SortieLaTeXEstDS(FILE *fichier); void SortieLaTeXEstRvL(FILE *fichier); void SortieLaTeXEstL1(FILE *fichier); void SortieLaTeXEstLG(FILE *fichier); void SortieLaTeXEstB1(FILE *fichier); void SortieLaTeXEstB1Plus(FILE *fichier);