spot
1.0
|
#include "scc.hh"
Go to the source code of this file.
Namespaces | |
namespace | spot |
Functions | |
bool | spot::is_guarantee_automaton (const tgba *aut, const scc_map *sm=0) |
Whether an automaton represents a guarantee property. | |
bool | spot::is_safety_mwdba (const tgba *aut) |
Whether a minimized WDBA represents a safety property. |