krat_exp_proxy(Element< S, T > exp) | krat_exp_proxy | |
left_weight(semiring_virtual *sem) | krat_exp_proxy | [virtual] |
monoid_elt_t typedef | krat_exp_proxy | |
operator *(krat_exp_virtual *exp) | krat_exp_proxy | [virtual] |
operator+(krat_exp_virtual *exp) | krat_exp_proxy | [virtual] |
operator=(krat_exp_virtual &exp) | krat_exp_proxy | [virtual] |
right_weight(semiring_virtual *sem) | krat_exp_proxy | [virtual] |
self | krat_exp_proxy | |
star() | krat_exp_proxy | [virtual] |
~krat_exp_proxy() | krat_exp_proxy | [inline] |
~krat_exp_virtual() | krat_exp_virtual | [inline, virtual] |