Awali
Another Weighted Automata library
|
#include <awali/sttc/core/rat/fwd.hh>
Go to the source code of this file.
Data Structures | |
class | awali::sttc::internal::transposer< RatExpSet > |
Namespaces | |
awali | |
Main namespace of Awali. | |
awali::sttc | |
Namespace for the static layer of Awali. | |
awali::sttc::internal | |
Implementation details of static layer (not stable). | |
Functions | |
template<class RatExpSet > | |
RatExpSet::ratexp_t | awali::sttc::transpose (const RatExpSet &rs, const typename RatExpSet::ratexp_t &v) |