spot
0.8.2
|
#include "tgba/tgba.hh"
Go to the source code of this file.
Namespaces | |
namespace | spot |
Functions | |
tgba * | spot::scc_filter (const tgba *aut, bool remove_all_useless=false) |
Prune unaccepting SCCs and remove superfluous acceptance conditions. |