AbstractTwoWayAltAutomatonCreator |
This is an abstract creator for creating two-way alternating automata with
propositional alphabet and labels on transitions.
|
CNFTWABWCreator |
This is a creator that can create a two-way alternating Büchi word
automaton (TWABW) in CNF form.
|
CNFTWACWCreator |
This is a creator that can create a two-way alternating co-Büchi word
automaton (TWACW) in CNF form.
|
CNFTWAGBWCreator |
This is a creator that can create a two-way alternating generalized
Büchi word automaton (TWAGBW) in CNF form.
|
CNFTWAMWCreator |
This is a creator that can create a two-way alternating Muller word automaton
(TWAMW) in CNF form.
|
CNFTWAPWCreator |
This is a creator that can create a two-way alternating parity word automaton
(TWAPW) in CNF form.
|
CNFTWARWCreator |
This is a creator that can create a two-way alternating Rabin word automaton
(TWARW) in CNF form.
|
CNFTWASWCreator |
This is a creator that can create a two-way alternating Streett word
automaton (TWASW) in CNF form.
|
DNFTWABWCreator |
This is a creator that can create a two-way alternating Büchi word
automaton (TWABW) in DNF form.
|
DNFTWACWCreator |
This is a creator that can create a two-way alternating co-Büchi word
automaton (TWACW) in DNF form.
|
DNFTWAGBWCreator |
This is a creator that can create a two-way alternating generalized
Büchi word automaton (TWAGBW) in DNF form.
|
DNFTWAMWCreator |
This is a creator that can create a two-way alternating Muller word automaton
(TWAMW) in DNF form.
|
DNFTWAPWCreator |
This is a creator that can create a two-way alternating parity word automaton
(TWAPW) in DNF form.
|
DNFTWARWCreator |
This is a creator that can create a two-way alternating Rabin word automaton
(TWARW) in DNF form.
|
DNFTWASWCreator |
This is a creator that can create a two-way alternating Streett word
automaton (TWASW) in DNF form.
|
TwoWayAltAutomaton |
A TwoWayAltAutomaton is an alternating automaton with two
directions on transitions.
|
TwoWayAltTransition |
A TwoWayAltTransition is an alternating transition with a
forward or backward direction.
|
TwoWaySuccessor |
A two-way successor contains a set of backward successors and a set of
forward successors.
|