About the Quantifier Editor

This editor can be used to edit GUHA quantifiers and create new ones. The resulting quantifiers can then be used in the GUHA Analysis application.

Below is a screen-shot showing the overall Quantifier Editor window.

Quantifier Editor