Trav_FromSelectEnum2String()
Given an Enumerated type Returns a string
Trav_FromSelectString2Enum()
Given a string it Returns an Enumerated type
Trav_Main()
Temporary main program to be used as interface for cmd.
Trav_MgrInit()
Create a Manager.
Trav_MgrOperation()
Perform an Operation on the Traversal Manager.
Trav_MgrPrintStats()
Print Statistics on the Traversal Manager.
Trav_MgrQuit()
Closes a Manager.
Trav_MgrReadAssertFlag()
Read Assert Flag.
Trav_MgrReadAssert()
Read Assert.
Trav_MgrReadAux()
Read AUX array
Trav_MgrReadBackward()
Read the backward traversal flag
Trav_MgrReadDdiMgrDefault()
Read default DDi Mgr
Trav_MgrReadDdiMgrR()
Read DDi Mgr R
Trav_MgrReadDdiMgrTr()
Read DDi Mgr TR
Trav_MgrReadEnableDdR()
Read
Trav_MgrReadFromSelect()
Read from selection
Trav_MgrReadFrom()
Read from
Trav_MgrReadI()
Read PI array
Trav_MgrReadKeepNew()
Read the keepNew flag
Trav_MgrReadLevel()
Read Number of Level
Trav_MgrReadLogPeriod()
Read the period for verbosity enabling
Trav_MgrReadMaxIter()
Read the maximum number of traversal iterations
Trav_MgrReadMgrAuxFlag()
Read the flag to indicate that during traversal there is an additional auziliary manager
Trav_MgrReadNS()
Read NS array
Trav_MgrReadName()
Read
Trav_MgrReadNewi()
Read newi
Trav_MgrReadPS()
Read PS array
Trav_MgrReadProductPeak()
Read Product Peak Value
Trav_MgrReadReached()
Read reached
Trav_MgrReadSavePeriodName()
Read the period for save BDDs enabling
Trav_MgrReadSavePeriod()
Read the period for save BDDs enabling
Trav_MgrReadSmoothVar()
Read
Trav_MgrReadSorting()
Read verbosity
Trav_MgrReadSquaring()
Read
Trav_MgrReadThreshold()
Read
Trav_MgrReadTrProfileDynamicEnable()
Read
Trav_MgrReadTrProfileMethod()
Read
Trav_MgrReadTrProfileThreshold()
Read
Trav_MgrReadTr()
Read transition relation
Trav_MgrReadVerbosity()
Read verbosity
Trav_MgrReadW1()
Read
Trav_MgrReadW2()
Read
Trav_MgrReadW3()
Read
Trav_MgrReadW4()
Read
Trav_MgrSetAssertFlag()
Set Assert Flag.
Trav_MgrSetAssert()
Set Assert.
Trav_MgrSetAux()
Set the aux array
Trav_MgrSetBackward()
Set the backward traversal flag
Trav_MgrSetDdiMgrDefault()
Set default DDi Mgr
Trav_MgrSetDdiMgrR()
Set DDi Mgr R
Trav_MgrSetDdiMgrTr()
Set DDi Mgr TR
Trav_MgrSetFromSelect()
Set the from selection
Trav_MgrSetFrom()
Read
Trav_MgrSetI()
Set the PI array
Trav_MgrSetKeepNew()
Set the keepNew flag
Trav_MgrSetLogPeriod()
Set the period for verbosity enabling
Trav_MgrSetMaxIter()
Set the maximum number of traversal iterations
Trav_MgrSetMgrAuxFlag()
Set the flag to indicate that during traversal there is an additional auziliary manager
Trav_MgrSetNS()
Set the NS array
Trav_MgrSetName()
Read
Trav_MgrSetNewi()
Set Newi
Trav_MgrSetPS()
Set the PS array
Trav_MgrSetProductPeak()
Read
Trav_MgrSetReached()
Read
Trav_MgrSetSavePeriodName()
Set the period for verbosity enabling
Trav_MgrSetSavePeriod()
Set the period for verbosity enabling
Trav_MgrSetSorting()
Read verbosity
Trav_MgrSetTrProfileDynamicEnable()
Read
Trav_MgrSetTrProfileMethod()
Set
Trav_MgrSetTrProfileThreshold()
Read
Trav_MgrSetTr()
Read
Trav_MgrSetVerbosity()
Set verbosity
Trav_MismatchPat()
Generation of a mismatch input sequence
Trav_SimulateMain()
Temporary main program to be used as interface for cmd.
Trav_TrPartition()
Partitions the Transition Relation
Trav_Traversal()
FSM traversal given a transition relation
Trav_UnivAlignPat()
Find a universal alignment sequence

Last updated on 1010515 11h48