PBG_INFO manual page
Table of Contents

Name

pbg_info - display information about a partitioned BCG graph

Synopsis

pbg_info [ -check ] [ -labels ] [ -log ] [ -size ] filename[.pbg]

Description

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.

Options

-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

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

Authors

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

Operands

filename.pbg
partitioned BCG graph (input)

Files

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.

Bugs

Please report bugs to cadp@inria.fr


Table of Contents