I
- input alphabet typeO
- output alphabet typepublic class ADTState<I,O> extends net.automatalib.automata.base.fast.AbstractFastDetState<ADTState<I,O>,ADTTransition<I,O>> implements AccessSequenceProvider<I>
Constructor and Description |
---|
ADTState(int numInputs) |
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) |
public net.automatalib.words.Word<I> getAccessSequence()
AccessSequenceProvider
getAccessSequence
in interface AccessSequenceProvider<I>
public void setAccessSequence(net.automatalib.words.Word<I> accessSequence)
public void clearTransition(ADTTransition<I,O> transition)
public Set<ADTTransition<I,O>> getIncomingTransitions()
Copyright © 2018. All rights reserved.