-
ComputeFrom()
- Compute from given to and reached
-
TraceFrozenLatches()
- analyze latches keeping s=y
-
Trav_FromSelectEnum2String()
- Given an Enumerated type Returns a string
-
Trav_FromSelectString2Enum()
- Given a string it Returns an Enumerated type
-
Trav_ImgApproxConjPartTr()
- Compute approx image of a conjunctively partitioned transition
relation.
-
Trav_ImgConjPartTr()
- Compute image of a conjunctively partitioned transition
relation.
-
Trav_ImgDisjPartSet()
- Compute image of a disjunctively partitioned from set.
-
Trav_ImgDisjPartTr()
- Compute image of a disjunctively partitioned transition
relation
-
Trav_ImgMethodEnum2String()
- Given an Enumerated type Returns a string
-
Trav_ImgMethodString2Enum()
- Given a string it Returns an Enumerated type
-
Trav_ImgMonoTr()
- Compute image/preimage of a monolithic transition relation
-
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_MgrReadAssert()
- Read assert
-
Trav_MgrReadDdiMgrDefault()
- Read default DDi Mgr
-
Trav_MgrReadDdiMgrR()
- Read DDi Mgr R
-
Trav_MgrReadDdiMgrTr()
- Read DDi Mgr TR
-
Trav_MgrReadEnableDdR()
- Read
-
Trav_MgrReadEnableTrProfile()
- Read
-
Trav_MgrReadFromSelect()
- Read from selection
-
Trav_MgrReadFrom()
- Read from
-
Trav_MgrReadImgCofactor()
- Read the image flag enabling cofactor with from
-
Trav_MgrReadImgMethod()
- Read the image method selection
-
Trav_MgrReadI()
- Read PI array
-
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_MgrReadPS()
- Read PS array
-
Trav_MgrReadPaDiTrTh()
- Read
-
Trav_MgrReadPartThFrom()
- Read partitioning threshold for from
-
Trav_MgrReadPartThTr()
- Read partitioning threshold for TR
-
Trav_MgrReadPartitionMethod()
- Read
-
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_MgrReadTrPruneThreshold()
- Read
-
Trav_MgrReadTr()
- Read transition relation
-
Trav_MgrReadVerbosity()
- Read verbosity
-
Trav_MgrReadW1()
- Read
-
Trav_MgrReadW2()
- Read
-
Trav_MgrReadW3()
- Read
-
Trav_MgrReadW4()
- Read
-
Trav_MgrSetAssert()
- Set Assert
-
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_MgrSetImgCofactor()
- Sets the image flag enabling cofactor with from
-
Trav_MgrSetImgMethod()
- Set the image method selection
-
Trav_MgrSetI()
- Set the PI array
-
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_MgrSetPS()
- Set the PS array
-
Trav_MgrSetPartThFrom()
- Set partitioning threshold for from
-
Trav_MgrSetPartThTr()
- Set partitioning threshold for TR
-
Trav_MgrSetPartitionMethod()
- Read
-
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_MgrSetTr()
- Read
-
Trav_MgrSetVerbosity()
- Set verbosity
-
Trav_Traversal()
- FSM traversal given a transition relation
Last updated on 990617 11h53