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