BddSizeCompare()
Compares BDDs for SIZE-SORTING method
MaxMinVSupportCompare()
Compares BDDs for MAX-MIN-V-SORTING method.
SetSortWeights()
Set sort settings in the Transition Relation Manager.
ShowSortWeights()
Show sort settings.
TrBuildTransClosure()
Build transitive closure of a Transition Relation by means of iterative squaring
TrCompose()
Compute : EXIST(z) (f(s,z) * g(z,y) )
Tr_BuildClusteredTR()
Build clustered Transition relation
Tr_BuildMonoTR()
Build monolithic Transition relation
Tr_BuildPartTR()
Build partitioned Transition Relation
Tr_BuildTransClosure()
Build transitive closure of a Transition Relation by means of iterative squaring
Tr_DdSortPartitions()
Sorting an array of BDDs
Tr_MgrInit()
Creates a DdManager.
Tr_MgrOperation()
Performs an Operation on a Transition Relation Manager.
Tr_MgrPrintStats()
Prints Statistics on a Transition Relation Manager.
Tr_MgrQuit()
Closes a Transition Relation Manager.
Tr_MgrReadClustThreshold()
Read cluster threshold
Tr_MgrReadDdiMgrDefault()
Read default DDi Mgr
Tr_MgrReadI()
Read PI array
Tr_MgrReadMaxIter()
Read the maximum number of closure iterations.
Tr_MgrReadNS()
Read NS array in the Transition Relation Manager.
Tr_MgrReadPS()
Read PS array in the Transition Relation Manager.
Tr_MgrReadSortMethod()
Read sort method
Tr_MgrReadSortW()
Read sort weight
Tr_MgrReadSquaringMethod()
Read the squaring method
Tr_MgrReadTrName()
Read verbosity
Tr_MgrReadTr()
Read TR in the Transition Relation Manager.
Tr_MgrReadVerbosity()
Read verbosity
Tr_MgrSetClustThreshold()
Set the cluster threshold
Tr_MgrSetDdiMgrDefault()
Set default DDi Mgr on the Transition Relation Manager.
Tr_MgrSetI()
Set the PI array
Tr_MgrSetMaxIter()
Set the maximum number of closure iterations
Tr_MgrSetNS()
Set the NS array in the Transition Relation Manager.
Tr_MgrSetPS()
Set the PS array
Tr_MgrSetSortMethod()
Set the sort Method
Tr_MgrSetSortW()
Set the sort weight
Tr_MgrSetSquaringMethod()
Set the squaring method
Tr_MgrSetTrName()
Tr_MgrSetTr()
Set the Transition Relation in the Transition Relation Manager.
Tr_MgrSetVerbosity()
Set the period for verbosity enabling.
Tr_RemoveLambdaLatches()
Remove Lambda Latches
Tr_TrSortEnum2String()
Given an Enumerated type Returns a string
Tr_TrSortString2Enum()
Given a string it Returns an Enumerated type
WeightedSort()
Compares BDDs for WEIGTHED-SORT method

Last updated on 990617 11h53