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