Module de.learnlib.datastructure
Package de.learnlib.datastructure.pta.wrapper

Class DFAWrapper<S extends AbstractBasePTAState<S,​Boolean,​Void>,​I>

  • All Implemented Interfaces:
    Iterable<S>, net.automatalib.automaton.Automaton<S,​I,​S>, net.automatalib.automaton.concept.DetOutputAutomaton<S,​I,​S,​Boolean>, net.automatalib.automaton.concept.DetSuffixOutputAutomaton<S,​I,​S,​Boolean>, net.automatalib.automaton.concept.FiniteRepresentation, net.automatalib.automaton.concept.InputAlphabetHolder<I>, net.automatalib.automaton.concept.Output<I,​Boolean>, net.automatalib.automaton.concept.OutputAutomaton<S,​I,​S,​Boolean>, net.automatalib.automaton.concept.SuffixOutput<I,​Boolean>, net.automatalib.automaton.DeterministicAutomaton<S,​I,​S>, net.automatalib.automaton.FiniteAlphabetAutomaton<S,​I,​S>, net.automatalib.automaton.fsa.DFA<S,​I>, net.automatalib.automaton.fsa.FiniteStateAcceptor<S,​I>, net.automatalib.automaton.fsa.NFA<S,​I>, net.automatalib.automaton.simple.SimpleAutomaton<S,​I>, net.automatalib.automaton.simple.SimpleDeterministicAutomaton<S,​I>, net.automatalib.automaton.UniversalAutomaton<S,​I,​S,​Boolean,​Void>, net.automatalib.automaton.UniversalDeterministicAutomaton<S,​I,​S,​Boolean,​Void>, net.automatalib.graph.concept.GraphViewable, net.automatalib.ts.acceptor.AcceptorTS<S,​I>, net.automatalib.ts.acceptor.DeterministicAcceptorTS<S,​I>, net.automatalib.ts.DeterministicTransitionSystem<S,​I,​S>, net.automatalib.ts.simple.SimpleDTS<S,​I>, net.automatalib.ts.simple.SimpleTS<S,​I>, net.automatalib.ts.TransitionSystem<S,​I,​S>, net.automatalib.ts.UniversalDTS<S,​I,​S,​Boolean,​Void>, net.automatalib.ts.UniversalTransitionSystem<S,​I,​S,​Boolean,​Void>
    public class DFAWrapper<S extends AbstractBasePTAState<S,​Boolean,​Void>,​I>
extends Object
implements net.automatalib.automaton.fsa.DFA<S,​I>, net.automatalib.automaton.FiniteAlphabetAutomaton<S,​I,​S>

    • Nested Class Summary

      • Nested classes/interfaces inherited from interface net.automatalib.automaton.DeterministicAutomaton

        net.automatalib.automaton.DeterministicAutomaton.FullIntAbstraction<T extends Object>, net.automatalib.automaton.DeterministicAutomaton.IntAbstraction<T extends Object>, net.automatalib.automaton.DeterministicAutomaton.StateIntAbstraction<I extends Object,​T extends Object>

      • Nested classes/interfaces inherited from interface net.automatalib.automaton.fsa.FiniteStateAcceptor

        net.automatalib.automaton.fsa.FiniteStateAcceptor.FSAGraphView<S extends Object,​I extends Object,​A extends net.automatalib.automaton.fsa.FiniteStateAcceptor<S,​I>>

      • Nested classes/interfaces inherited from interface net.automatalib.automaton.UniversalDeterministicAutomaton

        net.automatalib.automaton.UniversalDeterministicAutomaton.FullIntAbstraction<T extends Object,​SP extends Object,​TP extends Object>, net.automatalib.automaton.UniversalDeterministicAutomaton.IntAbstraction<T extends Object,​SP extends Object,​TP extends Object>, net.automatalib.automaton.UniversalDeterministicAutomaton.StateIntAbstraction<I extends Object,​T extends Object,​SP extends Object,​TP extends Object>

    • Field Summary

      • Fields inherited from interface net.automatalib.automaton.fsa.FiniteStateAcceptor

        STATE_PROPERTIES, TRANSITION_PROPERTIES

    • Constructor Summary

      Constructors 
      Constructor Description
      DFAWrapper​(net.automatalib.alphabet.Alphabet<I> alphabet, BasePTA<S,​Boolean,​Void> pta)  

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      S getInitialState()  
      net.automatalib.alphabet.Alphabet<I> getInputAlphabet()  
      Collection<S> getStates()  
      @Nullable S getTransition​(S state, I input)  
      boolean isAccepting​(S state)  

      • Methods inherited from interface net.automatalib.ts.acceptor.AcceptorTS

        getStateProperty, getSuccessor, getTransitionProperty

      • Methods inherited from interface net.automatalib.ts.acceptor.DeterministicAcceptorTS

        accepts, powersetView

      • Methods inherited from interface net.automatalib.ts.DeterministicTransitionSystem

        getSuccessor, getSuccessors, getTransitions, powersetView

      • Methods inherited from interface net.automatalib.automaton.fsa.DFA

        computeOutput, computeStateOutput, computeSuffixOutput, isAccepting

      • Methods inherited from interface net.automatalib.automaton.FiniteAlphabetAutomaton

        getTransitions, graphView, transitionGraphView

      • Methods inherited from interface net.automatalib.automaton.fsa.FiniteStateAcceptor

        transitionGraphView

      • Methods inherited from interface net.automatalib.automaton.simple.SimpleAutomaton

        createDynamicStateMapping, createStaticStateMapping, iterator, size, stateIDs

      • Methods inherited from interface net.automatalib.ts.simple.SimpleDTS

        getInitialStates, getState, getStates, getSuccessor, getSuccessors

      • Methods inherited from interface net.automatalib.ts.simple.SimpleTS

        getSuccessors

      • Methods inherited from interface net.automatalib.automaton.UniversalDeterministicAutomaton

        fullIntAbstraction, fullIntAbstraction, stateIntAbstraction

      • Methods inherited from interface net.automatalib.ts.UniversalDTS

        getTransitionProperty