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