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 distributor
manual
page 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
,
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 file $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
