Package de.learnlib.algorithm.ttt.dfa
Class TTTHypothesisDFA<I>
- java.lang.Object
-
- de.learnlib.algorithm.ttt.base.AbstractTTTHypothesis<TTTStateDFA<I>,I,Boolean,TTTStateDFA<I>>
-
- de.learnlib.algorithm.ttt.dfa.TTTHypothesisDFA<I>
-
- All Implemented Interfaces:
Iterable<TTTStateDFA<I>>
,SupportsGrowingAlphabet<I>
,Automaton<TTTStateDFA<I>,I,TTTStateDFA<I>>
,DetOutputAutomaton<TTTStateDFA<I>,I,TTTStateDFA<I>,Boolean>
,DetSuffixOutputAutomaton<TTTStateDFA<I>,I,TTTStateDFA<I>,Boolean>
,FiniteRepresentation
,InputAlphabetHolder<I>
,Output<I,Boolean>
,OutputAutomaton<TTTStateDFA<I>,I,TTTStateDFA<I>,Boolean>
,SuffixOutput<I,Boolean>
,DeterministicAutomaton<TTTStateDFA<I>,I,TTTStateDFA<I>>
,DeterministicAutomaton.FullIntAbstraction<TTTStateDFA<I>>
,DeterministicAutomaton.IntAbstraction<TTTStateDFA<I>>
,FiniteAlphabetAutomaton<TTTStateDFA<I>,I,TTTStateDFA<I>>
,DFA<TTTStateDFA<I>,I>
,FiniteStateAcceptor<TTTStateDFA<I>,I>
,NFA<TTTStateDFA<I>,I>
,SimpleAutomaton<TTTStateDFA<I>,I>
,SimpleDeterministicAutomaton<TTTStateDFA<I>,I>
,SimpleDeterministicAutomaton.FullIntAbstraction
,SimpleDeterministicAutomaton.IntAbstraction
,UniversalAutomaton<TTTStateDFA<I>,I,TTTStateDFA<I>,Boolean,Void>
,UniversalDeterministicAutomaton<TTTStateDFA<I>,I,TTTStateDFA<I>,Boolean,Void>
,UniversalDeterministicAutomaton.FullIntAbstraction<TTTStateDFA<I>,Boolean,Void>
,UniversalDeterministicAutomaton.IntAbstraction<TTTStateDFA<I>,Boolean,Void>
,GraphViewable
,AcceptorTS<TTTStateDFA<I>,I>
,DeterministicAcceptorTS<TTTStateDFA<I>,I>
,DeterministicTransitionSystem<TTTStateDFA<I>,I,TTTStateDFA<I>>
,SimpleDTS<TTTStateDFA<I>,I>
,SimpleTS<TTTStateDFA<I>,I>
,TransitionSystem<TTTStateDFA<I>,I,TTTStateDFA<I>>
,UniversalDTS<TTTStateDFA<I>,I,TTTStateDFA<I>,Boolean,Void>
,UniversalTransitionSystem<TTTStateDFA<I>,I,TTTStateDFA<I>,Boolean,Void>
public class TTTHypothesisDFA<I> extends AbstractTTTHypothesis<TTTStateDFA<I>,I,Boolean,TTTStateDFA<I>> implements DFA<TTTStateDFA<I>,I>, UniversalDeterministicAutomaton.FullIntAbstraction<TTTStateDFA<I>,Boolean,Void>
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from class de.learnlib.algorithm.ttt.base.AbstractTTTHypothesis
AbstractTTTHypothesis.GraphView, AbstractTTTHypothesis.TTTEdge<I,D>
-
Nested classes/interfaces inherited from interface net.automatalib.automaton.DeterministicAutomaton
DeterministicAutomaton.FullIntAbstraction<T extends Object>, DeterministicAutomaton.IntAbstraction<T extends Object>, DeterministicAutomaton.StateIntAbstraction<I extends Object,T extends Object>
-
Nested classes/interfaces inherited from interface net.automatalib.automaton.fsa.FiniteStateAcceptor
FiniteStateAcceptor.FSAGraphView<S extends Object,I extends Object,A extends FiniteStateAcceptor<S,I>>
-
Nested classes/interfaces inherited from interface net.automatalib.automaton.UniversalDeterministicAutomaton
UniversalDeterministicAutomaton.FullIntAbstraction<T extends Object,SP extends Object,TP extends Object>, UniversalDeterministicAutomaton.IntAbstraction<T extends Object,SP extends Object,TP extends Object>, UniversalDeterministicAutomaton.StateIntAbstraction<I extends Object,T extends Object,SP extends Object,TP extends Object>
-
-
Field Summary
-
Fields inherited from class de.learnlib.algorithm.ttt.base.AbstractTTTHypothesis
states
-
Fields inherited from interface net.automatalib.automaton.fsa.FiniteStateAcceptor
STATE_PROPERTIES, TRANSITION_PROPERTIES
-
Fields inherited from interface net.automatalib.automaton.simple.SimpleDeterministicAutomaton.IntAbstraction
INVALID_STATE
-
-
Constructor Summary
Constructors Constructor Description TTTHypothesisDFA(Alphabet<I> alphabet)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description UniversalDeterministicAutomaton.FullIntAbstraction<TTTStateDFA<I>,Boolean,Void>
fullIntAbstraction(Alphabet<I> alphabet)
Boolean
getStateProperty(int state)
TTTStateDFA<I>
getSuccessor(TTTStateDFA<I> transition)
Void
getTransitionProperty(TTTStateDFA<I> transition)
boolean
isAccepting(TTTStateDFA<I> state)
protected TTTStateDFA<I>
mapTransition(TTTTransition<I,Boolean> internalTransition)
protected TTTStateDFA<I>
newState(int alphabetSize, TTTTransition<I,Boolean> parent, int id)
-
Methods inherited from class de.learnlib.algorithm.ttt.base.AbstractTTTHypothesis
addAlphabetSymbol, createState, getInitialState, getInputAlphabet, getInternalTransition, getInternalTransition, getIntInitialState, getIntSuccessor, getStates, getTransition, getTransition, graphView, initialize, isInitialized, numInputs, size
-
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
-
Methods inherited from interface net.automatalib.ts.acceptor.AcceptorTS
getStateProperty
-
Methods inherited from interface net.automatalib.automaton.DeterministicAutomaton.FullIntAbstraction
getSuccessor, getTransition
-
Methods inherited from interface net.automatalib.automaton.DeterministicAutomaton.IntAbstraction
getIntSuccessor
-
Methods inherited from interface net.automatalib.ts.DeterministicTransitionSystem
getSuccessor, getSuccessors, getTransition, getTransitions
-
Methods inherited from interface net.automatalib.automaton.fsa.DFA
accepts, computeOutput, computeStateOutput, computeSuffixOutput, isAccepting
-
Methods inherited from interface net.automatalib.automaton.FiniteAlphabetAutomaton
getTransitions, transitionGraphView
-
Methods inherited from interface net.automatalib.automaton.fsa.FiniteStateAcceptor
transitionGraphView
-
Methods inherited from interface java.lang.Iterable
forEach, spliterator
-
Methods inherited from interface net.automatalib.automaton.simple.SimpleAutomaton
createDynamicStateMapping, createStaticStateMapping, getStates, iterator, size, stateIDs
-
Methods inherited from interface net.automatalib.automaton.simple.SimpleDeterministicAutomaton.FullIntAbstraction
numInputs
-
Methods inherited from interface net.automatalib.automaton.simple.SimpleDeterministicAutomaton.IntAbstraction
getIntInitialState
-
Methods inherited from interface net.automatalib.ts.simple.SimpleDTS
getInitialState, getInitialStates, getState, getStates, getSuccessor, getSuccessors, getSuccessors
-
Methods inherited from interface net.automatalib.ts.simple.SimpleTS
getSuccessors
-
Methods inherited from interface net.automatalib.ts.TransitionSystem
powersetView
-
Methods inherited from interface net.automatalib.automaton.UniversalDeterministicAutomaton
fullIntAbstraction, stateIntAbstraction
-
Methods inherited from interface net.automatalib.automaton.UniversalDeterministicAutomaton.FullIntAbstraction
getTransitionProperty
-
Methods inherited from interface net.automatalib.ts.UniversalDTS
getTransitionProperty
-
-
-
-
Method Detail
-
getSuccessor
public TTTStateDFA<I> getSuccessor(TTTStateDFA<I> transition)
- Specified by:
getSuccessor
in interfaceAcceptorTS<TTTStateDFA<I>,I>
- Specified by:
getSuccessor
in interfaceTransitionSystem<TTTStateDFA<I>,I,TTTStateDFA<I>>
-
mapTransition
protected TTTStateDFA<I> mapTransition(TTTTransition<I,Boolean> internalTransition)
- Specified by:
mapTransition
in classAbstractTTTHypothesis<TTTStateDFA<I>,I,Boolean,TTTStateDFA<I>>
-
newState
protected TTTStateDFA<I> newState(int alphabetSize, TTTTransition<I,Boolean> parent, int id)
- Specified by:
newState
in classAbstractTTTHypothesis<TTTStateDFA<I>,I,Boolean,TTTStateDFA<I>>
-
fullIntAbstraction
public UniversalDeterministicAutomaton.FullIntAbstraction<TTTStateDFA<I>,Boolean,Void> fullIntAbstraction(Alphabet<I> alphabet)
- Specified by:
fullIntAbstraction
in interfaceDeterministicAutomaton<TTTStateDFA<I>,I,TTTStateDFA<I>>
- Specified by:
fullIntAbstraction
in interfaceSimpleDeterministicAutomaton<TTTStateDFA<I>,I>
- Specified by:
fullIntAbstraction
in interfaceUniversalDeterministicAutomaton<TTTStateDFA<I>,I,TTTStateDFA<I>,Boolean,Void>
- Overrides:
fullIntAbstraction
in classAbstractTTTHypothesis<TTTStateDFA<I>,I,Boolean,TTTStateDFA<I>>
-
getStateProperty
public Boolean getStateProperty(int state)
- Specified by:
getStateProperty
in interfaceUniversalDeterministicAutomaton.IntAbstraction<TTTStateDFA<I>,Boolean,Void>
-
isAccepting
public boolean isAccepting(TTTStateDFA<I> state)
- Specified by:
isAccepting
in interfaceAcceptorTS<TTTStateDFA<I>,I>
-
getTransitionProperty
public Void getTransitionProperty(TTTStateDFA<I> transition)
- Specified by:
getTransitionProperty
in interfaceAcceptorTS<TTTStateDFA<I>,I>
- Specified by:
getTransitionProperty
in interfaceUniversalDeterministicAutomaton.IntAbstraction<TTTStateDFA<I>,Boolean,Void>
- Specified by:
getTransitionProperty
in interfaceUniversalTransitionSystem<TTTStateDFA<I>,I,TTTStateDFA<I>,Boolean,Void>
-
-