VIS
|
Data Fields | |
mdd_t * | states |
mdd_t * | spine |
mdd_t * | node |
CFile***********************************************************************
FileName [mcSCC.c]
PackageName [mc]
Synopsis [Computation of Fair Strongly Connected Components.]
Description [This file contains the functions to compute the fair Strongly Connected Components (SCCs) of the state transtion graph of an FSM. Knowledge of the fair SCCs can be used to decide language emptiness. Other applications are also possible.]
SeeAlso []
Author [Fabio Somenzi, Chao Wang]
Copyright [This file was created at the University of Colorado at Boulder. The University of Colorado at Boulder makes no warranty about the suitability of this software for any purpose. It is presented on an AS IS basis.]
mdd_t* GraphNodeSpineSet::node |
mdd_t* GraphNodeSpineSet::spine |
mdd_t* GraphNodeSpineSet::states |