Awali
Another Weighted Automata library
Public Member Functions
awali::sttc::internal::outsplitter< Aut > Class Template Reference

#include <outsplit.hh>

Public Member Functions

template<typename Pred >
void operator() (Aut &aut, const Pred &pred)
 

Member Function Documentation

◆ operator()()

template<typename Aut >
template<typename Pred >
void awali::sttc::internal::outsplitter< Aut >::operator() ( Aut &  aut,
const Pred &  pred 
)

The documentation for this class was generated from the following file: