In the pdtutil package no internal functions are declared.

void * 
Pdtutil_AllocCheck(
  void * pointer 
)
The Alloc mecanism is actually implemented this way in PdTRAV. We call Pdtutil_Alloc that it is a macro that basically maps the call on the Alloc function of the Cudd package. To check for a null result we use Pdtutil_AllocCheck.

Side Effects none

Defined in pdtutil.c

void 
Pdtutil_ChrPrint(
  FILE * fp, Where to Print
  char  c, Which character to Print
  int  n How many Times
)
Print on fp the desired number of charaters on a file.

Side Effects none

Defined in pdtutil.c

void 
Pdtutil_CloseFile(
  FILE * fp file pointer
)
It closes a file if it is not the standard input or output.

Side Effects none

See Also Pdtutil_OpenFile
Defined in pdtutil.c

char * 
Pdtutil_FileName(
  char * filename, file name
  char * attribute, attribute
  char * extension, extension
  int  overwrite overwrite the extension if 1
)
Takes a file name, an attribute, an extension, and an overwrite flag. If the name is stdin or stdout return the name as it is. Add the attribute to the name. Add the extension to the name if it doesn't contains an extension already. If there is an extension it substitutes it if overwrite = 1. Create and returns the new name.

Side Effects none

Defined in pdtutil.c

int * 
Pdtutil_IntArrayDup(
  int * array, array of ints to be duplicated
  int  n size of the array
)
Allocates memory and copies source array

Side Effects None

Defined in pdtutil.c

int 
Pdtutil_IntArrayRead(
  int ** parray, array of strings (by reference)
  FILE * fp file pointer
)
Allocates memory and inputs source array. Skips anything from '#' to the end-of-line (a comment).

Side Effects None

Defined in pdtutil.c

int 
Pdtutil_IntArrayWrite(
  FILE * fp, output file
  int * array, array of ints
  int  n size of the array
)
Outputs an array of ints

Side Effects None

Defined in pdtutil.c

FILE * 
Pdtutil_OpenFile(
  FILE * fp, file pointer
  char * filename, file name
  char * mode open mode
)
Allows stdin and stdout as a synonym for standard input/output. Open mode can be "r" for read or "w" for write. In particularly, "rt" open for read a text file and "rb" open for read a binary file; "wt" write a text file and "wb" write a binary file.
Returns a pointer to the file.

Side Effects none

See Also Pdtutil_CloseFile
Defined in pdtutil.c

void 
Pdtutil_ReadName(
  char * extName, 
  int * nstr, 
  char ** names, 
  int  maxNstr Maximum number of names
)
parses hierarchical names separated by '.'

Side Effects None

Defined in pdtutil.c

int 
Pdtutil_ReadOrd(
  char *** pvarnames, Varnames Array (by reference)
  int ** pvarauxids, Varauxids Array (by reference)
  char * filename, File Name
  FILE * fp File Pointer
)
Reads the order in the .ord file.

Defined in pdtutil.c

void 
Pdtutil_ReadSubstring(
  char * stringIn, String to be parsed
  char ** stringFirstP, First Sub-String Pointer
  char ** stringSecondP Second Sub-String Pointer
)
It receives a string. It returns two strings: The first one is the content of the original string before the first character "." found in the string. The second one is the remaining part of the string. If the initial string is NULL two NULL pointers are returned. If the initial string doen't contain a sharater '.' the first string is equal to the original one and the second is NULL.

Side Effects None

Defined in pdtutil.c

char ** 
Pdtutil_StrArrayDup(
  char ** array, array of strings to be duplicated
  int  n size of the array
)
Allocates memory and copies source array

Side Effects None

Defined in pdtutil.c

void 
Pdtutil_StrArrayFree(
  char ** array, array of strings
  int  n size of the array
)
Frees memory for strings and the array of pointers

Side Effects None

Defined in pdtutil.c

int 
Pdtutil_StrArrayRead(
  char *** parray, array of strings (by reference)
  FILE * fp file pointer
)
Allocates memory and inputs source array. Skips anything from '#' to the end-of-line (a comment).

Side Effects None

Defined in pdtutil.c

int 
Pdtutil_StrArrayWrite(
  FILE * fp, output file
  char ** array, array of strings
  int  n size of the array
)
Allocates memory and inputs source array

Side Effects None

Defined in pdtutil.c

char * 
Pdtutil_StrDup(
  char * str 
)
Duplicates a string and returns it.

Side Effects none

Defined in pdtutil.c

char * 
Pdtutil_VariableOrderFormatEnum2String(
  Pdtutil_VariableOrderFormat_e  enumType 
)
Given an Enumerated type Returns a string

Side Effects none

Defined in pdtutil.c

Pdtutil_VariableOrderFormat_e 
Pdtutil_VariableOrderFormatString2Enum(
  char * string String to Analyze
)
It receives a string; to facilitate the user that string can be an easy-to-remember predefined code or an integer number (interpreted as a string). It returns the variable file format method type.

Side Effects none

Defined in pdtutil.c

char * 
Pdtutil_VerbosityEnum2String(
  Pdtutil_VerbLevel_e  enumType 
)
Given an Enumerated type Returns a string

Side Effects none

Defined in pdtutil.c

Pdtutil_VerbLevel_e 
Pdtutil_VerbosityString2Enum(
  char * string String to Analyze
)
It receives a string; to facilitate the user that string can be an easy-to-remember predefined code or an integer number (interpreted as a string). It returns the verbosity enumerated type. This verbosity mechanism is used all over the PdTRAV package.

Side Effects none

Defined in pdtutil.c

int 
Pdtutil_WriteOrd(
  char ** varnames, Varnames Array
  int * varauxids, Varauxids Array
  int * sortedIds, Variable Permutations
  int  nvars, Number of Variables
  char * filename, File Name
  FILE * fp, File Pointer
  Pdtutil_VariableOrderFormat_e  fileFormat File Format
)
Write the order to file, using variable names or auxids (or both of them). Array of sorted ids is used if the sortedIds parameter is not NULL. Produce different slightly different format depending on the format parameter: Pdtutil_VariableOrderPiPs_c only variables names for Primary Input and Present State Variables are stored (one for each row) Pdtutil_VariableOrderPiPsNs_c store previous information + Next State Variables Names Pdtutil_VariableOrderIndex_c store previous information + Variable Auxiliary Index Pdtutil_VariableOrderComment_c store previous information + Comments (row starting for #)

Defined in pdtutil.c

 
(
    
)
Checks for Warnings: If expr==1 print out the warning on stderr

Side Effects None

Defined in pdtutil.h

 
(
    
)
Checks for fatal bugs

Side Effects None

Defined in pdtutil.h

 
(
    
)

Side Effects None

Defined in pdtutil.h

 
(
    
)

Side Effects None

Defined in pdtutil.h

 
(
    
)

Side Effects None

Defined in pdtutil.h

Last updated on 990617 11h53