fsm.h
fsmInt.h
fsmLoad.c
fsmMgr.c
fsmPort.c
fsmPortBnet.c
fsmPortNtr.c
fsmProMac.c
fsmStore.c
fsmToken.c
fsmUtil.c
By: Gianpiero Cabodi and Stefano Quer
By: Gianpiero Cabodi and Stefano Quer
()
By: Gianpiero Cabodi and Stefano Quer
External procedures included in this module:
Fsm_MgrLoad()
Fsm_MgrReadFileOrd()
readFsm()
readFsmSize()
readFsmOrd()
readFsmName()
readFsmIndex()
readFsmDelta()
readFsmLambda()
readFsmTransRel()
readFsmFrom()
readFsmReached()
readFsmInitState()
readOrdFile()
readBddFile()
readInitFile()
get_token()
get_number()
get_string_array()
get_integer_array()
By: Gianpiero Cabodi and Stefano Quer
Fsm_MgrInit()
Fsm_MgrFree()
Fsm_MgrDup()
Fsm_MgrOperation()
Fsm_MgrReadFileName()
Fsm_MgrReadFsmName()
Fsm_MgrReadDdManager()
Fsm_MgrReadY()
Fsm_MgrReadZ()
Fsm_MgrReadSX()
Fsm_MgrReadReachedBDD()
Fsm_MgrReadBddFormat()
Fsm_MgrReadNI()
Fsm_MgrReadNO()
Fsm_MgrReadNL()
Fsm_MgrReadOrdFileName()
Fsm_MgrReadOrdNodeName()
Fsm_MgrReadOrdNodeid()
Fsm_MgrReadNameI()
Fsm_MgrReadNameO()
Fsm_MgrReadNameNS()
Fsm_MgrReadNamePS()
Fsm_MgrReadIndexI()
Fsm_MgrReadIndexO()
Fsm_MgrReadIndexNS()
Fsm_MgrReadIndexPS()
Fsm_MgrReadVarI()
Fsm_MgrReadVarO()
Fsm_MgrReadVarPS()
Fsm_MgrReadVarNS()
Fsm_MgrReadDeltaName()
Fsm_MgrReadDeltaBDD()
Fsm_MgrReadLambdaName()
Fsm_MgrReadLambdaBDD()
Fsm_MgrReadTrName()
Fsm_MgrReadTrBDD()
Fsm_MgrReadInitName()
Fsm_MgrReadInitString()
Fsm_MgrReadTrString()
Fsm_MgrReadReachedString()
Fsm_MgrReadFromString()
Fsm_MgrReadInitBDD()
Fsm_MgrReadFromName()
Fsm_MgrReadReachedName()
Fsm_MgrReadFromBDD()
Fsm_MgrReadVarnames()
Fsm_MgrReadVarauxids()
Fsm_MgrReadInvauxids()
Fsm_MgrReadVerbosity()
Fsm_MgrSetFileName()
Fsm_MgrSetFsmName()
Fsm_MgrSetDdManager()
Fsm_MgrSetY()
Fsm_MgrSetZ()
Fsm_MgrSetSX()
Fsm_MgrSetReachedBDD()
Fsm_MgrSetBddFormat()
Fsm_MgrSetNI()
Fsm_MgrSetNO()
Fsm_MgrSetNL()
Fsm_MgrSetOrdFileName()
Fsm_MgrSetOrdNodeName()
Fsm_MgrSetOrdNodeid()
Fsm_MgrSetNameI()
Fsm_MgrSetNameO()
Fsm_MgrSetNameNS()
Fsm_MgrSetNamePS()
Fsm_MgrSetIndexI()
Fsm_MgrSetIndexO()
Fsm_MgrSetIndexNS()
Fsm_MgrSetIndexPS()
Fsm_MgrSetVarI()
Fsm_MgrSetVarO()
Fsm_MgrSetVarPS()
Fsm_MgrSetVarNS()
Fsm_MgrSetDeltaName()
Fsm_MgrSetDeltaBDD()
Fsm_MgrSetLambdaName()
Fsm_MgrSetLambdaBDD()
Fsm_MgrSetTrName()
Fsm_MgrSetTrBDD()
Fsm_MgrSetInitName()
Fsm_MgrSetInitString()
Fsm_MgrSetTrString()
Fsm_MgrSetFromString()
Fsm_MgrSetReachedString()
Fsm_MgrSetInitBDD()
Fsm_MgrSetFromName()
Fsm_MgrSetReachedName()
Fsm_MgrSetFromBDD()
Fsm_MgrSetVarnames()
Fsm_MgrSetVarnamesOne()
Fsm_MgrSetVarauxids()
Fsm_MgrSetInvauxids()
Fsm_MgrSetVerbosity()
By: Gianpiero Cabodi and Stefano Quer
In this file are declarated function to deal with BLIF format (as package Nanotrav in CUDD).
Fsm_MgrLoadFromBlif()
mainInit()
By: Gianpiero Cabodi, Stefano Quer
This package contains functions, types and constants taken from nanotrav to be used in pdtrav. The original names have been modified adding the "Fsm_Port" prefix.
FsmPortBnet.c contains the parts taken from bnet.c.
See AlsofsmPortNtr.c
pdtrav
Fsm_PortBnetReadNetwork()
Fsm_PortBnetBuildNodeBDD()
Fsm_PortBnetDfsVariableOrder()
Fsm_PortBnetReadOrder()
fsmPortBnetSetLevel()
fsmPortBnetLevelDFS()
Fsm_PortBnetFreeNetwork()
readString()
readList()
printList()
buildExorBDD()
buildMuxBDD()
fsmPortBnetOrderRoots()
fsmPortBnetDfsOrder()
fsmPortBnetLevelCompare()
By: Gianpiero Cabodi, Stefano Quer
This package contains functions, types and constants taken from nanotrav to be used in pdtrav. The original names have been modified adding the "FsmPort" prefix.
FsmPortNtr.c contains the parts taken from ntr.c.
See AlsofsmPortBnet.c
pdtrav
Fsm_PortNtrBuildDDs()
Fsm_PortNtrInitState()
fsmPortNtrInitializeCount()
fsmPortNtrCountDFS()
By: Gianpiero Cabodi and Stefano Quer
External procedures included in this module:
Fsm_MgrPMBuild()
By: Gianpiero Cabodi and Stefano Quer
External procedures included in this module:
Fsm_MgrStore()
By: Gianpiero Cabodi and Stefano Quer
FsmString2Token()
FsmToken2String()
By: Gianpiero Cabodi and Stefano Quer
Fsm_BddFormatString2Int()
Fsm_BddFormatInt2String()
Fsm_MgrPrintStats()
Fsm_MgrPrintPrm()
Pdtutil_ReadConstrain()