Fsm_TokenType FsmString2Token( char * keyword String representing the keyword )
fsmToken.c
char * FsmToken2String( Fsm_TokenType token token in enum (integer) format )
fsmToken.c
char * Fsm_BddFormatInt2String( int intValue )
fsmUtil.c
int Fsm_BddFormatString2Int( char * string String to Analyze )
fsmUtil.c
Fsm_Mgr_t * Fsm_MgrDup( Fsm_Mgr_t * fsmMgr FSM Manager )
Fsm_MgrInit
()
fsmMgr.c
void Fsm_MgrFree( Fsm_Mgr_t * fsmMgr FSM Manager )
Ddi_DdArrayFree();Ddi_VarArrayFree()
fsmMgr.c
Fsm_Mgr_t * Fsm_MgrInit( char * fsmName Name of the FSM structure )
fsmMgr.c
int Fsm_MgrLoadFromBlif( Fsm_Mgr_t ** fsmMgrP, FSM Pointer Ddi_DdMgr * dd, dd manager char * fileFsmName, FSM File Name char * fileOrdName, ORD File Name int bddFlag Not Used For Now )
fsmPort.c
int Fsm_MgrLoad( Fsm_Mgr_t ** fsmMgrP, FSM Pointer Ddi_DdMgr * dd, Main DD manager char * fileFsmName, Input file name char * fileOrdName, ORD File Name int bddFlag 0=Do non load BDD (default), 1=Load BDD )
get_name_file
readFsm
fsmLoad.c
int Fsm_MgrOperation( Fsm_Mgr_t * fsmMgr, FSM Manager char * string, String Pdtutil_MgrOp_t operationFlag, Operation Flag void ** voidPointer, Generic Pointer Pdtutil_MgrRet_t * returnFlagP Type of the Pointer Returned )
CmdMgrOperation
CmdRegOperation
Trav_MgrOperation
Tr_MgrOperation
fsmMgr.c
int Fsm_MgrPMBuild( Fsm_Mgr_t ** fsmMgrPMP, FSM Product Machine Pointer Fsm_Mgr_t * fsmMgr1, First FSM Fsm_Mgr_t * fsmMgr2 Second FSM )
get_name_file
readFsm
fsmProMac.c
void Fsm_MgrPrintPrm( Fsm_Mgr_t * fsmMgr )
fsmUtil.c
void Fsm_MgrPrintStats( Fsm_Mgr_t * fsmMgr )
Ddi_MgrPrintStats
Tr_MgrPrintStats
Trav_MgrPrintStats
fsmUtil.c
int Fsm_MgrReadBddFormat( Fsm_Mgr_t * fsmMgr )
fsmMgr.c
Ddi_DdMgr * Fsm_MgrReadDdManager( Fsm_Mgr_t * fsmMgr )
fsmMgr.c
Ddi_DdArray_t * Fsm_MgrReadDeltaBDD( Fsm_Mgr_t * fsmMgr )
fsmMgr.c
char * Fsm_MgrReadDeltaName( Fsm_Mgr_t * fsmMgr )
fsmMgr.c
char * Fsm_MgrReadFileName( Fsm_Mgr_t * fsmMgr )
fsmMgr.c
void Fsm_MgrReadFileOrd( FILE * fp, Fsm_Mgr_t * fsmMgr )
fsmLoad.c
Ddi_Dd_t * Fsm_MgrReadFromBDD( Fsm_Mgr_t * fsmMgr )
fsmMgr.c
char * Fsm_MgrReadFromName( Fsm_Mgr_t * fsmMgr )
fsmMgr.c
char * Fsm_MgrReadFromString( Fsm_Mgr_t * fsmMgr )
fsmMgr.c
char * Fsm_MgrReadFsmName( Fsm_Mgr_t * fsmMgr )
fsmMgr.c
int * Fsm_MgrReadIndexI( Fsm_Mgr_t * fsmMgr )
fsmMgr.c
int * Fsm_MgrReadIndexNS( Fsm_Mgr_t * fsmMgr )
fsmMgr.c
int * Fsm_MgrReadIndexO( Fsm_Mgr_t * fsmMgr )
fsmMgr.c
int * Fsm_MgrReadIndexPS( Fsm_Mgr_t * fsmMgr )
fsmMgr.c
Ddi_Dd_t * Fsm_MgrReadInitBDD( Fsm_Mgr_t * fsmMgr )
fsmMgr.c
char * Fsm_MgrReadInitName( Fsm_Mgr_t * fsmMgr )
fsmMgr.c
char * Fsm_MgrReadInitString( Fsm_Mgr_t * fsmMgr )
fsmMgr.c
int * Fsm_MgrReadInvauxids( Fsm_Mgr_t * fsmMgr )
fsmMgr.c
Ddi_DdArray_t * Fsm_MgrReadLambdaBDD( Fsm_Mgr_t * fsmMgr )
fsmMgr.c
char * Fsm_MgrReadLambdaName( Fsm_Mgr_t * fsmMgr )
fsmMgr.c
int Fsm_MgrReadNI( Fsm_Mgr_t * fsmMgr )
fsmMgr.c
int Fsm_MgrReadNL( Fsm_Mgr_t * fsmMgr )
fsmMgr.c
int Fsm_MgrReadNO( Fsm_Mgr_t * fsmMgr )
fsmMgr.c
char ** Fsm_MgrReadNameI( Fsm_Mgr_t * fsmMgr )
fsmMgr.c
char ** Fsm_MgrReadNameNS( Fsm_Mgr_t * fsmMgr )
fsmMgr.c
char ** Fsm_MgrReadNameO( Fsm_Mgr_t * fsmMgr )
fsmMgr.c
char ** Fsm_MgrReadNamePS( Fsm_Mgr_t * fsmMgr )
fsmMgr.c
char * Fsm_MgrReadOrdFileName( Fsm_Mgr_t * fsmMgr )
fsmMgr.c
char ** Fsm_MgrReadOrdNodeName( Fsm_Mgr_t * fsmMgr )
fsmMgr.c
int * Fsm_MgrReadOrdNodeid( Fsm_Mgr_t * fsmMgr )
fsmMgr.c
Ddi_Dd_t * Fsm_MgrReadReachedBDD( Fsm_Mgr_t * fsmMgr )
fsmMgr.c
char * Fsm_MgrReadReachedName( Fsm_Mgr_t * fsmMgr )
fsmMgr.c
char * Fsm_MgrReadReachedString( Fsm_Mgr_t * fsmMgr )
fsmMgr.c
Ddi_VarArray_t * Fsm_MgrReadSX( Fsm_Mgr_t * fsmMgr )
fsmMgr.c
Ddi_Dd_t * Fsm_MgrReadTrBDD( Fsm_Mgr_t * fsmMgr )
fsmMgr.c
char * Fsm_MgrReadTrName( Fsm_Mgr_t * fsmMgr )
fsmMgr.c
char * Fsm_MgrReadTrString( Fsm_Mgr_t * fsmMgr )
fsmMgr.c
Ddi_VarArray_t * Fsm_MgrReadVarI( Fsm_Mgr_t * fsmMgr )
fsmMgr.c
Ddi_VarArray_t * Fsm_MgrReadVarNS( Fsm_Mgr_t * fsmMgr )
fsmMgr.c
Ddi_VarArray_t * Fsm_MgrReadVarO( Fsm_Mgr_t * fsmMgr )
fsmMgr.c
Ddi_VarArray_t * Fsm_MgrReadVarPS( Fsm_Mgr_t * fsmMgr )
fsmMgr.c
int * Fsm_MgrReadVarauxids( Fsm_Mgr_t * fsmMgr )
fsmMgr.c
char ** Fsm_MgrReadVarnames( Fsm_Mgr_t * fsmMgr )
fsmMgr.c
Pdtutil_VerbLevel_e Fsm_MgrReadVerbosity( Fsm_Mgr_t * fsmMgr )
fsmMgr.c
Ddi_VarArray_t * Fsm_MgrReadY( Fsm_Mgr_t * fsmMgr )
fsmMgr.c
Ddi_VarArray_t * Fsm_MgrReadZ( Fsm_Mgr_t * fsmMgr )
fsmMgr.c
void Fsm_MgrSetBddFormat( Fsm_Mgr_t * fsmMgr, int var )
fsmMgr.c
void Fsm_MgrSetDdManager( Fsm_Mgr_t * fsmMgr, Ddi_DdMgr * var )
fsmMgr.c
void Fsm_MgrSetDeltaBDD( Fsm_Mgr_t * fsmMgr, Ddi_DdArray_t * var )
fsmMgr.c
void Fsm_MgrSetDeltaName( Fsm_Mgr_t * fsmMgr, char * var )
fsmMgr.c
void Fsm_MgrSetFileName( Fsm_Mgr_t * fsmMgr, char * fileName )
fsmMgr.c
void Fsm_MgrSetFromBDD( Fsm_Mgr_t * fsmMgr, Ddi_Dd_t * var )
fsmMgr.c
void Fsm_MgrSetFromName( Fsm_Mgr_t * fsmMgr, char * var )
fsmMgr.c
void Fsm_MgrSetFromString( Fsm_Mgr_t * fsmMgr, char * var )
fsmMgr.c
void Fsm_MgrSetFsmName( Fsm_Mgr_t * fsmMgr, char * fsmName )
fsmMgr.c
void Fsm_MgrSetIndexI( Fsm_Mgr_t * fsmMgr, int * var )
fsmMgr.c
void Fsm_MgrSetIndexNS( Fsm_Mgr_t * fsmMgr, int * var )
fsmMgr.c
void Fsm_MgrSetIndexO( Fsm_Mgr_t * fsmMgr, int * var )
fsmMgr.c
void Fsm_MgrSetIndexPS( Fsm_Mgr_t * fsmMgr, int * var )
fsmMgr.c
void Fsm_MgrSetInitBDD( Fsm_Mgr_t * fsmMgr, Ddi_Dd_t * var )
fsmMgr.c
void Fsm_MgrSetInitName( Fsm_Mgr_t * fsmMgr, char * var )
fsmMgr.c
void Fsm_MgrSetInitString( Fsm_Mgr_t * fsmMgr, char * var )
fsmMgr.c
void Fsm_MgrSetInvauxids( Fsm_Mgr_t * fsmMgr, int * var )
fsmMgr.c
void Fsm_MgrSetLambdaBDD( Fsm_Mgr_t * fsmMgr, Ddi_DdArray_t * var )
fsmMgr.c
void Fsm_MgrSetLambdaName( Fsm_Mgr_t * fsmMgr, char * var )
fsmMgr.c
void Fsm_MgrSetNI( Fsm_Mgr_t * fsmMgr, int var )
fsmMgr.c
void Fsm_MgrSetNL( Fsm_Mgr_t * fsmMgr, int var )
fsmMgr.c
void Fsm_MgrSetNO( Fsm_Mgr_t * fsmMgr, int var )
fsmMgr.c
void Fsm_MgrSetNameI( Fsm_Mgr_t * fsmMgr, char ** var )
fsmMgr.c
void Fsm_MgrSetNameNS( Fsm_Mgr_t * fsmMgr, char ** var )
fsmMgr.c
void Fsm_MgrSetNameO( Fsm_Mgr_t * fsmMgr, char ** var )
fsmMgr.c
void Fsm_MgrSetNamePS( Fsm_Mgr_t * fsmMgr, char ** var )
fsmMgr.c
void Fsm_MgrSetOrdFileName( Fsm_Mgr_t * fsmMgr, char * var )
fsmMgr.c
void Fsm_MgrSetOrdNodeName( Fsm_Mgr_t * fsmMgr, char ** var )
fsmMgr.c
void Fsm_MgrSetOrdNodeid( Fsm_Mgr_t * fsmMgr, int * var )
fsmMgr.c
void Fsm_MgrSetReachedBDD( Fsm_Mgr_t * fsmMgr, Ddi_Dd_t * var )
fsmMgr.c
void Fsm_MgrSetReachedName( Fsm_Mgr_t * fsmMgr, char * var )
fsmMgr.c
void Fsm_MgrSetReachedString( Fsm_Mgr_t * fsmMgr, char * var )
fsmMgr.c
void Fsm_MgrSetSX( Fsm_Mgr_t * fsmMgr, Ddi_VarArray_t * var )
fsmMgr.c
void Fsm_MgrSetTrBDD( Fsm_Mgr_t * fsmMgr, Ddi_Dd_t * var )
fsmMgr.c
void Fsm_MgrSetTrName( Fsm_Mgr_t * fsmMgr, char * var )
fsmMgr.c
void Fsm_MgrSetTrString( Fsm_Mgr_t * fsmMgr, char * var )
fsmMgr.c
void Fsm_MgrSetVarI( Fsm_Mgr_t * fsmMgr, Ddi_VarArray_t * var )
fsmMgr.c
void Fsm_MgrSetVarNS( Fsm_Mgr_t * fsmMgr, Ddi_VarArray_t * var )
fsmMgr.c
void Fsm_MgrSetVarO( Fsm_Mgr_t * fsmMgr, Ddi_VarArray_t * var )
fsmMgr.c
void Fsm_MgrSetVarPS( Fsm_Mgr_t * fsmMgr, Ddi_VarArray_t * var )
fsmMgr.c
void Fsm_MgrSetVarauxids( Fsm_Mgr_t * fsmMgr, int * var )
fsmMgr.c
void Fsm_MgrSetVarnamesOne( Fsm_Mgr_t * fsmMgr, char * var, int i )
fsmMgr.c
void Fsm_MgrSetVarnames( Fsm_Mgr_t * fsmMgr, char ** var )
fsmMgr.c
void Fsm_MgrSetVerbosity( Fsm_Mgr_t * fsmMgr, Pdtutil_VerbLevel_e var )
fsmMgr.c
void Fsm_MgrSetY( Fsm_Mgr_t * fsmMgr, Ddi_VarArray_t * var )
fsmMgr.c
void Fsm_MgrSetZ( Fsm_Mgr_t * fsmMgr, Ddi_VarArray_t * var )
fsmMgr.c
int Fsm_MgrStore( Fsm_Mgr_t * fsmMgr, struttura FSM char * fileName, output file name FILE * fp, file pointer int bddFlag, Flag to Store or Not BDD on Files int bddFormat 0 = default, 1 = text, 2 = binary )
Ddi_DdArrayStore
Ddi_DdArrayFetch
Ddi_DdArray_n
fsmStore.c
int Fsm_PortBnetBuildNodeBDD( DdManager * dd, DD manager FsmPortBnetNode_t * nd, node of the boolean network st_table * hash, symbol table of the boolean network int params, type of DD to be built int nodrop retain the intermediate node DDs until the end )
fsmPortBnet.c
int Fsm_PortBnetDfsVariableOrder( DdManager * dd, FsmPortBnetNetwork_t * net )
fsmPortBnet.c
void Fsm_PortBnetFreeNetwork( FsmPortBnetNetwork_t * net )
Fsm_PortBnetReadNetwork
fsmPortBnet.c
FsmPortBnetNetwork_t * Fsm_PortBnetReadNetwork( FILE * fp, pointer to the blif file int pr verbosity level )
Fsm_PortBnetPrintNetwork
Fsm_PortBnetFreeNetwork
fsmPortBnet.c
int Fsm_PortBnetReadOrder( DdManager * dd, char * ordFile, FsmPortBnetNetwork_t * net, int locGlob, int nodrop )
fsmPortBnet.c
int Fsm_PortNtrBuildDDs( FsmPortBnetNetwork_t * net, network for which DDs are to be built DdManager * dd, DD manager FsmPortNtrOptions_t * option, option structure FsmPortBnetNetwork_t * net2 companion network with which inputs may be shared )
fsmPortNtr.c
DdNode * Fsm_PortNtrInitState( DdManager * dd, FsmPortBnetNetwork_t * net, FsmPortNtrOptions_t * option )
fsmPortNtr.c
Ddi_Dd_t * Pdtutil_ReadConstrain( Fsm_Mgr_t * fsmMgr, char * diagfile )
fsmUtil.c
static int buildExorBDD( DdManager * dd, FsmPortBnetNode_t * nd, st_table * hash, int params, int nodrop )
fsmPortBnet.c
static int buildMuxBDD( DdManager * dd, FsmPortBnetNode_t * nd, st_table * hash, int params, int nodrop )
fsmPortBnet.c
static int fsmPortBnetDfsOrder( DdManager * dd, FsmPortBnetNetwork_t * net, FsmPortBnetNode_t * node )
Fsm_PortBnetDfsVariableOrder
fsmPortBnet.c
static int fsmPortBnetLevelCompare( FsmPortBnetNode_t ** x, FsmPortBnetNode_t ** y )
fsmPortBnet.c
static int fsmPortBnetLevelDFS( FsmPortBnetNetwork_t * net, FsmPortBnetNode_t * node )
fsmPortBnetSetLevel
fsmPortBnet.c
static FsmPortBnetNode_t ** fsmPortBnetOrderRoots( FsmPortBnetNetwork_t * net, int * nroots )
fsmPortBnet.c
static int fsmPortBnetSetLevel( FsmPortBnetNetwork_t * net )
fsmPortBnetLevelDFS
fsmPortBnet.c
static void fsmPortNtrCountDFS( FsmPortBnetNetwork_t * net, FsmPortBnetNode_t * node )
fsmPortNtrLevelDFS
fsmPortNtr.c
static void fsmPortNtrInitializeCount( FsmPortBnetNetwork_t * net, FsmPortNtrOptions_t * option )
fsmPortNtr.c
static int * get_integer_array( FILE * fp, char * word, int size number of expected items )
number
Ddi_DdArrayInsert
fsmLoad.c
static int get_number( FILE * fp, char * word )
fsmLoad.c
static char ** get_string_array( FILE * fp, char * word, int size number of expected items )
array_insert
fsmLoad.c
Fsm_TokenType get_token( FILE * fp, char * word Current Word )
get_line
fsmLoad.c
static FsmPortNtrOptions_t * mainInit( )
Fsm_MgrLoadFromBlif
fsmPort.c
static void printList( char ** list, list of pointers to strings int n length of the list )
readList
Fsm_PortBnetPrintNetwork
fsmPortBnet.c
static void readBddFile( FILE * fp, file Fsm_Mgr_t * fsmMgr, struttura FSM Ddi_DdMgr * dd, DD manager char * word, parola corrente char ** pName, return file name by reference Ddi_Dd_t ** pBdd, return bdd by reference Ddi_DdArray_t ** pBddArray, return bdd array by reference int bddFlag Load - NotLoad BDD from files )
fsmLoad.c
static void readFsmDelta( FILE * fp, File Fsm_Mgr_t * fsmMgr, FSM Manager char * word, Current Word int bddFlag )
Poli_bddRead_new
fsmLoad.c
static void readFsmFrom( FILE * fp, file Fsm_Mgr_t * fsmMgr, struttura FSM char * word, parola corrente int bddFlag )
Poli_bddRead_new
fsmLoad.c
static void readFsmIndex( FILE * fp, File Fsm_Mgr_t * fsmMgr, FSM Strutture char * word Current Word )
get_integer_array
fsmLoad.c
static void readFsmInitState( FILE * fp, file Fsm_Mgr_t * fsmMgr, struttura FSM char * word, parola corrente int bddFlag )
Poli_bddRead_new
readInitFile
fsmLoad.c
static void readFsmLambda( FILE * fp, file Fsm_Mgr_t * fsmMgr, struttura FSM char * word, parola corrente int bddFlag )
Poli_bddRead_new
fsmLoad.c
static void readFsmName( FILE * fp, file Fsm_Mgr_t * fsmMgr, struttura FSM char * word parola corrente )
get_string_array
fsmLoad.c
static void readFsmOrd( FILE * fp, File Pointer Fsm_Mgr_t * fsmMgr, FSM Manager char * fileOrdName, char * word Current Word )
get_string_array
fsmLoad.c
static void readFsmReached( FILE * fp, file Fsm_Mgr_t * fsmMgr, struttura FSM char * word, parola corrente int bddFlag )
Poli_bddRead_new
fsmLoad.c
static void readFsmSize( FILE * fp, file Fsm_Mgr_t * fsmMgr, struttura FSM char * word parola corrente )
number
fsmLoad.c
static void readFsmTransRel( FILE * fp, file Fsm_Mgr_t * fsmMgr, struttura FSM char * word, parola corrente int bddFlag )
Poli_bddRead_new
fsmLoad.c
static int readFsm( FILE * fp, File Fsm_Mgr_t * fsmMgr, FSM Manager char * fileOrdName, File Name for the Order File int bddFlag )
readFsmSize
readFsmName
readFsmIndex
readFsmDelta
readFsmLambda
readFsmTransRel
readFsmInitState
fsmLoad.c
static void readInitFile( FILE * fp, file Fsm_Mgr_t * fsmMgr, struttura FSM char * word parola corrente )
fsmLoad.c
static char ** readList( FILE * fp, pointer to the file from which the list is read int * n on return, number of strings in the list )
readString
printList
fsmPortBnet.c
static void readOrdFile( FILE * fp, File Pointer Fsm_Mgr_t * fsmMgr FSM Manager )
fsmLoad.c
static char * readString( FILE * fp pointer to the file from which the string is read )
readList
fsmPortBnet.c
( )
fsmInt.h