Data options — Options concerning reading, preprocessing, and writing data
[-verbose
] [ -ascii
| -taf
| -baf
] [ -no-extend-adt
| -extend-adt
| -may-extend-adt
] [-mcrl-hash
] [-reorder-rules
] [-add
file
] [-rem
file
]
-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
.
These objects will be added to the input abstract
data type
file
-rem
file
Read extra rewrite rules
written in .mcrl
format from
.
These rewrite rules will be removed from the input abstract
data type
file