PBG_INFO manual page
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 whether filename.pbg is consistent, i.e. whether all local and remote files referred to in filename.pbg exist and are readable.

Display the number of labels followed by the list of labels present in filename.pbg.

Display the concatenation of all the log fragments referred to in filename.pbg (these fragments generally are stored on remote machines).

Print the total number of states and transitions of the labelled transition system described by filename.pbg.

Exit Status

Exit status is 0 if everything is alright, 1 otherwise.


Hubert Garavel and Wendelin Serwe (INRIA Rhone-Alpes).


partitioned BCG graph (input)


The binary code of pbg_info is available in $CADP/bin.`arch`/pbg_info.

See Also

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