-
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