Public Types | |
typedef undefined_type | first_projection_t |
Whether the automaton has a first projection computable. | |
typedef undefined_type | second_projection_t |
Whether the automaton has a second projection computable. |
Definition at line 206 of file automata_base.hh.