Adding and saving Quantifiers

Quantifiers can be added to the of available Quantifiers by first entering their information in the editor and then clicking on the Add button near the lower edge of the Quantifier Editor window.

Saving quantifiers

You can replace quantifiers in the memory by selecting the Replace quantifier menu option from the file menu. A dialog will open where you can choose which quantifier to replace.

Quantifiers can also be saved permanently to files. To save a quantifier to file select the Add to the list menu item in the File menu. When you choose this option from the File menu the following dialog will open.

Add quantifiers options

This dialog displays the different options for saving the quantifier. You can select the actions to be performed when the OK button is pressed. You can choose to either save the quantifier to a separate new file or to add it a file that already contains quantifiers in xml format. If you leave the check box with the text "Add to the currently available in memory" checked then the quantifier will also be added to memory just like when the Add button is pressed.

Pressing the Show button will display a list of all quantifiers that are currently in memory. To abort without doing anything press Cancel.

If the information entered in editor does not represent a valid Quantifier when any add operation is requested an error message will be displayed. Similarly if one chooses to save a Quantifier to memory and it conflicts with a Quantifier that is already in the memory a notification will be displayd and the operation will not be performed.