The cmd package

Command user interface for the pdtrav package.

By Gianpiero Cabodi and Stefano Quer


The cmd package constitute the command interface to the PdTrav package. Each package (fsm, tr, trav, part, etc.) should be used separately and/or with a different command interface. cmd allows the user to issue commands to read source files, build BDDs, doing operation with them, or traverse the network. It basically deals with the following objects: It finally contains a set of temporary registers. Each temporary register can be adressed by a "userd-defined" name, and can contains a BDD pointer or a pointer to an array of BDDs. Operation on these registers are allowed. BDD transfer among registers and managers are also permitted.
Check on consistency and order of issued commands are also performed.
See file cmdHelp.txt for a guide on command. This file constitute the on-line and off-line command documentation of the CMD package. To have the documentation on-line a copy of it (or a link to it) has to be present in the working directory.
Last updated on 990617 11h53