Inheritance diagram for krat_exp_proxy:

Public Types | |
| typedef Element< S, T >::monoid_elt_t | monoid_elt_t |
Public Member Functions | |
| krat_exp_proxy (Element< S, T > exp) | |
| ~krat_exp_proxy () | |
| krat_exp_virtual & | operator= (krat_exp_virtual &exp) |
| krat_exp_virtual * | operator+ (krat_exp_virtual *exp) |
| krat_exp_virtual * | operator * (krat_exp_virtual *exp) |
| void | star () |
| void | left_weight (semiring_virtual *sem) |
| void | right_weight (semiring_virtual *sem) |
Public Attributes | |
| Element< S, T > | self |
Definition at line 61 of file krat_exp_proxy.hh.
1.5.1