| AAConverter |
This class is used to do conversions between different alternating automata,
or between alternating automaton and finite automaton.
|
| AAConverter.CNFABW2NBWConverter |
|
| AbstractAltAutomaton |
An AbstractAltAutomaton is a structure for automata with
alternation which can be in DNF form or CNF form.
|
| AbstractAltAutomatonCreator |
This is an abstract creator for creating alternating automata with
propositional alphabet and labels on transitions.
|
| AltAutomaton |
An AltAutomaton is an alternating automaton which can be in DNF
form or CNF form.
|
| AltConnector |
An AltConnector has type State but acts as a
connector in an alternating automaton.
|
| AltState |
An AltState is a state of an alternating automaton.
|
| AltStyleConversion |
This class provides a conversion from an alternating automaton in DNF (or
CNF) to an alternating automaton in CNF (or DNF respectively).
|
| AltTransition |
An AltTransition is a transition in an alternating automaton.
|
| CNFABWCreator |
This is a creator that can create an alternating Büchi word automaton
(ABW) in CNF form.
|
| CNFACWCreator |
This is a creator that can create an alternating co-Büchi word automaton
(ACW) in CNF form.
|
| CNFAGBWCreator |
This is a creator that can create an alternating generalized Büchi word
automaton (AGBW) in CNF form.
|
| CNFAMWCreator |
This is a creator that can create an alternating Muller word automaton (AMW)
in CNF form.
|
| CNFAPWCreator |
This is a creator that can create an alternating parity word automaton (APW)
in CNF form.
|
| CNFARWCreator |
This is a creator that can create an alternating Rabin word automaton (ARW)
in CNF form.
|
| CNFASWCreator |
This is a creator that can create an alternating Streett word automaton (ASW)
in CNF form.
|
| DNFABW2NBW |
This class implements the conversion from ABW in DNF to equivalent NBW
[Satoru Miyano, Takeshi Hayashi: Alternating Finite Automata on
ω-Words.
|
| DNFABWCreator |
This is a creator that can create an alternating Büchi word automaton
(ABW) in DNF form.
|
| DNFACWCreator |
This is a creator that can create an alternating co-Büchi word automaton
(ACW) in DNF form.
|
| DNFAGBWCreator |
This is a creator that can create an alternating generalized Büchi word
automaton (AGBW) in DNF form.
|
| DNFAMWCreator |
This is a creator that can create an alternating Muller word automaton (AMW)
in DNF form.
|
| DNFAPWCreator |
This is a creator that can create an alternating parity word automaton (APW)
in DNF form.
|
| DNFARWCreator |
This is a creator that can create an alternating Rabin word automaton (ARW)
in DNF form.
|
| DNFASWCreator |
This is a creator that can create an alternating Streett word automaton (ASW)
in DNF form.
|