Package net.automatalib.util.ts

Class TS

java.lang.Object

net.automatalib.util.ts.TS

public final class TS
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	TS.TransRef<S,I,T>

Method Summary

Modifier and Type	Method	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<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)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

stateProperties

public static <S,SP> Function<S,SP> stateProperties(UniversalTransitionSystem<S,?,?,SP,?> uts)

transitionProperties

public static <T,TP> Function<T,TP> transitionProperties(UniversalTransitionSystem<?,?,T,?,TP> uts)

definedInputs

public static <S,I> Iterable<I> definedInputs(DeterministicTransitionSystem<S,I,?> dts,
                                                    S state,
                                                    Iterable<? extends I> inputs)

definedInputsIterator

public static <S,I> Iterator<I> definedInputsIterator(TransitionSystem<S,I,?> ts,
                                                            S state,
                                                            Iterator<? extends I> inputsIt)

allDefinedInputs

public static <S,I> Iterable<TS.TransRef<S,I,?>> allDefinedInputs(TransitionSystem<S,I,?> ts,
                                                                                    Iterable<? extends S> states,
                                                                                    Iterable<? extends I> inputs)

allDefinedInputsIterator

public static <S,I> Iterator<TS.TransRef<S,I,?>> allDefinedInputsIterator(TransitionSystem<S,I,?> ts,
                                                                                            Iterator<? extends S> stateIt,
                                                                                            Iterable<? extends I> inputs)

undefinedInputs

public static <S,I> Iterable<I> undefinedInputs(TransitionSystem<S,I,?> ts,
                                                      S state,
                                                      Iterable<? extends I> inputs)

undefinedInputsIterator

public static <S,I> Iterator<I> undefinedInputsIterator(TransitionSystem<S,I,?> ts,
                                                              S state,
                                                              Iterator<? extends I> inputsIt)

allUndefinedTransitions

public static <S,I> Iterable<TS.TransRef<S,I,?>> allUndefinedTransitions(TransitionSystem<S,I,?> ts,
                                                                                           Iterable<? extends S> states,
                                                                                           Iterable<? extends I> inputs)

allUndefinedTransitionsIterator

public static <S,I> Iterator<TS.TransRef<S,I,?>> allUndefinedTransitionsIterator(TransitionSystem<S,I,?> ts,
                                                                                                   Iterator<? extends S> stateIt,
                                                                                                   Iterable<? extends I> inputs)