net.automatalib.util.ts

Class TS

java.lang.Object

net.automatalib.util.ts.TS

Direct Known Subclasses:

Automata

public abstract class TS
extends Object

Nested Class Summary

Nested Classes

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

Constructor Summary

Constructors

Constructor and Description
TS()

Method Summary

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)

Methods inherited from class java.lang.Object

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

Constructor Detail

TS

public TS()

Method Detail

allTransitions

public static <S,I,T> Iterable<T> allTransitions(TransitionSystem<S,I,T> ts,
                                 S state,
                                 Collection<I> inputs)

bfsOrder

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

stateProperties

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

transitionProperties

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

definedTransitionsIterator

public static <S,I> Iterator<I> definedTransitionsIterator(DeterministicTransitionSystem<S,I,?> dts,
                                           S state,
                                           Iterator<? extends I> inputsIt)

definedTransitions

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

allDefinedTransitionsIterator

public static <S,I> Iterator<TS.TransRef<S,I>> allDefinedTransitionsIterator(DeterministicTransitionSystem<S,I,?> dts,
                                                             Iterator<? extends S> stateIt,
                                                             Iterable<? extends I> inputs)

allDefinedTransitions

public static <S,I> Iterable<TS.TransRef<S,I>> allDefinedTransitions(DeterministicTransitionSystem<S,I,?> dts,
                                                     Iterable<? extends S> states,
                                                     Iterable<? extends I> inputs)

undefinedTransitionsIterator

public static <S,I> Iterator<I> undefinedTransitionsIterator(DeterministicTransitionSystem<S,I,?> dts,
                                             S state,
                                             Iterator<? extends I> inputsIt)

undefinedTransitions

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

allUndefinedTransitionsIterator

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

allUndefinedTransitions

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