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.