public class DFRecord<S,I,T,D> extends Object
Constructor and Description |
---|
DFRecord(S state,
Collection<? extends I> inputs,
D data) |
Modifier and Type | Method and Description |
---|---|
void |
advance(TransitionSystem<S,? super I,T> ts) |
void |
advanceInput(TransitionSystem<S,? super I,T> ts) |
boolean |
hasNextTransition(TransitionSystem<S,? super I,T> ts) |
I |
input() |
boolean |
start(TransitionSystem<S,? super I,T> ts) |
T |
transition() |
public final D data
public final S state
public DFRecord(S state, Collection<? extends I> inputs, D data)
public boolean start(TransitionSystem<S,? super I,T> ts)
public boolean hasNextTransition(TransitionSystem<S,? super I,T> ts)
public void advance(TransitionSystem<S,? super I,T> ts)
public void advanceInput(TransitionSystem<S,? super I,T> ts)
public I input()
public T transition()
Copyright © 2018. All rights reserved.