Public Member Functions | |
ExpConvertVisitor (const Series_ &s) | |
~ExpConvertVisitor () | |
virtual void | product (const node_t *left_, const node_t *right_) |
virtual void | sum (const node_t *left_, const node_t *right_) |
virtual void | star (const node_t *node_) |
virtual void | left_weight (const oTw &w, const node_t *node_) |
virtual void | right_weight (const oTw &w, const node_t *node_) |
virtual void | constant (const oTm &m_) |
virtual void | one () |
virtual void | zero () |
const exp_t & | get () const |
Protected Types | |
typedef rat::Node< oTm, oTw > | node_t |
typedef rat::exp< Tm, Tw > | exp_t |
Protected Attributes | |
exp_t | exp_ |
const Series_ & | series_ |
Definition at line 31 of file krat_conversion.hh.