next up previous contents
Next: The CMD user interface Up: User's Manual Previous: TR management   Contents

Traversals

This package provides several routines for image/preimage computations, traversals, transitive closure of a State Transition Graph. All tasks are accomplished working on transition relations and characteristic functions of state sets.

A traversal manager includes all data involved in a traversal, namely the TR, state sets, settings, etc. Standard traversals as well as more specialized ones are supported.



Gianpiero Cabodi
2001-03-25