cmd.h
cmdInt.h
cmdCommand.c
cmdMain.c
cmdMgr.c
cmdTable.c
By: Gianpiero Cabodi and Stefano Quer
By: Gianpiero Cabodi and Stefano Quer
By: Gianpiero Cabodi and Stefano Quer
External procedures included in this file are:
CmdReadCommand()
By: Gianpiero Cabodi and Stefano Quer
External procedures included in this module are:
main()
InterpreteCommands()
By: Gianpiero Cabodi and Stefano Quer
The CMD manager structure contains pointer to the main
informations PdTRAV is dealing with.
It contains pointer to the other managers (fsm, tr, trav) and to a set
of "temporary" user defined registers.
Managers can be singularly created and deleted.
Registers can be assign with a BDD or array of BDD values.
Their name is user defined.
Cmd_MgrInit()
Cmd_MgrFree()
Cmd_MgrDup()
Cmd_MgrReadName()
Cmd_MgrReadVerbosity()
Cmd_MgrSetName()
Cmd_MgrSetVerbosity()
By: Gianpiero Cabodi and Stefano Quer
In the PdTRAV-cmd package commands are defined in a command table Cmd_Table_s. This table is initialized in this files allowing compiler checks. For each command it contains:
CmdCheckCommand()
CmdCommandExecute()
CmdQuit()
CmdDdmInit()
CmdDdmShare()
CmdDdmDup()
CmdDdmAlign()
CmdDdmSet()
CmdDdmDynOrd()
CmdDdmGroup()
CmdDdmDelete()
CmdBddRead()
CmdBddWrite()
CmdBddNot()
CmdBddAnd()
CmdBddOr()
CmdBddCof()
CmdBddRes()
CmdBddDelete()
CmdBddDenseSet()
Pdtutil_MgrOpenScript()
CmdSetOption()
CmdShowOption()
CmdHelp()
CmdFsmRead()
CmdFsmPmBuild()
CmdFsmWrite()
CmdFsmDelete()
CmdTrInit()
CmdTrDelete()
CmdTravInit()
CmdTravDelete()
CmdTravProfile()
CmdTravTraverse()
CmdDevel()
CmdOrdRead()
CmdOrdWrite()
CmdTrClusterExtract()
CmdLambdaLatchRemove()
CmdTrCluster()
CmdTrPartition()
CmdTrClosure()
CmdStatsPrint()
CmdBddPartMake()
CmdBddPartAdd()
CmdBddPartRead()
CmdBddPartDelete()
CmdBddCopy()
LocateOption()
LocateParam()
CmdMgrOperation()
CmdRegOperation()
RegFullFind()
RegEmptyFind()
CommandCompare()