Note that applying the above mathematical operations to a state variable is only meaningful if the state (an integer) is a simple numerical quantity. If it is a representation of some property (such as an integer representation of a bitstring) applying the above operations may not be useful.
Series Listbox
The series listbox simply lists all operation/state pairs which will be plotted on the graph. The same series are listed in the graph's legend.

Graph Tab
The graph tab simply contains a scientific graph containing all the data currently being plotted. Use the Series tab to add or remove series to plot. To change the appearance of the graph or print/copy it, use the Graph menu.
By default the graph automatically rescales to include all data points. However, the user may zoom in on a particular region by dragging a rectangle across a section of the graph, with the primary mouse button held down. To revert to automatic scaling click anywhere on the graph.