spot
1.1.3
|
#include "tgba/tgba.hh"
Go to the source code of this file.
Namespaces | |
spot | |
Functions | |
tgba * | spot::scc_filter (const tgba *aut, bool remove_all_useless=false, scc_map *given_sm=0, bdd susp=bddtrue, bool early_susp=false, bdd ignored=bddtrue) |
Prune unaccepting SCCs and remove superfluous acceptance conditions. More... | |
tgba * | spot::scc_filter_states (const tgba *aut, scc_map *given_sm=0) |
Prune unaccepting SCCs. More... | |