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:
- cmd manager: It keeps track of the different managers (see belove),
user registers and command interface settings.
- fsm manager: It keeps track of the FSM structure the PdTrav program
is dealing with. See the FSM packege for further details.
- tr manager: It contains information regardign the Transition Relation
of the system. See the TR package for further details.
- trav manager: It stores information regarding the reachability analysis
process. See the TRAV package for further details.
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