PBESINFO
PBESINFO
Section: User Commands (1) Updated: October 2010 Local index
Up
NAME
pbesinfo - display basic information about a PBES
SYNOPSIS
pbesinfo
[OPTION]... [INFILE]
DESCRIPTION
Print basic information about the PBES in INFILE. If INFILE is not present,
standard input is used.
OPTIONS
- OPTION can be any of the following:
-
- -f, --full
-
display the predicate variables and their signature
- --mcrl2-gui
-
outputs information about the visual representation of this option in the mCRL2
GUI
- 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 Wieger Wesselink; Alexander van Dam.
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/pbesinfo>.
Index
- NAME
-
- SYNOPSIS
-
- DESCRIPTION
-
- OPTIONS
-
- AUTHOR
-
- REPORTING BUGS
-
- COPYRIGHT
-
- SEE ALSO
-
This document was created by
man2html,
using the manual pages.
Time: 21:24:35 GMT, April 16, 2011