Name

Rewriter Options — Options concerning the rewriter

Synopsis

[-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] }} ]

Description

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).

Options

-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 file.so (Compiling rewriter only)

-read-so file

Read compiled rewrite system from file.so (Compiling rewriter only)

-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)

Last update

16 December 2008 by Bert Lisser