The tr package
Funtions to manipolate Transition Relation
By Gianpiero Cabodi and Stefano Quer
The Tr (Transition Relation) package provides
a set of functions to manipolate the Transition Relation.
The transition relation can be built using the monolithic form or
clustering heuristics.
Squaring it, transitive closure, is also possible.
External procedures included in this package:
- Tr_DdArrayAndExist()
- Tr_CreateTrv()
- Tr_DdArraySort()
Last updated on 990617 11h53