Inheritance diagram for semiring_proxy:
Public Types | |
typedef Element< S, T >::semiring_elt_t | semiring_elt_t |
Public Member Functions | |
semiring_proxy (semiring_elt_t &sem) | |
~semiring_proxy () | |
semiring_virtual & | operator= (semiring_virtual &sem) |
Public Attributes | |
semiring_elt_t | self |
Definition at line 85 of file krat_exp_proxy.hh.