A simple interface to produce a BCG graph. To keep things simple, this interface does not give access to the whole BCG format, but only to a subset, in which states are assumed to be unsigned integer numbers and labels of the edges are assumed to be character strings. Sub-strings that do not match the above cases are implemented as character strings in the BCG file. Label parsing is especially of interest when using the XTL model-checker, which allows to take advantage of the types and typed values defined in BCG files. However, in order to improve inter-operability between tools, we do not recommend this practice.
Files See the bcg manual page for a description of the files.