Class ADTState<I,O>
- java.lang.Object
-
- net.automatalib.common.util.nid.AbstractMutableNumericID
-
- net.automatalib.automaton.base.AbstractFastState<ADTTransition<I,O>>
-
- de.learnlib.algorithm.adt.automaton.ADTState<I,O>
-
- Type Parameters:
I
- input alphabet typeO
- output alphabet type
- All Implemented Interfaces:
AccessSequenceProvider<I>
,MutableNumericID
,NumericID
public class ADTState<I,O> extends AbstractFastState<ADTTransition<I,O>> implements AccessSequenceProvider<I>
Hypothesis state model.
-
-
Field Summary
-
Fields inherited from class net.automatalib.common.util.nid.AbstractMutableNumericID
id
-
-
Constructor Summary
Constructors Constructor Description ADTState(int numInputs)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
clearTransitionObject(ADTTransition<I,O> transition)
Word<I>
getAccessSequence()
Retrieves the access sequence of this object.Set<ADTTransition<I,O>>
getIncomingTransitions()
void
setAccessSequence(Word<I> accessSequence)
-
Methods inherited from class net.automatalib.automaton.base.AbstractFastState
clearTransitionObjects, ensureInputCapacity, getTransitionObject, setTransitionObject, toString
-
Methods inherited from class net.automatalib.common.util.nid.AbstractMutableNumericID
getId, setId
-
-
-
-
Method Detail
-
getAccessSequence
public Word<I> getAccessSequence()
Description copied from interface:AccessSequenceProvider
Retrieves the access sequence of this object.- Specified by:
getAccessSequence
in interfaceAccessSequenceProvider<I>
- Returns:
- the access sequence
-
clearTransitionObject
public void clearTransitionObject(ADTTransition<I,O> transition)
- Overrides:
clearTransitionObject
in classAbstractFastState<ADTTransition<I,O>>
-
getIncomingTransitions
public Set<ADTTransition<I,O>> getIncomingTransitions()
-
-