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.