binary — Transforms each variable of enumerated sort to a sequence of boolean variables
binary
[-help
] [-help-all
] [-version
] [-norewr
] [-inv
] [-infile
file
] [Data Options
] [Rewriter Options
] [
]input
.tbf
This filter reads from
(or
input
.tbf stdin
if not given) an LPE
in .tbf
format and transforms
it to an LPE in which each variable of enumerated sort
is replaced by a vector of boolean variables.
This will be written to stdout
.
-help
Display help information
-help-all
Display all help information
-version
Get the version number of this release
-norewr
Do not rewrite after replacing parameters
-inv
Add a condition to each summand restricting the new boolean parameters to values corresponding to valid values of the enumerated types
-invfile
file
Do the same as -inv
, but put the conditions
as an invariant in file