Package org.svvrl.goal.core.aut.alt.twoway

  • Class Summary 
    Class Description
    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.
  • Enum Summary 
    Enum Description
    Direction
    This class defines the direction of a transition in a two-way alternating automaton.