CmdBddAnd()
And
CmdBddCof()
Cofactor
CmdBddCopy()
Copies a Bdd
CmdBddDelete()
Deletes Bdd
CmdBddDenseSet()
Take a dense subset of a BDD
CmdBddNot()
Complements the default BDD
CmdBddOr()
Or
CmdBddPartAdd()
Adds a partition to a Bdd
CmdBddPartDelete()
Deletes a partition
CmdBddPartMake()
Make partitions starting from a Bdd
CmdBddPartRead()
Reads a partition
CmdBddRead()
Loads a bdd stored in a file
CmdBddRes()
Or
CmdBddWrite()
Stores a bdd
CmdCheckCommand()
Recognize a command.
CmdCommandExecute()
Execute a Command.
CmdDdmAlign()
Align two Decision Diagram managers.
CmdDdmDelete()
CmdDdmDup()
Duplicate a Decision Diagram manager.
CmdDdmDynOrd()
Set Decision Diagram manager parameter as far as dynamic variable reordering is concern.
CmdDdmGroup()
CmdDdmInit()
Init a Decision Manager.
CmdDdmSet()
Set option in a Decision Diagram Manager.
CmdDdmShare()
CmdDevel()
Test wrapper
CmdFsmDelete()
Deletes a BDD based FSM description
CmdFsmPmBuild()
loads a BDD based FSM description
CmdFsmRead()
loads a BDD based FSM description
CmdFsmWrite()
stores a BDD based FSM description file
CmdHelp()
On-line help: If there is no parameter, list all commands, otherwise provides the usage for the command passed as parameter.
CmdLambdaLatchRemove()
Removes Lambda Latches
CmdMgrOperation()
Read, Set or Print Statistics for "something"
CmdOrdRead()
Reads variable order
CmdOrdWrite()
Writes variable order
CmdQuit()
Quits the program
CmdReadCommand()
Read new options setting
CmdRegOperation()
Read, Set or Print Statistics for "something"
CmdSetOption()
CmdShowOption()
CmdStatsPrint()
Prints statistics
CmdTrClosure()
Computes the transitive closure
CmdTrClusterExtract()
Extracts a Transition Relation Cluster
CmdTrCluster()
Builds a clustered Transition Relation
CmdTrDelete()
Deletes a Transition Relation Manager
CmdTrInit()
Build a Transition Relation
CmdTrPartition()
Partitions the Transition Relation
CmdTravDelete()
Delete a Traversal Manager
CmdTravInit()
Init Traversal Manager.
CmdTravProfile()
Manage TR profiles
CmdTravTraverse()
Main traversal command
Cmd_MgrDup()
Duplicates a CMD structure.
Cmd_MgrFree()
Frees the CMD structure.
Cmd_MgrInit()
Initializes the CMD structure.
Cmd_MgrReadName()
Reads the name of a CMD manager.
Cmd_MgrReadVerbosity()
Read the "default" verbosity level of the CMD manager.
Cmd_MgrSetName()
Set the name of the CMD manager.
Cmd_MgrSetVerbosity()
Set the "default" verbosity value of the CMD manager.
CommandCompare()
Compares two command definition structs
InterpreteCommands()
Read and interpret commands from a file
LocateOption()
searches an option in the array of options
LocateParam()
Searches a parameter in the array of parameters
Pdtutil_MgrOpenScript()
Loads a script
RegEmptyFind()
Find an Empty Register
RegFullFind()
Find a Full Register
main()
Main program for PdTRAV.

Last updated on 990617 11h53