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.