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)
@EnsuresNonNullIf(expression="transitionIterator", result=true) public boolean hasNextTransition(TransitionSystem<S,? super I,T> ts)
@RequiresNonNull(value="transitionIterator") public void advance(TransitionSystem<S,? super I,T> ts)
public void advanceInput(TransitionSystem<S,? super I,T> ts)
@Pure public I input()
@Pure @RequiresNonNull(value="transitionIterator") public T transition()
Copyright © 2020. All rights reserved.