[−][src]Module tree_automata::alternating
Structs
Automaton | Alternating tree automaton. |
Type Definitions
Clause | The empty clause is False. |
Conjuction | The empty conjunction is True. |
Automaton | Alternating tree automaton. |
Clause | The empty clause is False. |
Conjuction | The empty conjunction is True. |