|
spot
2.3.3.dev
|
Wrapper to accumulate results from intersection and emptiness checks. More...
#include <spot/mc/intersect.hh>

Public Attributes | |
| unsigned | states |
| unsigned | transitions |
| unsigned | sccs |
| unsigned | instack_sccs |
| unsigned | instack_item |
| bool | is_empty |
Wrapper to accumulate results from intersection and emptiness checks.
1.8.13