@ParametersAreNonnullByDefault public interface DeterministicStateOutputTS<S,I,T,O> extends DeterministicOutputTS<S,I,T,O>, StateOutput<S,O>
Modifier and Type | Method and Description |
---|---|
default boolean |
trace(S state,
Iterable<? extends I> input,
List<? super O> output) |
trace
getSuccessor, getSuccessors, getTransition, getTransitions, transToSet
getSuccessor, powersetView
getInitialState, getInitialStates, getState, getStates, getSuccessor, getSuccessors, stateToSet
createDynamicStateMapping, createStaticStateMapping, getSuccessors
getStateOutput
Copyright © 2019. All rights reserved.