Name

Data options — Options concerning reading, preprocessing, and writing data

Synopsis

[-verbose] [ -ascii | -taf | -baf ] [ -no-extend-adt | -extend-adt | -may-extend-adt ] [-mcrl-hash] [-reorder-rules] [-add file ] [-rem file]

Description

Options concerning reading, preprocessing, and writing data.

Options

-verbose

Print information messages during run

-ascii

Write .tbf file in ascii code

-taf

As ascii, however in shared representation

-baf

Write .tbf file in binary format in shared representation

-no-extend-adt

Absolutely forbidden to extend the abstract data type

-extend-adt

Extend the abstract data type with standard functions and its equations

-may-extend-adt

Only if it is strict necessary (default)

-mcrl-hash

Use hash table during printing

-reorder-rules

Rewrite rules will be reordered such that the rules with closed rhs's occur first

-add file

Read extra data objects (functions, sorts, rewrite rules) written in .mcrl format from file. These objects will be added to the input abstract data type

-rem file

Read extra rewrite rules written in .mcrl format from file. These rewrite rules will be removed from the input abstract data type

Last update

16 December 2008 by Bert Lisser