Table of Contents
pbg_info - display information about a partitioned BCG graph
pbg_info
[
-check ] [
-labels ] [
-log ] [
-size ]
filename[.pbg]
pbg_info
takes as input the partioned BCG graph
filename.pbg, encoded in the PBG
format and, depending on the option given on the command line, displays
various information about
filename.pbg.
Refer to the gcf
and pbg
manual pages for details about the GCF and PBG formats.
- -check
- Check
whether filename.pbg is consistent, i.e. whether all local and remote files
referred to in filename.pbg exist and are readable.
- -labels
- Display the number
of labels followed by the list of labels present in filename.pbg.
- -log
- Display
the concatenation of all the log fragments referred to in filename.pbg (these
fragments generally are stored on remote machines).
- -size
- Print the total
number of states and transitions of the labelled transition system described
by filename.pbg.
Exit status is 0 if everything is alright, 1
otherwise.
Hubert Garavel and Wendelin Serwe (INRIA Rhone-Alpes).
- filename.pbg
- partitioned BCG graph (input)
The binary code of
pbg_info
is available in $CADP/bin.`arch`/pbg_info.
bcg
,
gcf
,
pbg
,
bcg_merge
,
distributor
,
pbg_cp
,
pbg_mv
,
pbg_open
,
pbg_rm
Additional information is available from
the CADP Web page located at http://cadp.inria.fr
Directives for installation
are given in files $CADP/INSTALLATION_*.
Recent changes and improvements
to this software are reported and commented in file $CADP/HISTORY.
Please
report bugs to
cadp@inria.fr
Table of Contents
