![]() |
Awali
Another Weighted Automata library
|
#include <outsplit.hh>
Public Member Functions | |
| template<typename Pred > | |
| void | operator() (Aut &aut, const Pred &pred) |
| void awali::sttc::internal::outsplitter< Aut >::operator() | ( | Aut & | aut, |
| const Pred & | pred | ||
| ) |