Module de.learnlib.algorithm.aaar
Package de.learnlib.algorithm.aaar

Class TranslatingDFA<S,​AI,​CI>

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

    • 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

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      @Nullable S getInitialState()  
      Collection<S> getStates()  
      @Nullable S getTransition​(S s, CI i)  
      boolean isAccepting​(S s)  

      • 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.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

    • Method Detail

      • getStates

        public Collection<S> getStates()
        Specified by:
        getStates in interface net.automatalib.automaton.simple.SimpleAutomaton<S,​AI>

      • getTransition

        public @Nullable S getTransition​(S s,
                                 CI i)
        Specified by:
        getTransition in interface net.automatalib.ts.DeterministicTransitionSystem<S,​AI,​CI>

      • isAccepting

        public boolean isAccepting​(S s)
        Specified by:
        isAccepting in interface net.automatalib.ts.acceptor.AcceptorTS<S,​AI>

      • getInitialState

        public @Nullable S getInitialState()
        Specified by:
        getInitialState in interface net.automatalib.ts.simple.SimpleDTS<S,​AI>