-
tr.h
- External header file
-
trInt.h
- Internal header file
-
trBuild.c
- Functions to Build a partitioned, clustered or monolithic
transition relation
-
trClosure.c
- Functions doing transitive closure
-
trMgr.c
- Functions to handle a TR manager
-
trSort.c
- Sort a BDDs'array
-
trUtil.c
- Utility Functions
tr.h
External header file
By: Gianpiero Cabodi and Stefano Quer
trInt.h
Internal header file
By: Gianpiero Cabodi and Stefano Quer
trBuild.c
Functions to Build a partitioned, clustered or monolithic
transition relation
By: Gianpiero Cabodi and Stefano Quer
-
Tr_BuildClusteredTR()
- Build clustered Transition relation
-
Tr_BuildMonoTR()
- Build monolithic Transition relation
-
Tr_BuildPartTR()
- Build partitioned Transition Relation
-
Tr_RemoveLambdaLatches()
- Remove Lambda Latches
trClosure.c
Functions doing transitive closure
By: Gianpiero Cabodi and Stefano Quer
-
Tr_BuildTransClosure()
- Build transitive closure of a Transition Relation
by means of iterative squaring
-
TrBuildTransClosure()
- Build transitive closure of a Transition Relation
by means of iterative squaring
-
TrCompose()
- Compute : EXIST(z) (f(s,z) * g(z,y) )
trMgr.c
Functions to handle a TR manager
By: Gianpiero Cabodi and Stefano Quer
-
Tr_MgrInit()
- Creates a DdManager.
-
Tr_MgrQuit()
- Closes a Transition Relation Manager.
-
Tr_MgrPrintStats()
- Prints Statistics on a Transition Relation Manager.
-
Tr_MgrOperation()
- Performs an Operation on a Transition Relation Manager.
-
Tr_MgrSetDdiMgrDefault()
- Set default DDi Mgr on the Transition Relation Manager.
-
SetSortWeights()
- Set sort settings in the Transition Relation Manager.
-
ShowSortWeights()
- Show sort settings.
-
Tr_MgrReadDdiMgrDefault()
- Read default DDi Mgr
-
Tr_MgrReadI()
- Read PI array
-
Tr_MgrSetI()
- Set the PI array
-
Tr_MgrReadPS()
- Read PS array in the Transition Relation Manager.
-
Tr_MgrSetPS()
- Set the PS array
-
Tr_MgrReadNS()
- Read NS array in the Transition Relation Manager.
-
Tr_MgrSetNS()
- Set the NS array in the Transition Relation Manager.
-
Tr_MgrReadTr()
- Read TR in the Transition Relation Manager.
-
Tr_MgrSetTr()
- Set the Transition Relation in the Transition Relation
Manager.
-
Tr_MgrReadVerbosity()
- Read verbosity
-
Tr_MgrSetVerbosity()
- Set the period for verbosity enabling.
-
Tr_MgrReadSortMethod()
- Read sort method
-
Tr_MgrSetSortMethod()
- Set the sort Method
-
Tr_MgrReadClustThreshold()
- Read cluster threshold
-
Tr_MgrSetClustThreshold()
- Set the cluster threshold
-
Tr_MgrReadSortW()
- Read sort weight
-
Tr_MgrSetSortW()
- Set the sort weight
-
Tr_MgrSetTrName()
-
-
Tr_MgrReadTrName()
- Read verbosity
-
Tr_MgrReadMaxIter()
- Read the maximum number of closure iterations.
-
Tr_MgrSetMaxIter()
- Set the maximum number of closure iterations
-
Tr_MgrReadSquaringMethod()
- Read the squaring method
-
Tr_MgrSetSquaringMethod()
- Set the squaring method
trSort.c
Sort a BDDs'array
By: Gianpiero Cabodi and Stefano Quer
-
Tr_DdSortPartitions()
- Sorting an array of BDDs
-
MaxMinVSupportCompare()
- Compares BDDs for MAX-MIN-V-SORTING method.
-
BddSizeCompare()
- Compares BDDs for SIZE-SORTING method
-
WeightedSort()
- Compares BDDs for WEIGTHED-SORT method
trUtil.c
Utility Functions
By: Gianpiero Cabodi and Stefano Quer
-
Tr_TrSortString2Enum()
- Given a string it Returns an Enumerated type
-
Tr_TrSortEnum2String()
- Given an Enumerated type Returns a string
Last updated on 990617 11h53