Public Types | |
| typedef AutomataBase< A > | structure_t | 
| typedef Element< A, T > | lhs_t | 
| typedef Element< A, U > | rhs_t | 
| typedef lhs_t | output_t | 
| 
typedef std::map< typename  output_t::hstate_t, std::pair< typename lhs_t::hstate_t, typename rhs_t::hstate_t > >  | pair_map_t | 
Public Member Functions | |
| Product (const structure_t &structure, const bool use_geometry) | |
| output_t & | operator() (output_t &output, const lhs_t &lhs, const rhs_t &rhs, pair_map_t &m) | 
Definition at line 43 of file product.hxx.
 1.5.1