Generalities

The top pane of the SLS window is an interactor pane from which the user interacts with the system. It prompts the user for commands and arguments.

At any time the user can get help about the current possibilities by clicking on the right-button.

Commands are accessible either thru the command line using completion (achieved with the <TAB> key or from the menus items. Some commands are also available from buttons.

All commands accessible are accessible by typing the command name (written on the item) to the Command prompt. The latter is recommended as thru completion it will save the user a lot of typing. Completion works for commands, data filenames, automaton names, trs names, termset names.

The menu are there to remind the user of every possible command or for people who don't like to type. In any case, at the moment, arguments of commands need to be typed in the interactor pane.

• The Read commands are used to read SLS objects into the current specificationc directly from the command line.
• The Load commands are used to load SLS objects into the current specification from a file with the .txt extension.
• The Save commands are used to save SLS objects into a file.
• The Retrieve commands are used to set the current SLS object with an already computed object.
• The Alphabet (resp. Ialphabet ) commands give the alphabet (resp. ialphabet) of the current SLS object of the correponding type.