All Methods Static Methods Concrete Methods
Modifier and Type |
Method and Description |
static <S,I> Iterable<TS.TransRef<S,I>> |
allDefinedTransitions(DeterministicTransitionSystem<S,I,?> dts,
Iterable<? extends S> states,
Iterable<? extends I> inputs) |
static <S,I> Iterator<TS.TransRef<S,I>> |
allDefinedTransitionsIterator(DeterministicTransitionSystem<S,I,?> dts,
Iterator<? extends S> stateIt,
Iterable<? extends I> inputs) |
static <S,I,T> Iterable<T> |
allTransitions(TransitionSystem<S,I,T> ts,
S state,
Collection<I> inputs) |
static <S,I> Iterable<TS.TransRef<S,I>> |
allUndefinedTransitions(DeterministicTransitionSystem<S,I,?> dts,
Iterable<? extends S> states,
Iterable<? extends I> inputs) |
static <S,I> Iterator<TS.TransRef<S,I>> |
allUndefinedTransitionsIterator(DeterministicTransitionSystem<S,I,?> dts,
Iterator<? extends S> stateIt,
Iterable<? extends I> inputs) |
static <S,I> Iterable<S> |
bfsOrder(TransitionSystem<S,I,?> ts,
Collection<? extends I> inputs) |
static <S,I> Iterable<I> |
definedTransitions(DeterministicTransitionSystem<S,I,?> dts,
S state,
Iterable<? extends I> inputs) |
static <S,I> Iterator<I> |
definedTransitionsIterator(DeterministicTransitionSystem<S,I,?> dts,
S state,
Iterator<? extends I> inputsIt) |
static <S,SP> Mapping<S,SP> |
stateProperties(UniversalTransitionSystem<S,?,?,SP,?> uts) |
static <T,TP> Mapping<T,TP> |
transitionProperties(UniversalTransitionSystem<?,?,T,?,TP> uts) |
static <S,I> Iterable<I> |
undefinedTransitions(DeterministicTransitionSystem<S,I,?> dts,
S state,
Iterable<? extends I> inputs) |
static <S,I> Iterator<I> |
undefinedTransitionsIterator(DeterministicTransitionSystem<S,I,?> dts,
S state,
Iterator<? extends I> inputsIt) |