20 #ifndef SPOT_TGBAALGOS_ISDET_HH
21 # define SPOT_TGBAALGOS_ISDET_HH
23 # include "tgba/tgba.hh"
56 #endif // SPOT_TGBAALGOS_ISDET_HH
SPOT_API bool is_deterministic(const tgba *aut)
Return true iff aut is deterministic.
SPOT_API unsigned count_nondet_states(const tgba *aut)
Count the number of non-deterministic states in aut.
SPOT_API bool is_complete(const tgba *aut)