Package net.automatalib.util.ts.traversal

Class DFRecord<S,I,T,D>

java.lang.Object

net.automatalib.util.ts.traversal.DFRecord<S,I,T,D>

public class DFRecord<S,I,T,D>
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	DFRecord.LastTransition<S,I,T,D>

Field Summary

Fields

Modifier and Type	Field	Description
D	data
S	state

Constructor Summary

Constructors

Constructor	Description
DFRecord(S state, Collection<? extends I> inputs, D data)

Method Summary

Modifier and Type	Method	Description
void	advance(TransitionSystem<S,? super I,T> ts)
void	advanceInput(TransitionSystem<S,? super I,T> ts)
@Nullable DFRecord.LastTransition<S,I,T,D>	getLastTransition()
boolean	hasNextTransition(TransitionSystem<S,? super I,T> ts)
I	input()
void	setLastTransition(I input, T transition, S targetState, D tgtData)
boolean	start(TransitionSystem<S,? super I,T> ts)
T	transition()
boolean	wasStarted()

Methods inherited from class java.lang.Object

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

Field Detail

data

public final D data

state

public final S state

Constructor Detail

DFRecord

public DFRecord(S state,
                Collection<? extends I> inputs,
                D data)

Method Detail

getLastTransition

public @Nullable DFRecord.LastTransition<S,I,T,D> getLastTransition()

setLastTransition

public void setLastTransition(I input,
                              T transition,
                              S targetState,
                              D tgtData)

wasStarted

public final boolean wasStarted()

start

public boolean start(TransitionSystem<S,? super I,T> ts)

hasNextTransition

@EnsuresNonNullIf(expression="transitionIterator",
                  result=true)
public boolean hasNextTransition(TransitionSystem<S,? super I,T> ts)

advance

@RequiresNonNull("transitionIterator")
public void advance(TransitionSystem<S,? super I,T> ts)

advanceInput

public void advanceInput(TransitionSystem<S,? super I,T> ts)

input

@Pure
public I input()

transition

@Pure
@RequiresNonNull("transitionIterator")
public T transition()