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.