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