The result panel on the right side of the GUHA Analysis window is used for viewing computation results. The image above shows an example of the results obtained with the Create four-fold tables menu option.
On the top the result panel contains two combo boxes that are used for selecting the phi and psi formula pair whose results should be displayed. The indices to the left of the combo boxes refer to the formulas' indices in the phi and psi formula tables.
In the middle of the panel the four-fold table computed for the selected phi and psi formulas is shown.
The bottom part of the result panel contains the truth values of the selected quantifiers for the displayed four-fold table. The left column shows the name of the quantifier, the middle column shows its truth value and the right column contains a button for each quantifier.
The picture above also shows the popup menu associated with the result panel. The popup menu contains items to customize the view in the lower pane of the result panel. The items are organized in two groups of radio buttons:
If the Quantifier view option is chosen then the following dialog will open where you can choose the evaluated quantifier in the combo box:
To keep the old view unaltered choose 'Cancel'. If you choose 'OK' then the view will be changed so that the lower table in the result pane shows those combinations of phi and psi formulas for which the selected quantifier evaluates to true. Below is an example of how the lower table will look then. On the left the Marking view is selected. On the right is the same view with the option Name view selected. Note that the table columns may not be wide enough to show the entire formulas but the formulas can also be viewed in the tool tips associated with the table.
The buttons in the table in the 'Quantifier view' do not do anything in the current version of the software.