net.automatalib.util.ts

Class TS

java.lang.Object

net.automatalib.util.ts.TS

Direct Known Subclasses:

Automata

public class TS
extends Object

Nested Class Summary

Nested Classes

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

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	TS()

Method Summary

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> Iterator<S>	bfsOrderIterator(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)

Methods inherited from class java.lang.Object

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

Constructor Detail

TS

protected TS()

Method Detail

bfsOrder

public static <S,I> Iterable<S> bfsOrder(TransitionSystem<S,I,?> ts,
                                         Collection<? extends I> inputs)

bfsOrderIterator

public static <S,I> Iterator<S> bfsOrderIterator(TransitionSystem<S,I,?> ts,
                                                 Collection<? extends I> inputs)

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)