Class ADTHypothesis<I,O>
- java.lang.Object
-
- net.automatalib.automaton.base.AbstractFastMutable<S,I,T,SP,TP>
-
- net.automatalib.automaton.base.AbstractFastMutableDet<ADTState<I,O>,I,ADTTransition<I,O>,Void,O>
-
- de.learnlib.algorithm.adt.automaton.ADTHypothesis<I,O>
-
- Type Parameters:
I
- input alphabet typeO
- output alphabet type
- All Implemented Interfaces:
AccessSequenceTransformer<I>
,Iterable<ADTState<I,O>>
,SupportsGrowingAlphabet<I>
,Automaton<ADTState<I,O>,I,ADTTransition<I,O>>
,DetOutputAutomaton<ADTState<I,O>,I,ADTTransition<I,O>,Word<O>>
,DetSuffixOutputAutomaton<ADTState<I,O>,I,ADTTransition<I,O>,Word<O>>
,FiniteRepresentation
,InputAlphabetHolder<I>
,MutableTransitionOutput<ADTTransition<I,O>,O>
,Output<I,Word<O>>
,OutputAutomaton<ADTState<I,O>,I,ADTTransition<I,O>,Word<O>>
,StateIDs<ADTState<I,O>>
,StateLocalInput<ADTState<I,O>,I>
,SuffixOutput<I,Word<O>>
,TransitionOutput<ADTTransition<I,O>,O>
,DeterministicAutomaton<ADTState<I,O>,I,ADTTransition<I,O>>
,FiniteAlphabetAutomaton<ADTState<I,O>,I,ADTTransition<I,O>>
,MutableAutomaton<ADTState<I,O>,I,ADTTransition<I,O>,Void,O>
,MutableDeterministic<ADTState<I,O>,I,ADTTransition<I,O>,Void,O>
,ShrinkableAutomaton<ADTState<I,O>,I,ADTTransition<I,O>,Void,O>
,ShrinkableDeterministic<ADTState<I,O>,I,ADTTransition<I,O>,Void,O>
,SimpleAutomaton<ADTState<I,O>,I>
,SimpleDeterministicAutomaton<ADTState<I,O>,I>
,MealyMachine<ADTState<I,O>,I,ADTTransition<I,O>,O>
,MutableMealyMachine<ADTState<I,O>,I,ADTTransition<I,O>,O>
,TransitionOutputAutomaton<ADTState<I,O>,I,ADTTransition<I,O>,O>
,UniversalAutomaton<ADTState<I,O>,I,ADTTransition<I,O>,Void,O>
,UniversalDeterministicAutomaton<ADTState<I,O>,I,ADTTransition<I,O>,Void,O>
,UniversalFiniteAlphabetAutomaton<ADTState<I,O>,I,ADTTransition<I,O>,Void,O>
,GraphViewable
,DeterministicTransitionSystem<ADTState<I,O>,I,ADTTransition<I,O>>
,DeterministicOutputTS<ADTState<I,O>,I,ADTTransition<I,O>,O>
,DeterministicTransitionOutputTS<ADTState<I,O>,I,ADTTransition<I,O>,O>
,MealyTransitionSystem<ADTState<I,O>,I,ADTTransition<I,O>,O>
,SimpleDTS<ADTState<I,O>,I>
,SimpleTS<ADTState<I,O>,I>
,TransitionSystem<ADTState<I,O>,I,ADTTransition<I,O>>
,UniversalDTS<ADTState<I,O>,I,ADTTransition<I,O>,Void,O>
,UniversalTransitionSystem<ADTState<I,O>,I,ADTTransition<I,O>,Void,O>
public class ADTHypothesis<I,O> extends AbstractFastMutableDet<ADTState<I,O>,I,ADTTransition<I,O>,Void,O> implements MutableMealyMachine<ADTState<I,O>,I,ADTTransition<I,O>,O>, AccessSequenceTransformer<I>
Hypothesis model.
-
-
Nested Class Summary
-
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.transducer.MealyMachine
MealyMachine.MealyGraphView<S extends Object,I extends Object,T extends Object,O extends Object,A extends MealyMachine<S,I,T,O>>
-
Nested classes/interfaces inherited from interface net.automatalib.automaton.MutableDeterministic
MutableDeterministic.FullIntAbstraction<T extends Object,SP extends Object,TP extends Object>, MutableDeterministic.IntAbstraction<T extends Object,SP extends Object,TP extends Object>, MutableDeterministic.StateIntAbstraction<I extends Object,T extends Object,SP extends Object,TP extends Object>
-
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 net.automatalib.automaton.base.AbstractFastMutable
inputAlphabet
-
-
Constructor Summary
Constructors Constructor Description ADTHypothesis(Alphabet<I> alphabet)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description ADTTransition<I,O>
createOpenTransition(ADTState<I,O> source, I input, ADTNode<ADTState<I,O>,I,O> siftTarget)
protected ADTState<I,O>
createState(Void property)
ADTTransition<I,O>
createTransition(ADTState<I,O> successor, O properties)
ADTState<I,O>
getSuccessor(ADTTransition<I,O> transition)
O
getTransitionOutput(ADTTransition<I,O> transition)
void
setTransition(ADTState<I,O> state, I input, ADTTransition<I,O> transition)
void
setTransitionOutput(ADTTransition<I,O> transition, O output)
Word<I>
transformAccessSequence(Word<I> word)
-
Methods inherited from class net.automatalib.automaton.base.AbstractFastMutableDet
clear, getInitialState, getLocalInputs, getTransition, powersetView, removeState, setInitialState
-
Methods inherited from class net.automatalib.automaton.base.AbstractFastMutable
addAlphabetSymbol, addState, createDynamicStateMapping, getInputAlphabet, getState, getStateId, getStates, removeAllTransitions, stateIDs
-
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
-
Methods inherited from interface de.learnlib.AccessSequenceTransformer
isAccessSequence, longestASPrefix
-
Methods inherited from interface net.automatalib.ts.output.DeterministicOutputTS
trace
-
Methods inherited from interface net.automatalib.ts.output.DeterministicTransitionOutputTS
getOutput, trace
-
Methods inherited from interface net.automatalib.ts.DeterministicTransitionSystem
getSuccessor, getSuccessors, getTransition, getTransitions
-
Methods inherited from interface net.automatalib.automaton.concept.DetSuffixOutputAutomaton
computeOutput, computeSuffixOutput
-
Methods inherited from interface net.automatalib.automaton.FiniteAlphabetAutomaton
getTransitions, graphView
-
Methods inherited from interface java.lang.Iterable
forEach, spliterator
-
Methods inherited from interface net.automatalib.automaton.transducer.MealyMachine
transitionGraphView
-
Methods inherited from interface net.automatalib.ts.output.MealyTransitionSystem
getStateProperty, getTransitionProperty
-
Methods inherited from interface net.automatalib.automaton.MutableAutomaton
addInitialState, addInitialState, addState, addState, addTransition, addTransitions, clear, copyTransition, removeAllTransitions
-
Methods inherited from interface net.automatalib.automaton.MutableDeterministic
addTransition, fullIntAbstraction, fullIntAbstraction, removeAllTransitions, removeTransition, setInitial, setInitialState, setTransition, setTransitions, stateIntAbstraction
-
Methods inherited from interface net.automatalib.automaton.transducer.MutableMealyMachine
setStateProperty, setTransitionProperty
-
Methods inherited from interface net.automatalib.automaton.ShrinkableAutomaton
removeState
-
Methods inherited from interface net.automatalib.automaton.simple.SimpleAutomaton
createDynamicStateMapping, createStaticStateMapping, getStates, iterator, size, stateIDs
-
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.automaton.transducer.TransitionOutputAutomaton
computeStateOutput
-
Methods inherited from interface net.automatalib.ts.TransitionSystem
powersetView
-
Methods inherited from interface net.automatalib.ts.UniversalDTS
getTransitionProperty
-
Methods inherited from interface net.automatalib.automaton.UniversalFiniteAlphabetAutomaton
transitionGraphView
-
-
-
-
Method Detail
-
getSuccessor
public ADTState<I,O> getSuccessor(ADTTransition<I,O> transition)
- Specified by:
getSuccessor
in interfaceTransitionSystem<ADTState<I,O>,I,ADTTransition<I,O>>
-
createOpenTransition
public ADTTransition<I,O> createOpenTransition(ADTState<I,O> source, I input, ADTNode<ADTState<I,O>,I,O> siftTarget)
-
setTransition
public void setTransition(ADTState<I,O> state, I input, ADTTransition<I,O> transition)
- Specified by:
setTransition
in interfaceMutableDeterministic<ADTState<I,O>,I,ADTTransition<I,O>,Void,O>
- Overrides:
setTransition
in classAbstractFastMutableDet<ADTState<I,O>,I,ADTTransition<I,O>,Void,O>
-
createState
protected ADTState<I,O> createState(Void property)
- Specified by:
createState
in classAbstractFastMutable<ADTState<I,O>,I,ADTTransition<I,O>,Void,O>
-
createTransition
public ADTTransition<I,O> createTransition(ADTState<I,O> successor, O properties)
- Specified by:
createTransition
in interfaceMutableAutomaton<ADTState<I,O>,I,ADTTransition<I,O>,Void,O>
-
setTransitionOutput
public void setTransitionOutput(ADTTransition<I,O> transition, O output)
- Specified by:
setTransitionOutput
in interfaceMutableTransitionOutput<I,O>
-
getTransitionOutput
public O getTransitionOutput(ADTTransition<I,O> transition)
- Specified by:
getTransitionOutput
in interfaceTransitionOutput<I,O>
-
transformAccessSequence
public Word<I> transformAccessSequence(Word<I> word)
- Specified by:
transformAccessSequence
in interfaceAccessSequenceTransformer<I>
-
-