-
FsmString2Token()
- Converts a token from string to enum
-
FsmToken2String()
- Converts a token from enum to string
-
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).
-
Pdtutil_ReadConstrain()
- Reads constrain
-
buildExorBDD()
- Builds BDD for a XOR function.
-
buildMuxBDD()
- Builds BDD for a multiplexer.
-
fsmPortBnetDfsOrder()
- Does a DFS from a node ordering the inputs.
-
fsmPortBnetLevelCompare()
- Comparison function used by qsort.
-
fsmPortBnetLevelDFS()
- Does a DFS from a node setting the level field.
-
fsmPortBnetOrderRoots()
- Orders network roots for variable ordering.
-
fsmPortBnetSetLevel()
- Sets the level of each node.
-
fsmPortNtrCountDFS()
- Does a DFS from a node setting the count field.
-
fsmPortNtrInitializeCount()
- Initializes the count fields used to drop DDs.
-
get_integer_array()
- Inserisce i numeri in cima all'array "datum_nmb".
-
get_number()
- Returns the current word as integer.
-
get_string_array()
- Inse le parole in cima all'array "datum_str".
-
get_token()
- Read a String from the File.
-
mainInit()
- Allocates the option structure for BLIF format and initializes
it.
-
printList()
- Prints a list of strings to the standard output.
-
readBddFile()
- read a bdd file
-
readFsmDelta()
- Reads .delta section of the .fsm file.
-
readFsmFrom()
- Reads .tr section of the .fsm file.
-
readFsmIndex()
- Reads .index section of the .fsm file.
-
readFsmInitState()
- Reads .init section of the .fsm file.
-
readFsmLambda()
- Reads .lambda section of the
.fsm file.
-
readFsmName()
- Reads .name section of the .fsm file.
-
readFsmOrd()
- Reads .ord section of the .fsm file.
-
readFsmReached()
- Reads .tr section of the .fsm file.
-
readFsmSize()
- Reads .size section of the .fsm file.
-
readFsmTransRel()
- Reads .tr section of the .fsm file.
-
readFsm()
- Reads current section of the .fsm file.
-
readInitFile()
- Reads initial state in the file .fsm.
-
readList()
- Reads a list of strings from a file.
-
readOrdFile()
- Reads the order in the .ord file.
-
readString()
- Reads a string from a file.
-
()
- Returns 1 if the two arguments are identical strings.
Last updated on 990617 11h53