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