Module net.automatalib.util

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 final 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 Details

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)