de.learnlib.algorithms.adt.automaton

Class ADTState<I,O>

java.lang.Object

net.automatalib.commons.util.nid.AbstractMutableNumericID

net.automatalib.automata.base.fast.AbstractFastDetState<ADTState<I,O>,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, net.automatalib.commons.util.nid.MutableNumericID, net.automatalib.commons.util.nid.NumericID

public class ADTState<I,O>
extends net.automatalib.automata.base.fast.AbstractFastDetState<ADTState<I,O>,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	clearTransition(ADTTransition<I,O> transition)
net.automatalib.words.Word<I>	getAccessSequence() Retrieves the access sequence of this object.
Set<ADTTransition<I,O>>	getIncomingTransitions()
void	setAccessSequence(net.automatalib.words.Word<I> accessSequence)

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

clearTransitions, ensureInputCapacity, getTransition, setTransition, 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 net.automatalib.words.Word<I> getAccessSequence()

Description copied from interface: AccessSequenceProvider

Retrieves the access sequence of this object.

Specified by:

getAccessSequence in interface AccessSequenceProvider<I>

Returns:

the access sequence

setAccessSequence

public void setAccessSequence(net.automatalib.words.Word<I> accessSequence)

clearTransition

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

Overrides:

clearTransition in class net.automatalib.automata.base.fast.AbstractFastDetState<ADTState<I,O>,ADTTransition<I,O>>

getIncomingTransitions

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