static void 
CmdBddAnd(
  FILE ** fin, Input Stream
  Cmd_Mgr_t * cmdMgr, Traverse Manager
   , Command Options
    Command Parameters
)
And

Side Effects None

Defined in cmdTable.c

static void 
CmdBddCof(
  FILE ** fin, input stream
  Cmd_Mgr_t * cmdMgr, traverse manager
   , command options
    command parameters
)
Cofactor

Side Effects None

Defined in cmdTable.c

static void 
CmdBddCopy(
  FILE ** fin, input stream
  Cmd_Mgr_t * cmdMgr, command manager
   , command options
    command parameters
)
Copies a Bdd

Side Effects None

Defined in cmdTable.c

static void 
CmdBddDelete(
  FILE ** fin, input stream
  Cmd_Mgr_t * cmdMgr, command manager
   , command options
    command parameters
)
Deletes Bdd

Side Effects None

Defined in cmdTable.c

static void 
CmdBddDenseSet(
  FILE ** fin, input stream
  Cmd_Mgr_t * cmdMgr, command manager
   , command options
    command parameters
)
Take a dense subset of a BDD

Side Effects None

Defined in cmdTable.c

static void 
CmdBddNot(
  FILE ** fin, input stream
  Cmd_Mgr_t * cmdMgr, traverse manager
   , command options
    command parameters
)
Complements the default BDD

Side Effects None

Defined in cmdTable.c

static void 
CmdBddOr(
  FILE ** fin, input stream
  Cmd_Mgr_t * cmdMgr, traverse manager
   , command options
    command parameters
)
Or

Side Effects None

Defined in cmdTable.c

static void 
CmdBddPartAdd(
  FILE ** fin, Input stream
  Cmd_Mgr_t * cmdMgr, Command manager
   , Command options
    Command parameters
)
Adds a partition to a Bdd

Side Effects None

Defined in cmdTable.c

static void 
CmdBddPartDelete(
  FILE ** fin, Input stream
  Cmd_Mgr_t * cmdMgr, Command manager
   , Command options
    Command parameters
)
Deletes a partition

Side Effects None

Defined in cmdTable.c

static void 
CmdBddPartMake(
  FILE ** fin, Input stream
  Cmd_Mgr_t * cmdMgr, Command manager
   , Command options
    Command parameters
)
Make partitions starting from a Bdd

Side Effects None

Defined in cmdTable.c

static void 
CmdBddPartRead(
  FILE ** fin, Input stream
  Cmd_Mgr_t * cmdMgr, Command manager
   , Command options
    Command parameters
)
Reads a partition

Side Effects None

Defined in cmdTable.c

static void 
CmdBddRead(
  FILE ** fin, input stream
  Cmd_Mgr_t * cmdMgr, traverse manager
   , command options
    command parameters
)
Loads a bdd stored in a file

Side Effects None

See Also CmdBddWrite
Defined in cmdTable.c

static void 
CmdBddRes(
  FILE ** fin, input stream
  Cmd_Mgr_t * cmdMgr, traverse manager
   , command options
    command parameters
)
Or

Side Effects None

Defined in cmdTable.c

static void 
CmdBddWrite(
  FILE ** fin, input stream
  Cmd_Mgr_t * cmdMgr, traverse manager
   , command options
    command parameters
)
Stores a bdd

Side Effects None

See Also CmdBddRead
Defined in cmdTable.c

void 
CmdCheckCommand(
  int  narg, number of arguments
   , list of arguments
  int * cmdNumber, command CmdTable index
   , command options
    command parameters
)
Check the correctness of a command, reading options and parameters.

Side Effects None

Defined in cmdTable.c

void 
CmdCommandExecute(
  Cmd_Mgr_t * cmdMgr, traverse manager
  FILE ** fin, input stream
  int  cmdNumber, command CmdTable index
   , command options
    command parameters
)
Easy work given the command table: For each command the executable function is associated and directly called.

Side Effects None

Defined in cmdTable.c

static void 
CmdDdmAlign(
  FILE ** fin, input stream
  Cmd_Mgr_t * cmdMgr, traverse manager
   , command options
    command parameters
)
Not yet supported.

Side Effects None

Defined in cmdTable.c

static void 
CmdDdmDelete(
  FILE ** fin, input stream
  Cmd_Mgr_t * cmdMgr, traverse manager
   , command options
    command parameters
)

Side Effects None

Defined in cmdTable.c

static void 
CmdDdmDup(
  FILE ** fin, input stream
  Cmd_Mgr_t * cmdMgr, traverse manager
   , command options
    command parameters
)
Duplicate a Decision Diagram manager.

Side Effects None

Defined in cmdTable.c

static void 
CmdDdmDynOrd(
  FILE ** fin, input stream
  Cmd_Mgr_t * cmdMgr, traverse manager
   , command options
    command parameters
)
Set Decision Diagram manager parameter as far as dynamic variable reordering is concern.

Side Effects None

Defined in cmdTable.c

static void 
CmdDdmGroup(
  FILE ** fin, input stream
  Cmd_Mgr_t * cmdMgr, traverse manager
   , command options
    command parameters
)

Side Effects None

Defined in cmdTable.c

static void 
CmdDdmInit(
  FILE ** fin, input stream
  Cmd_Mgr_t * cmdMgr, traverse manager
   , command options
    command parameters
)
Init a Decision Manager.

Side Effects None

Defined in cmdTable.c

static void 
CmdDdmSet(
  FILE ** fin, input stream
  Cmd_Mgr_t * cmdMgr, traverse manager
   , command options
    command parameters
)
It allow a strict control over the cudd-2.3.0 internal parameters setting cache size, maximum memory, etc..

Side Effects None

Defined in cmdTable.c

static void 
CmdDdmShare(
  FILE ** fin, input stream
  Cmd_Mgr_t * cmdMgr, traverse manager
   , command options
    command parameters
)
Not yet supported.

Side Effects None

Defined in cmdTable.c

static void 
CmdDevel(
  FILE ** fin, input stream
  Cmd_Mgr_t * cmdMgr, traverse manager
   , command options
    command parameters
)
NULL function to develop new command.

Side Effects None

Defined in cmdTable.c

static void 
CmdFsmDelete(
  FILE ** fin, input stream
  Cmd_Mgr_t * cmdMgr, traverse manager
   , command options
    command parameters
)
Deletes a BDD based FSM description

Side Effects None

Defined in cmdTable.c

static void 
CmdFsmPmBuild(
  FILE ** fin, input stream
  Cmd_Mgr_t * cmdMgr, traverse manager
   , command options
    command parameters
)
loads a BDD based FSM description

Side Effects None

Defined in cmdTable.c

static void 
CmdFsmRead(
  FILE ** fin, input stream
  Cmd_Mgr_t * cmdMgr, traverse manager
   , command options
    command parameters
)
loads a BDD based FSM description

Side Effects None

Defined in cmdTable.c

static void 
CmdFsmWrite(
  FILE ** fin, input stream
  Cmd_Mgr_t * cmdMgr, traverse manager
   , command options
    command parameters
)
stores a BDD based FSM description file

Side Effects None

Defined in cmdTable.c

static void 
CmdHelp(
  FILE ** fin, Input Stream
  Cmd_Mgr_t * cmdMgr, Traverse Manager
   , Command Options
    Command Parameters
)
On-line help: If there is no parameter, list all commands, otherwise provides the usage for the command passed as parameter.

Side Effects None

Defined in cmdTable.c

static void 
CmdLambdaLatchRemove(
  FILE ** fin, input stream
  Cmd_Mgr_t * cmdMgr, traverse manager
   , command options
    command parameters
)
Removes Lambda Latches

Side Effects None

Defined in cmdTable.c

static int 
CmdMgrOperation(
  Cmd_Mgr_t * cmdMgr, 
  char * string, String to parse
  Pdtutil_MgrOp_t  operationFlag, Operation Flag
  void ** voidPointer, Generic Pointer
  Pdtutil_MgrRet_t * returnFlagP Type of the Pointer Returned
)
Read, Set or Print Statistics for "something"

See Also CmdRegOperation Fsm_MgrOperation Trav_MgrOperation Tr_MgrOperation
Defined in cmdTable.c

static void 
CmdOrdRead(
  FILE ** fin, input stream
  Cmd_Mgr_t * cmdMgr, traverse manager
   , command options
    command parameters
)
Reads variable order

Side Effects None

Defined in cmdTable.c

static void 
CmdOrdWrite(
  FILE ** fin, input stream
  Cmd_Mgr_t * cmdMgr, traverse manager
   , command options
    command parameters
)
Writes variable order

Side Effects None

Defined in cmdTable.c

static void 
CmdQuit(
  FILE ** fin, input stream
  Cmd_Mgr_t * cmdMgr, traverse manager
   , command options
    command parameters
)
Free the different managers, registers, etc. pointed by the CMD manager and free the CMD manager itsef. Quit the PdTRAV program.

Side Effects None

Defined in cmdTable.c

int 
CmdReadCommand(
  FILE ** fin, Input stream
  int * narg, Number of argoments
  char ** line, List of argoments
  char ** shellLine Shell command
)
Read a new command on a input line and set the number of parameters and their values. The readline library is used whenever available. Command are read from the standard input or a command file.

Side Effects None

Defined in cmdCommand.c

static int 
CmdRegOperation(
  Cmd_Mgr_t * cmdMgr, 
  char * string, String to parse
  Pdtutil_MgrOp_t  operationFlag, Operation Flag
  void ** voidPointer, Generic Pointer
  Pdtutil_MgrRet_t * returnFlagP Type of the Pointer Returned
)
Read, Set or Print Statistics for "something"

See Also CmdRegOperation Fsm_MgrOperation Trav_MgrOperation Tr_MgrOperation
Defined in cmdTable.c

static void 
CmdSetOption(
  FILE ** fin, input stream
  Cmd_Mgr_t * cmdMgr, traverse manager
   , command options
    command parameters
)

Side Effects None

Defined in cmdTable.c

static void 
CmdShowOption(
  FILE ** fin, input stream
  Cmd_Mgr_t * cmdMgr, traverse manager
   , command options
    command parameters
)

Side Effects None

Defined in cmdTable.c

static void 
CmdStatsPrint(
  FILE ** fin, Input Stream
  Cmd_Mgr_t * cmdMgr, Command Manager
   , Command Options
    Command Parameters
)
Prints statistics

Side Effects None

Defined in cmdTable.c

static void 
CmdTrClosure(
  FILE ** fin, Input stream
  Cmd_Mgr_t * cmdMgr, Command manager
   , Command options
    Command parameters
)
Computes the transitive closure

Side Effects None

Defined in cmdTable.c

static void 
CmdTrClusterExtract(
  FILE ** fin, input stream
  Cmd_Mgr_t * cmdMgr, traverse manager
   , command options
    command parameters
)
Extracts a Transition Relation Cluster

Side Effects None

Defined in cmdTable.c

static void 
CmdTrCluster(
  FILE ** fin, input stream
  Cmd_Mgr_t * cmdMgr, traverse manager
   , command options
    command parameters
)
Builds a clustered Transition Relation

Side Effects None

Defined in cmdTable.c

static void 
CmdTrDelete(
  FILE ** fin, Input stream
  Cmd_Mgr_t * cmdMgr, Traverse manager
   , Command options
    Command parameters
)
Deletes a Transition Relation Manager

Side Effects None

Defined in cmdTable.c

static void 
CmdTrInit(
  FILE ** fin, input stream
  Cmd_Mgr_t * cmdMgr, traverse manager
   , command options
    command parameters
)
Build a Transition Relation

Side Effects None

Defined in cmdTable.c

static void 
CmdTrPartition(
  FILE ** fin, input stream
  Cmd_Mgr_t * cmdMgr, traverse manager
   , command options
    command parameters
)
Partitions the Transition Relation

Side Effects None

Defined in cmdTable.c

static void 
CmdTravDelete(
  FILE ** fin, Input stream
  Cmd_Mgr_t * cmdMgr, Traverse manager
   , Command options
    Command parameters
)
Delete a Traversal Manager

Side Effects None

See Also CmdTravInit
Defined in cmdTable.c

static void 
CmdTravInit(
  FILE ** fin, input stream
  Cmd_Mgr_t * cmdMgr, traverse manager
   , command options
    command parameters
)
Init Traversal Manager.

Side Effects None

Defined in cmdTable.c

static void 
CmdTravProfile(
  FILE ** fin, input stream
  Cmd_Mgr_t * cmdMgr, traverse manager
   , command options
    command parameters
)
Manage TR profiles

Side Effects None

Defined in cmdTable.c

static void 
CmdTravTraverse(
  FILE ** fin, Input stream
  Cmd_Mgr_t * cmdMgr, Traverse manager
   , Command options
    Command parameters
)
Main traversal command

Side Effects None

Defined in cmdTable.c

Cmd_Mgr_t * 
Cmd_MgrDup(
  Cmd_Mgr_t * cmdMgr CMD Manager
)
Duplicates a CMD structure.

Side Effects None

See Also Cmd_MgrInit ()
Defined in cmdMgr.c

void 
Cmd_MgrFree(
  Cmd_Mgr_t * cmdMgr CMD Manager
)
Frees the CMD structure.

Side Effects None

Defined in cmdMgr.c

Cmd_Mgr_t * 
Cmd_MgrInit(
  char * cmdName Name of the CMD structure
)
Initializes the CMD structure.

Side Effects None

Defined in cmdMgr.c

char * 
Cmd_MgrReadName(
  Cmd_Mgr_t * cmdMgr 
)
Reads the name of a CMD manager.

Defined in cmdMgr.c

Pdtutil_VerbLevel_e 
Cmd_MgrReadVerbosity(
  Cmd_Mgr_t * cmdMgr 
)
Read the "default" verbosity level of the CMD manager.

Defined in cmdMgr.c

void 
Cmd_MgrSetName(
  Cmd_Mgr_t * cmdMgr, 
  char * cmdName 
)
It duplicates the string passed as a parameter and copy it in the CMD manager.

Defined in cmdMgr.c

void 
Cmd_MgrSetVerbosity(
  Cmd_Mgr_t * cmdMgr, 
  Pdtutil_VerbLevel_e  var 
)
Set the "default" verbosity value of the CMD manager.

Defined in cmdMgr.c

static int 
CommandCompare(
  const void * s1, 
  const void * s2 
)
The function compares two command definitions. Returns string comparison between command names.

Side Effects none

Defined in cmdTable.c

static void 
InterpreteCommands(
  Cmd_Mgr_t * cmdMgr, traverse manager
  FILE * fin, input stream
  int  nparams, number of command line parameters
  char ** params command line parameters
)
Reads commands from input file fin. Recurs through a call command, which allows command line parameters ($1, $2,...)

Side Effects None

Defined in cmdMain.c

static int 
LocateOption(
  CmdOpt_t * cmdOpt, Command Options
  char * tag Searched Tag
)
Returns the index of an option in the array of options, given the tag associated to it. The function returns -1 for a missing tag.

Defined in cmdTable.c

static int 
LocateParam(
  CmdParam_t * cmdParam, command parameterss
  char * tag searched tag
)
Returns the index of an option in the array of parameterss, given the tag associated to it. The function returns -1 for a missing tag.

Defined in cmdTable.c

static void 
Pdtutil_MgrOpenScript(
  FILE ** fin, input stream
  Cmd_Mgr_t * cmdMgr, traverse manager
   , command options
    command parameters
)
Loads a script

Side Effects None

Defined in cmdTable.c

static int 
RegEmptyFind(
  Cmd_Mgr_t * cmdMgr 
)
It returns the index of the register found or -1 if there is no match

Side Effects none

Defined in cmdTable.c

static int 
RegFullFind(
  Cmd_Mgr_t * cmdMgr, 
  char * string String to parse
)
It returns the index of the register found or -1 if there is no match

Side Effects none

Defined in cmdTable.c

int 
main(
  int  argc, 
    
)
Main program for the PdTRAV package.
It Performs initialization. Reads commands allowing all the operation for the PdTRAV package: reading network, creating BDDs, doing operations on BDDs, building the transition relation of the network, squaring it, traverse the network, etc.
It allows a strict control on the cudd-2.3.0 parameters (cache size, reordering threshold and algorithm, etc.

Side Effects None

Defined in cmdMain.c

Last updated on 990617 11h53