Man Linux: Main Page and Category List

NAME

       lpsbinary  -  replace  finite  sort  variables  by  vectors  of boolean
       variables in an LPS

SYNOPSIS

       lpsbinary [OPTION]... [INFILE [OUTFILE]]

DESCRIPTION

       Replace finite sort variables by vectors of boolean  variables  in  the
       LPS  in  INFILE  and  write  the  result  to  OUTFILE. If INFILE is not
       present, stdin is used. If OUTFILE is not present, stdout is used

OPTIONS

       OPTION can be any of the following:

       -rNAME, --rewriter=NAME
              use rewrite strategy NAME:
                ’jitty’ for jitty rewriting (default),
                ’jittyp’ for jitty rewriting with prover,
                ’jittyc’ for compiled jitty rewriting,
                ’inner’ for innermost rewriting,
                ’innerp’ for innermost rewriting with prover, or
                ’innerc’ for compiled innermost rewriting

       Standard options:

       -q, --quiet
              do not display warning messages

       -v, --verbose
              display short intermediate messages

       -d, --debug
              display detailed intermediate messages

       -h, --help
              display help information

       --version
              display version information

AUTHOR

       Written by Jeroen Keiren.

REPORTING BUGS

       Report bugs at <http://www.mcrl2.org/issuetracker>.

COPYRIGHT

       Copyright © 2010 Technische Universiteit Eindhoven.
       This is free software.  You may redistribute copies  of  it  under  the
       terms         of        the        Boost        Software        License
       <http://www.boost.org/LICENSE_1_0.txt>.  There is NO WARRANTY,  to  the
       extent permitted by law.

SEE ALSO

       See              also             the             manual             at
       <http://www.mcrl2.org/mcrl2/wiki/index.php/User_manual/lpsbinary>.

lpsbinary mCRL2 toolset July 2010 (Maye2010ent)