No abstract

if(cmd == 'a' || cmd == 'A') Reachability(ifile1, ifile2, twofiles, f10); / * see Reachability.h * / if(cmd == 'b' || cmd == 'A') Minimization(ifile1, ifile2, twofiles, f10); / * see Minimization.h * / if(cmd == 'c' || cmd == 'A') Removeep(ifile1, ifile2, twofiles, f10); / * see RemoveEp.h * / if(cmd == 'd' || cmd == 'A') NDFSM to DFSM(ifile1, ifile2, twofiles, f10);/ * see NDFSMtoDFSM.h * / if(cmd == 'e' || cmd == 'A') Complement(ifile1, ifile2, twofiles, f10); / * see Complement.h * / if(cmd == 'f' || cmd == 'A') Strict Synch Comp(ifile1, ifile2, ifile3, threefiles, f10); / * see StrictSynchComp.h * / if(cmd == 'g' || cmd == 'A') Union(ifile1, ifile2, ifile3, threefiles, f10); / * see Union.h * / if(cmd == 'h' || cmd == 'A') Concatenation(ifile1, ifile2, ifile3, threefiles, f10); / * see Concatenation.h * / if(cmd == 'i' || cmd == 'A') Asynch Comp(ifile1, ifile2, ifile3, threefiles, f10); / * see AsynchComp.h * / if(cmd == 'j' || cmd == 'A') Quotient(ifile1, ifile2, ifile3, threefiles, f10); / * see Quotient.h * / if(cmd == 'k' || cmd == 'A') Supremal Cont Sub Lang(ifile1, ifile2, ifile3, ifile4, threefiles, fourfiles, f10); / * see SupremalContSubLang.h * / if(cmd == 'l' || cmd == 'A') Rename(ifile1, ifile2, twofiles, f10); / * see Rename.h * / if(cmd == 'm' || cmd == 'A') Trim(ifile1, ifile2, twofiles, f10); / * see Trim.h * / if(cmd == 'n'|| cmd == 'A') / * see Mask.h * / Mask(ifile1, ifile2, ifile3, twofiles, f10); if(cmd == 'o'|| cmd == 'A') / * see UnMask.h * / UnMask(ifile1, ifile2, ifile4, twofiles, f10); / * CHECK FUNCT / * see CheckFunct.h * / if(cmd == 'r' || cmd == 'A') Completion(ifile1, ifile2, ifile3, threefiles, f10); / * see Completion.h * / if(cmd == 's' || cmd == 'A') Augmentation(ifile1, ifile2, ifile3, threefiles, f10); / * see Augmentation.h * / if(cmd == 't' || cmd == 'A') Sup Con Norm(ifile1, ifile2, ifile3, ifile4, threefiles, fourfiles, f10); / * see SupConNorm.h * / if(cmd == 'y' || cmd == 'A') Control Check(ifile1, ifile2, ifile3, ifile4, threefiles, fourfiles, f10); / * see ControlCheck.h * / / * MULTIF SYNCH COMP / * if(cmd == 'M' || cmd == 'A') see MultifSynchComp.h * / if(cmd == 'O' || cmd == 'A') Comp Synch Comp(ifile1, ifile2, ifile3, threefiles, f10); / * see CompSynchComp.h * / if(cmd == 'V' || cmd == 'A') Observability(ifile1, ifile2, ifile3, ifile4, threefiles, fourfiles, f10); / * see Observability.h * / if(cmd == 'W' || cmd == 'A') Normality(ifile1, ifile2, ifile3, ifile4, threefiles, fourfiles, f10); / * see Normality.h * / if(cmd == 'X' || cmd == 'A') Diagnosability(ifile1, ifile2, ifile3, ifile4, threefiles, fourfiles, f10); / * see Diagnosability.h * /