Public Types | |
|
typedef Element< AlphabetSet < L >, std::set< L > > | alphabet_t |
| The type of the alphabet. | |
| typedef L | letter_t |
| The type of letters held by the alphabet. | |
|
typedef letter_traits < letter_t > ::first_projection_t | first_projection_letter_t |
| The type of letters held by the first projection. | |
|
typedef letter_traits < letter_t > ::second_projection_t | second_projection_letter_t |
| The type of letters held by the second projection. | |
|
typedef Element< AlphabetSet < first_projection_letter_t > , std::set < first_projection_letter_t > > | first_projection_t |
| The type of the first projection alphabet. | |
|
typedef Element< AlphabetSet < second_projection_letter_t > , std::set < second_projection_letter_t > > | second_projection_t |
| The type of the second projection alphabet. | |
Static Public Member Functions | |
| static first_projection_t | first_projection (const alphabet_t &) |
| The first projection alphabet maker. | |
| static second_projection_t | second_projection (const alphabet_t &) |
| The second projection alphabet maker. | |
Definition at line 36 of file alphabet_set.hh.
1.5.6