Package | Description |
---|---|
net.automatalib.util.automata | |
net.automatalib.util.ts |
Modifier and Type | Method and Description |
---|---|
static <S,I> TS.TransRef<S,I,?> |
Automata.findUndefinedInput(Automaton<S,I,?> automaton,
Iterable<? extends I> inputs) |
Modifier and Type | Method and 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) |
Modifier and Type | Method and 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) |
Copyright © 2015. All rights reserved.