The Quantifiers window is where you can select which GUHA quantifiers are used and set their parameter values. You can also load in files that contain quantifiers or delete quantifiers from memory.
The upper table contains those quantifiers which are currently selected to be used. Under this table is a combo box where you can select one of the available quantifiers to be added to this table.
Once you select a quantifier from the combo box its parameters will be displayed in the lower table. By default all quantifiers have zeros as values for each of their parameters. You can edit the parameter values in the right-hand column of the parameter table. Then when you press the Add button the selected quantifier will be added to the list of selected quantifiers with the specified parameter values.
The parameter values of already selected quantifiers can be changed by clicking the button in the most right on its row. This will open a small window that contains a table showing all parameters of the quantifier. You can edit the parameter values. Then when you press the set button these changes will be made permanent. If you press the close button then any possible changes will be discarded and the old parameter values are kept.
Clicking on the second button from the right on a quantifier's row will bring up a small window that contains a description of the quantifier in question. Note that the description is an optional auxiliary feature and some quantifiers may not have one.
Quantifiers can also be removed from the set of selected quantifiers. To unselect a quantifier right click on its row in the table of selected quantifiers. Then click on the Remove menu item in the popup menu and the corresponding row will be removed. However this does not remove the quantifier from the set of available quantifiers. To completely remove a quantifier from memory you must choose the menu item Delete quantifier from the Edit menu. This lets you select which quantifier to delete. Naturally the deleted quantifier will also be automatically removed from the table of selected quantifiers.
It is possible to compute the hypotheses and evaluate the selected quantifiers by clicking on the Calculate button. This has the same affect as choosing the option to create all four-fold tables in the GUHA Analysis window.
To save all quantifiers to file select the menu item Save all quantifiers from the File menu. You can then choose the file where to write the xml representation of the set of all currently available quantifiers.
To load all quantifiers from an xml file to memory select the menu item Load all quantifiers from the File menu. All prior quantifiers will be retained in memory in addition to the new ones.
Selecting the Close menu item in the File menu hides the Quantifiers frame.