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. At the bottom right of the window the weight of the current element of the language is given.
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.
Upon right clicking on any of the smaller windows that show trees or values, you will be given options for saving the content in different formats to the clipboard as seen below.
