LanguageWindow
The language window allows you to go through different languages that an IRTG generates for its different interpretations. There are views that can be selected for every interpretation plus one for the underlying trees, as shown in the image above. At the bottom of the window there is a field where the number of the desired interpretation can be specified by the user. Next to the window the number of available elements in the language is given. To the left and right of the window there are bottoms that allow the user to iterate through the elements of the language.
It is possible to chose a different view from the drop-down list. In addition the view dialogue offers the option to add more views side by side with those already existing. It is also possible to reduce the number of views if more than one is currently shown. All other dialogues behave as in the main gui.
Each view that results from an interpretation will show the expression that is generated in that interpretation and its value as seen below.
