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