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

/*-------------------------------------------------------------------
 * Menu.h  Jean-Eric Pin 07/12/96
 *-------------------------------------------------------------------
 */     
 
#define SMALL  1000000

enum OptionsExemples  {OptionSn = 1, OptionTn, OptionFn, OptionIn, OptionMultn, OptionRBn, OptionOn,
                       OptionPOIn ,OptionPOPIn, OptionZnZ, OptionBAn, OptionMBAn, OptionTrn, 
                       OptionUn, OptionSyntactic, OptionThresholdCountern, OptionTwoLittleMatrices, 
                       OptionNonKnast, OptionExempleTransitions, OptionMatricesBooleennes, 
                       OptionMatricesEntieres, OptionMatricesMaxPlus};
enum OptionsActions    {OptionListeElements = 1, OptionListeRelations, OptionListeIdempotents,
                       OptionOrdreSyntactique, OptionIdealMinimal, OptionRelationsDeGreen, OptionInverses,
                       OptionMonoideLocal, OptionIdealDroit, OptionIdealGauche, OptionCalculElement, OptionNoyau,
                       OptionCalculVariete, OptionRetour, OptionFin};
/* enum OptionsVarietes  {OptionEcom = 1, OptionBG, OptionDA,, OptionDS, OptionL1, OptionLG, OptionB1, OptionB1Plus};
*/
void MenuLaTeX(void);
void Menu(void);
void EntreeTypeSemigroupe(void);
void EntreeTailleAlphabet(void);
void MenuSemigroupe(void);
void MenuExemple(void);
void MenuVariete(void);
void MenuActions(void);