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