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< hstate_t, std::pair< hstate_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 40 of file product.hxx.