- UPPAAL Help
Plot Composer allows to edit and superimpose different data onto one plot (e.g. for comparison purposes). The new plot composer window can be opened by selecting Plot Composer item in the Tools menu.
On the left side of Plot Composer the original data are grouped by properties, verification instances and different concepts the data stands for. On the right side at the top a few editable properties about the selected item is displayed and at the bottom is the resulting composite plot. The data in the leaf nodes on the left side can be selected to be displayed on the plot by double-clicking the node. The legend, color, shape, stroke and area of a particular data visualisation can be customized by changing the properties at the top. The plot size can be changed by resizing the Plot Composer window. The resulting plot can be exported from a popup-menu by right-clicking on the plot.