Modifier and Type | Class and Description |
---|---|
static class |
TS.TransRef<S,I,T> |
Constructor and Description |
---|
TS() |
Modifier and Type | Method and Description |
---|---|
static <S,I> Iterable<TS.TransRef<S,I,?>> |
allDefinedInputs(TransitionSystem<S,I,?> ts,
Iterable<? extends S> states,
Iterable<? extends I> inputs) |
static <S,I> Iterator<TS.TransRef<S,I,?>> |
allDefinedInputsIterator(TransitionSystem<S,I,?> ts,
Iterator<? extends S> stateIt,
Iterable<? extends I> inputs) |
static <S,I> Iterable<TS.TransRef<S,I,?>> |
allUndefinedTransitions(TransitionSystem<S,I,?> ts,
Iterable<? extends S> states,
Iterable<? extends I> inputs) |
static <S,I> Iterator<TS.TransRef<S,I,?>> |
allUndefinedTransitionsIterator(TransitionSystem<S,I,?> ts,
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> |
definedInputs(DeterministicTransitionSystem<S,I,?> dts,
S state,
Iterable<? extends I> inputs) |
static <S,I> Iterator<I> |
definedInputsIterator(TransitionSystem<S,I,?> ts,
S state,
Iterator<? extends I> inputsIt) |
static <S,SP> Function<S,SP> |
stateProperties(UniversalTransitionSystem<S,?,?,SP,?> uts) |
static <T,TP> Function<T,TP> |
transitionProperties(UniversalTransitionSystem<?,?,T,?,TP> uts) |
static <S,I> Iterable<I> |
undefinedInputs(TransitionSystem<S,I,?> ts,
S state,
Iterable<? extends I> inputs) |
static <S,I> Iterator<I> |
undefinedInputsIterator(TransitionSystem<S,I,?> ts,
S state,
Iterator<? extends I> inputsIt) |
public static <S,I> Iterable<S> bfsOrder(TransitionSystem<S,I,?> ts, Collection<? extends I> inputs)
public static <S,SP> Function<S,SP> stateProperties(UniversalTransitionSystem<S,?,?,SP,?> uts)
public static <T,TP> Function<T,TP> transitionProperties(UniversalTransitionSystem<?,?,T,?,TP> uts)
public static <S,I> Iterator<I> definedInputsIterator(TransitionSystem<S,I,?> ts, S state, Iterator<? extends I> inputsIt)
public static <S,I> Iterable<I> definedInputs(DeterministicTransitionSystem<S,I,?> dts, S state, Iterable<? extends I> inputs)
public static <S,I> Iterator<TS.TransRef<S,I,?>> allDefinedInputsIterator(TransitionSystem<S,I,?> ts, Iterator<? extends S> stateIt, Iterable<? extends I> inputs)
public static <S,I> Iterable<TS.TransRef<S,I,?>> allDefinedInputs(TransitionSystem<S,I,?> ts, Iterable<? extends S> states, Iterable<? extends I> inputs)
public static <S,I> Iterator<I> undefinedInputsIterator(TransitionSystem<S,I,?> ts, S state, Iterator<? extends I> inputsIt)
public static <S,I> Iterable<I> undefinedInputs(TransitionSystem<S,I,?> ts, S state, Iterable<? extends I> inputs)
public static <S,I> Iterator<TS.TransRef<S,I,?>> allUndefinedTransitionsIterator(TransitionSystem<S,I,?> ts, Iterator<? extends S> stateIt, Iterable<? extends I> inputs)
public static <S,I> Iterable<TS.TransRef<S,I,?>> allUndefinedTransitions(TransitionSystem<S,I,?> ts, Iterable<? extends S> states, Iterable<? extends I> inputs)
Copyright © 2015. All rights reserved.