Constructor and Description |
---|
TS() |
Modifier and Type | Method and Description |
---|---|
static <S,I,T> Iterable<T> |
allTransitions(TransitionSystem<S,I,T> ts,
S state,
Collection<I> inputs) |
static <S,I> Iterable<S> |
bfsOrder(TransitionSystem<S,I,?> ts,
Collection<? extends I> inputs) |
static <S,SP> Mapping<S,SP> |
stateProperties(UniversalTransitionSystem<S,?,?,SP,?> uts) |
static <T,TP> Mapping<T,TP> |
transitionProperties(UniversalTransitionSystem<?,?,T,?,TP> uts) |
public TS()
public static <S,I,T> Iterable<T> allTransitions(TransitionSystem<S,I,T> ts, S state, Collection<I> inputs)
public static <S,I> Iterable<S> bfsOrder(TransitionSystem<S,I,?> ts, Collection<? extends I> inputs)
public static <S,SP> Mapping<S,SP> stateProperties(UniversalTransitionSystem<S,?,?,SP,?> uts)
public static <T,TP> Mapping<T,TP> transitionProperties(UniversalTransitionSystem<?,?,T,?,TP> uts)
Copyright © 2015. All Rights Reserved.