spot
1.1.3
|
#include "tgba/tgba.hh"
Go to the source code of this file.
Namespaces | |
spot | |
Functions | |
unsigned | spot::count_nondet_states (const tgba *aut) |
Count the number of non-deterministic states in aut. More... | |
bool | spot::is_deterministic (const tgba *aut) |
Return true iff aut is deterministic. More... | |