| 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] |
1.5.1