
Public Member Functions | |
| ReverseVisitor (const algebra::SemiringBase< Semiring > &s) | |
| virtual void | product (rat::Node< Word, Weight > *lhs, rat::Node< Word, Weight > *rhs) | 
| virtual void | constant (Word &w) | 
| virtual void | left_weight (Weight &w) | 
| virtual void | right_weight (Weight &w) | 
| virtual void | product (Node< M_, W_ > *lhs, Node< M_, W_ > *rhs) | 
| virtual void | sum (Node< M_, W_ > *lhs, Node< M_, W_ > *rhs) | 
| virtual void | star (Node< M_, W_ > *n) | 
| virtual void | left_weight (W_ &, Node< M_, W_ > *n) | 
| virtual void | right_weight (W_ &, Node< M_, W_ > *n) | 
| virtual void | constant (M_ &) | 
| virtual void | zero () | 
| virtual void | one () | 
Static Protected Member Functions | |
| template<class S> | |
| static Weight | transpose (const algebra::SeriesBase< S > &, const Weight &) | 
| template<class S> | |
| static Weight | transpose (const algebra::SemiringBase< S > &, const Weight &) | 
Protected Attributes | |
| const Semiring & | s_ | 
Definition at line 31 of file reverse_visitor.hh.
 1.5.1