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.