Forming phi and psi formulas

New phi and psi formulas can be entered in the phi and psi formula tables in the center of the GUHA Analysis window. Formulas in these tables can also be removed. Only those formulas that are in the tables can be considered in computations.

Creating phi and psi formulas

Editing formulas

Formulas can be created by adding operands to them by checking their check boxes in the list on the left side of the GUHA Analysis window. By default the added operand will be preceded by the connective AND. If you want it to be preceded by the connective OR instead you must click on the OR button before selecting it on the list.

The token number of the inserted operand can be changed. To change the token number double-click on the current token number. Then you can modify the value in that table cell with the keyboard. Only valid floating-point values can be entered as token numbers.

To remove an operand from the formula you must uncheck its check box on the list the preceding connective is also removed automatically.

An alternative way to create formulas is to manipulate the text field directly. You can at any time click the Formula text field so that the cursor enters it and write the desired formula with the keyboard. These two approaches can also be combined. For example you can first create the formula by making selections in the table and then edit the formula manually.

To specify whether the created formula should be added to the phi or psi list you must select the corresponding radio button above the list of places. For example in the picture on the right a psi formula is being created.

You can view the created formula in the Formula text field below the list of places.

Once the Apply button is pressed the created formula is entered on the selected list. After this a new formula can be created.

Pressing the Cancel button erases the created formula and selections but does not affect the formulas already entered on the phi and psi lists.

When a formula is created it does not contain any description. You can add a description to it at any time by editing its description field in the formula table.

Usually the formulas and their descriptions are quite long and cannot be fully visible in the table cells. To view them you can either resize the formula tables or their columns or you can move the mouse cursor over the cells. This will display tool tips showing the contents of the cells.

Deleting phi and psi formulas

You can delete phi and psi formulas by right-clicking on a formula. A popup menu will appear with the menu item Delete item. Selecting this item will erase the corresponding row from the table.

An alternative way to remove formulas is to first select the check boxes of a group of formulas in the phi or psi formula table and then press the Delete key on the keyboard. Now the set of formulas whose check boxes are checked will be erased.