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