20 #ifndef SPOT_TGBAALGOS_SAFETY_HH
21 # define SPOT_TGBAALGOS_SAFETY_HH
64 #endif // SPOT_TGBAALGOS_SAFETY_HH
this class acts like a wrapper to the C code of the open_set.
Definition: public.hh:32
SPOT_API bool is_guarantee_automaton(const tgba *aut, const scc_map *sm=0)
Whether an automaton represents a guarantee property.
SPOT_API bool is_safety_mwdba(const tgba *aut)
Whether a minimized WDBA represents a safety property.