de.learnlib.algorithms.adt.automaton

Class ADTState<I,O>

java.lang.Object

net.automatalib.commons.util.nid.AbstractMutableNumericID

net.automatalib.automata.base.fast.AbstractFastState<ADTTransition<I,O>>

de.learnlib.algorithms.adt.automaton.ADTState<I,O>

Type Parameters:

I - input alphabet type

O - output alphabet type

All Implemented Interfaces:

AccessSequenceProvider<I>, Serializable, MutableNumericID, NumericID

public class ADTState<I,O>
extends AbstractFastState<ADTTransition<I,O>>
implements AccessSequenceProvider<I>

Hypothesis state model.

Author:

frohme

See Also:

Serialized Form

Field Summary

Fields inherited from class net.automatalib.commons.util.nid.AbstractMutableNumericID

id

Constructor Summary

Constructors

Constructor and Description
ADTState(int numInputs)

Method Summary

Modifier and Type	Method and Description
void	clearTransitionObject(ADTTransition<I,O> transition)
Word<I>	getAccessSequence()
Set<ADTTransition<I,O>>	getIncomingTransitions()
void	setAccessSequence(Word<I> accessSequence)

Methods inherited from class net.automatalib.automata.base.fast.AbstractFastState

clearTransitionObjects, ensureInputCapacity, getTransitionObject, setTransitionObject, toString

Methods inherited from class net.automatalib.commons.util.nid.AbstractMutableNumericID

getId, setId

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

ADTState

public ADTState(int numInputs)

Method Detail

getAccessSequence

public Word<I> getAccessSequence()

Specified by:

getAccessSequence in interface AccessSequenceProvider<I>

setAccessSequence

public void setAccessSequence(Word<I> accessSequence)

clearTransitionObject

public void clearTransitionObject(ADTTransition<I,O> transition)

Overrides:

clearTransitionObject in class AbstractFastState<ADTTransition<I,O>>

getIncomingTransitions

public Set<ADTTransition<I,O>> getIncomingTransitions()