Login or Register to Ask a Question and Join Our Community

Linux and UNIX Man Pages

Linux & Unix Commands - Search Man Pages

pbesinfo(1) [debian man page]

PBESINFO(1)							   User Commands						       PBESINFO(1)

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

       -iFORMAT, --in=FORMAT
	      use input format FORMAT:
		'pbes' PBES in internal format
		'bes' BES in internal format
		'cwi' BES in CWI format
		'pgsolver' max-parity game in PGSolver format

       --timings[=FILE]
	      append timing measurements to FILE. Measurements are written to standard error if no FILE is provided

       Standard options:

       -q, --quiet
	      do not display warning messages

       -v, --verbose
	      display short intermediate messages

       -d, --debug
	      display detailed intermediate messages

       --log-level=LEVEL
	      display intermediate messages up to and including level

       -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 (C) 2012 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>.

pbesinfo mCRL2 toolset 201202.0 (Release)			    April 2012							       PBESINFO(1)

Check Out this Related Man Page

PBESPARELM(1)							   User Commands						     PBESPARELM(1)

NAME

       pbesparelm - remove unused parameters from a PBES

SYNOPSIS

       pbesparelm [OPTION]... [INFILE [OUTFILE]]

DESCRIPTION

       Reads  a  file containing a PBES, and applies parameter elimination to it. If OUTFILE is not present, standard output is used. If INFILE is
       not present, standard input is used.

OPTIONS

       OPTION can be any of the following:

       --timings[=FILE]
	      append timing measurements to FILE. Measurements are written to standard error if no FILE is provided

       Standard options:

       -q, --quiet
	      do not display warning messages

       -v, --verbose
	      display short intermediate messages

       -d, --debug
	      display detailed intermediate messages

       --log-level=LEVEL
	      display intermediate messages up to and including level

       -h, --help
	      display help information

       --version
	      display version information

AUTHOR

       Written by Wieger Wesselink; Simon Janssen and Tim Willemse.

REPORTING BUGS

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

COPYRIGHT

       Copyright (C) 2012 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/pbesparelm>.

pbesparelm mCRL2 toolset 201202.0 (Release)			    April 2012							     PBESPARELM(1)
Man Page