![]()  | 
  
    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) |