left

IPAD

right
AProVE Help SystemUser InterfaceGraphical User InterfaceSelecting OptionsUser DefinedIPAD

ipadconfig

In Addition to the common items(3) the user is able to configure if some simplification techniques(1) should be applied to the generated TRS. These simplifications can be applied automatically or interactively(2). In the interactive mode one can choose which simplifications should be applied and in which order. For further details about these techniques see the section on Techniques for IPAD.