![]() |
User Defined |
![]() |
AProVE Help System → User Interface → Graphical User Interface → Selecting Options → | User Defined |
├ TES | |
├ TRS | |
├ ETRS | |
├ SES | |
├ SRS | |
├ CSR | |
├ FP | |
├ IPAD | |
└ PROLOG |
The user defined mode for termination offers the maximal control about the prover. For each input type several special options are available. The common items are the two Configuration boxes (TRS and SCC) and the Dependency Pair checkbox.
A Configuration Box allows to order and to configure the offered techniques.
saves the current list to a file.
Some predefined lists are available for selection in the Presets combobox(1).
Add adds the technique selected in the Technique combobox(2) to the list(3).
moves the selected technique upwards.
removes the selected technique from the list.
moves the selected technique downwards.
In the configuration area(4) one can specify more detailed settings for the selected technique.
The TRS Configuration shows the current selected techniques the prover will apply to the TRS. The Dependency Pairs checkbox(5) activates the Dependency Pair technique and therefore the Scc Configuration(6).