Fsm_BddFormatInt2String()
Given an Integer Returns a string
Fsm_BddFormatString2Int()
Given a string it Returns an Integer.
Fsm_MgrDup()
Duplicates FSM structure.
Fsm_MgrFree()
Frees unused FSM structure members
Fsm_MgrInit()
Initializes the FSM structure.
Fsm_MgrLoadFromBlif()
Reads description of a fsmMgr (BLIF format) from file
Fsm_MgrLoad()
Fsm_MgrOperation()
Fsm_MgrPMBuild()
Fsm_MgrPrintPrm()
Prints the permutation on file "tmp.prm"
Fsm_MgrPrintStats()
Prints Statistics on the FSM Structure
Fsm_MgrReadBddFormat()
Fsm_MgrReadDdManager()
Fsm_MgrReadDeltaBDD()
Fsm_MgrReadDeltaName()
Fsm_MgrReadFileName()
Fsm_MgrReadFileOrd()
Reads variable order from a .ord file
Fsm_MgrReadFromBDD()
Fsm_MgrReadFromName()
Fsm_MgrReadFromString()
Fsm_MgrReadFsmName()
Fsm_MgrReadIndexI()
Fsm_MgrReadIndexNS()
Fsm_MgrReadIndexO()
Fsm_MgrReadIndexPS()
Fsm_MgrReadInitBDD()
Fsm_MgrReadInitName()
Fsm_MgrReadInitString()
Fsm_MgrReadInvauxids()
Fsm_MgrReadLambdaBDD()
Fsm_MgrReadLambdaName()
Fsm_MgrReadNI()
Fsm_MgrReadNL()
Fsm_MgrReadNO()
Fsm_MgrReadNameI()
Fsm_MgrReadNameNS()
Fsm_MgrReadNameO()
Fsm_MgrReadNamePS()
Fsm_MgrReadOrdFileName()
Fsm_MgrReadOrdNodeName()
Fsm_MgrReadOrdNodeid()
Fsm_MgrReadReachedBDD()
Fsm_MgrReadReachedName()
Fsm_MgrReadReachedString()
Fsm_MgrReadSX()
Fsm_MgrReadTrBDD()
Fsm_MgrReadTrName()
Fsm_MgrReadTrString()
Fsm_MgrReadVarI()
Fsm_MgrReadVarNS()
Fsm_MgrReadVarO()
Fsm_MgrReadVarPS()
Fsm_MgrReadVarauxids()
Fsm_MgrReadVarnames()
Fsm_MgrReadVerbosity()
Fsm_MgrReadY()
Fsm_MgrReadZ()
Fsm_MgrSetBddFormat()
Fsm_MgrSetDdManager()
Fsm_MgrSetDeltaBDD()
Fsm_MgrSetDeltaName()
Fsm_MgrSetFileName()
Fsm_MgrSetFromBDD()
Fsm_MgrSetFromName()
Fsm_MgrSetFromString()
Fsm_MgrSetFsmName()
Fsm_MgrSetIndexI()
Fsm_MgrSetIndexNS()
Fsm_MgrSetIndexO()
Fsm_MgrSetIndexPS()
Fsm_MgrSetInitBDD()
Fsm_MgrSetInitName()
Fsm_MgrSetInitString()
Fsm_MgrSetInvauxids()
Fsm_MgrSetLambdaBDD()
Fsm_MgrSetLambdaName()
Fsm_MgrSetNI()
Fsm_MgrSetNL()
Fsm_MgrSetNO()
Fsm_MgrSetNameI()
Fsm_MgrSetNameNS()
Fsm_MgrSetNameO()
Fsm_MgrSetNamePS()
Fsm_MgrSetOrdFileName()
Fsm_MgrSetOrdNodeName()
Fsm_MgrSetOrdNodeid()
Fsm_MgrSetReachedBDD()
Fsm_MgrSetReachedName()
Fsm_MgrSetReachedString()
Fsm_MgrSetSX()
Fsm_MgrSetTrBDD()
Fsm_MgrSetTrName()
Fsm_MgrSetTrString()
Fsm_MgrSetVarI()
Fsm_MgrSetVarNS()
Fsm_MgrSetVarO()
Fsm_MgrSetVarPS()
Fsm_MgrSetVarauxids()
Fsm_MgrSetVarnamesOne()
Fsm_MgrSetVarnames()
Fsm_MgrSetVerbosity()
Fsm_MgrSetY()
Fsm_MgrSetZ()
Fsm_MgrStore()
Stores (on file o stdout) of FSM structure
Fsm_PortBnetBuildNodeBDD()
Builds the BDD for the function of a node.
Fsm_PortBnetDfsVariableOrder()
Orders the BDD variables by DFS.
Fsm_PortBnetFreeNetwork()
Frees a boolean network created by Fsm_PortBnetReadNetwork.
Fsm_PortBnetReadNetwork()
Reads boolean network from blif file.
Fsm_PortBnetReadOrder()
Reads the variable order from a file.
Fsm_PortNtrBuildDDs()
Builds DDs for a network outputs and next state functions.
Fsm_PortNtrInitState()
Builds the BDD of the initial state(s).

Last updated on 990617 11h53