left

FP

right
AProVE Help SystemUser InterfaceGraphical User InterfaceSelecting OptionsUser DefinedFP

fpconfig

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 one mode can choose which simplifications should be applied and in which order. For further details about these techniques see the section on Techniques for FP.