- All Implemented Interfaces:
- Iterable<S>, net.automatalib.automata.Automaton<S,Integer,PTATransition<S>>, net.automatalib.automata.DeterministicAutomaton<S,Integer,PTATransition<S>>, net.automatalib.automata.simple.SimpleAutomaton<S,Integer>, net.automatalib.automata.simple.SimpleDeterministicAutomaton<S,Integer>, net.automatalib.automata.UniversalAutomaton<S,Integer,PTATransition<S>,SP,TP>, net.automatalib.automata.UniversalDeterministicAutomaton<S,Integer,PTATransition<S>,SP,TP>, net.automatalib.ts.DeterministicTransitionSystem<S,Integer,PTATransition<S>>, net.automatalib.ts.simple.SimpleDTS<S,Integer>, net.automatalib.ts.simple.SimpleTS<S,Integer>, net.automatalib.ts.TransitionSystem<S,Integer,PTATransition<S>>, net.automatalib.ts.UniversalDTS<S,Integer,PTATransition<S>,SP,TP>, net.automatalib.ts.UniversalTransitionSystem<S,Integer,PTATransition<S>,SP,TP>
- Direct Known Subclasses:
- BlueFringePTA
@ParametersAreNonnullByDefault
public abstract class AbstractBlueFringePTA<SP,TP,S extends AbstractBlueFringePTAState<SP,TP,S>>
extends BasePTA<SP,TP,S>