| 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