Uses of Class
net.automatalib.util.ts.TS.TransRef
-
Packages that use TS.TransRef Package Description net.automatalib.util.automaton net.automatalib.util.ts net.automatalib.util.ts.iterator -
-
Uses of TS.TransRef in net.automatalib.util.automaton
Methods in net.automatalib.util.automaton that return types with arguments of type TS.TransRef Modifier and Type Method Description static <S,I>
Iterable<TS.TransRef<S,I,?>>Automata. allDefinedInputs(Automaton<S,I,?> automaton, Iterable<? extends I> inputs)
static <S,I>
Iterator<TS.TransRef<S,I,?>>Automata. allDefinedInputsIterator(Automaton<S,I,?> automaton, Iterable<? extends I> inputs)
static <S,I>
Iterable<TS.TransRef<S,I,?>>Automata. allUndefinedInputs(Automaton<S,I,?> automaton, Iterable<? extends I> inputs)
static <S,I>
Iterator<TS.TransRef<S,I,?>>Automata. allUndefinedInputsIterator(Automaton<S,I,?> automaton, Iterable<? extends I> inputs)
-
Uses of TS.TransRef in net.automatalib.util.ts
Methods in net.automatalib.util.ts that return types with arguments of type TS.TransRef Modifier and Type Method Description static <S,I>
Iterable<TS.TransRef<S,I,?>>TS. allDefinedInputs(TransitionSystem<S,I,?> ts, Iterable<? extends S> states, Iterable<? extends I> inputs)
static <S,I>
Iterator<TS.TransRef<S,I,?>>TS. allDefinedInputsIterator(TransitionSystem<S,I,?> ts, Iterator<? extends S> stateIt, Iterable<? extends I> inputs)
static <S,I>
Iterable<TS.TransRef<S,I,?>>TS. allUndefinedTransitions(TransitionSystem<S,I,?> ts, Iterable<? extends S> states, Iterable<? extends I> inputs)
static <S,I>
Iterator<TS.TransRef<S,I,?>>TS. allUndefinedTransitionsIterator(TransitionSystem<S,I,?> ts, Iterator<? extends S> stateIt, Iterable<? extends I> inputs)
-
Uses of TS.TransRef in net.automatalib.util.ts.iterator
Methods in net.automatalib.util.ts.iterator that return TS.TransRef Modifier and Type Method Description protected TS.TransRef<S,I,?>
AllDefinedInputsIterator. combine(S state, I input)
protected TS.TransRef<S,I,Void>
AllUndefinedInputsIterator. combine(S l1Object, I l2Object)
-