Rewriter Options — Options concerning the rewriter
[-hash
] [-no-hash
] [-alt
{{
-rw
[-simple
]
[-no-eq
]
[-case
]
[-debug
]
[-write-so
]
[file
-read-so
]
} | {
{ file
-innermost
| -jitty
}
[-conditional
]
[-rw-limit
]
[N
-rw-verbose
]
[-rw-statistics
]
}}
]
Common options concerning the choice of an alternative rewriter, the strategy which is used by that rewriter, and the optimization options. Default the interpreting rewriter will be used with jitty strategy, except for the instantiator (default the recent compiling rewriter).
-hash
Use hashing during rewriting (default)
-no-hash
No hash tables are used during rewriting
-alt
rewriter
Choice of an alternative rewriter.
rewriter
stands for:
rw
The compiling rewriter with innermost strategy, however the case functions will be evaluated with jitty strategy
jitty
Interpreting rewriter with just in time rewriting strategy.
innermost
Interpreting rewriter with innermost strategy
-simple
Translation of rewrite rules without optimizing (Compiling rewriter only)
-no-eq
No optimization at rewriting of eq
rules
(Compiling rewriter only)
-case
Uses implicit distribution rules on case functions. Recommended after structelm (Compiling rewriter only)
-debug
The source code of the compiled rewrite system
will not be removed.
The source will be compiled with the flag -g
.
Also the .so
file will
not be removed
(Compiling rewriter only).
-write-so
file
Write compiled rewrite system in
(Compiling rewriter only)
file
.so
-read-so
file
Read compiled rewrite system from
(Compiling rewriter only)
file
.so
-conditional
View rule
l
->if
(c,r1,r2)
as conditional (Interpreting rewriter only)
-rw-limit
N
Maximal N
rewrite steps per term
(Interpreting rewriter only)
-rw-verbose
Print some rewrite messages (Interpreting rewriter only)
-rw-statistics
Print some rewrite statistics (Interpreting rewriter only)