GraphNodeSpineSet Struct Reference

Data Fields
mdd_t *	states
mdd_t *	spine
mdd_t *	node

---

Detailed Description

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.]

Definition at line 36 of file mcSCC.c.

---

Field Documentation

mdd_t* GraphNodeSpineSet::node

Definition at line 39 of file mcSCC.c.

mdd_t* GraphNodeSpineSet::spine

Definition at line 38 of file mcSCC.c.

mdd_t* GraphNodeSpineSet::states

Definition at line 37 of file mcSCC.c.

---

The documentation for this struct was generated from the following file:

• src/mc/mcSCC.c