Rev 7210 | Go to most recent revision | Details | Last modification | View Log | RSS feed
Rev | Author | Line No. | Line |
---|---|---|---|
20 | reyssat | 1 | Available \options: |
2 | nofloat nostatus fixedgoal askcontext askresult nosimplify strongsimplify |
||
3 | expand factor |
||
4 | |||
5 | nofloat: do not accept floating point numbers with `.'. |
||
6 | nostatus: do not show step status. |
||
7 | fixedgoal: do not allow goal reduction. |
||
8 | askcontext: ask for application context of each method (when available). |
||
9 | askresult: ask for result of each method (when available). |
||
10 | nosimplify: do not simplify method results. |
||
11 | strongsimplify: strongly simplify method results. |
||
12 | expand: expand after simplification. |
||
13 | factor: factor out after simplification. |
||
14 | |||
15 | |||
16 | |||
17 |