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

Field Summary

Fields

Modifier and Type	Field and Description
D	data
S	state

Constructor Summary

Constructors

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

Method Summary

Methods

Modifier and Type	Method and Description
void	advance(TransitionSystem<S,I,T> ts)
void	advanceInput(TransitionSystem<S,I,T> ts)
boolean	hasNextTransition()
I	input()
boolean	start(TransitionSystem<S,I,T> ts)
T	transition()

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

start

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

hasNextTransition

public boolean hasNextTransition()

advance

public void advance(TransitionSystem<S,I,T> ts)

advanceInput

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

input

public I input()

transition

public T transition()