Table of Contents
bcg_info - display information about graphs encoded in the BCG format
] [ -branching
] [ -deadlock
] [ -format
] [ -labels
] [ -nondeterministic label_number
] [ -order
] [ -path
] [ -profiles
] [ -size
] [ -unreachable
] [ -compact | -verbose
This command takes as input the BCG graph
and displays various information (number of states, number
of transitions, number of labels, etc.) about this graph.
A dynamic library
corresponding to filename.bcg may be generated if necessary.
are currently supported: -version
, and -tmp
. See the bcg
manual page for a description of
The following options are also supported:
- Display statistics about the branching factor, i.e., the average,
minimal, and maximal number of transitions going out of the states.
- Display the list of deadlock states. The output of this command can be
controlled using the -compact, -verbose, and -line options (see below).
- Display the BCG format version number (e.g., 1.0, 1.1) used for filename[.bcg]
- Display the number of hidden (i.e., `tau') transitions.
the number of labels followed by the list of labels.
- -nondeterministic label_string
- Display the list of states in which there is nondeterminism for label label_string,
i.e., the states in which there are at least two outgoing transitions labelled
by label_string. If label_string is equal to the special string `-', then nondeterministic
states are searched for each label. The output of this command can be controlled
using the -compact, -verbose, and -line options (see below).
information about the order in which transitions are sorted (depending
on source states, destination states and label numbers)
- -path state_number
- Display the shortest path from the initial state to the state given by
state_number. The path is displayed using the simple SEQ format (see the
man page for a description of this format).
- Display the number of states and transitions on a single line.
- Display the list of states that cannot be reached from the
initial state of the graph (this list should be empty if the graph is connected).
The output of this command can be controlled using the -compact, -verbose,
and -line options (see below).
- Display lists of states in a user-friendly,
synthetic form. There are about ten state numbers per line and, whenever
possible, a shorthand notation `M ... N' is used to indicate all state numbers
in the range between M and N. Default option.
- Similar to -compact
option, except that the shorthand notation `...' is not used. Not a default option.
- Display lists of states in a simple form, with only one state number
per line. Not a default option.
See the bcg
manual page for a description of the environment variables used by all
the BCG application tools.
Exit status is 0 if everything is
alright, 1 otherwise.
Hubert Garavel, Bruno Ondet, and Damien Bergamini
- BCG graph (input)
- dynamic library (input
- ``bcg_info'' shell script
- ``bcg_info'' static library
See the bcg
manual page for a description
of the other files.
information is available from the CADP Web page located at http://cadp.inria.fr
Directives for installation are given in files $CADP/INSTALLATION_*.
changes and improvements to this software are reported and commented in
Please report bugs to Hubert.Garavel@inria.fr
Table of Contents