| Package | Description |
|---|---|
| net.automatalib.util.automata | |
| net.automatalib.util.ts |
| Modifier and Type | Method and Description |
|---|---|
static <S,I> Iterable<TS.TransRef<S,I>> |
Automata.allDefinedTransitions(DeterministicAutomaton<S,I,?> automaton,
Iterable<? extends I> inputs) |
static <S,I> Iterator<TS.TransRef<S,I>> |
Automata.allDefinedTransitionsIterator(DeterministicAutomaton<S,I,?> automaton,
Iterable<? extends I> inputs) |
static <S,I> Iterable<TS.TransRef<S,I>> |
Automata.allUndefinedTransitions(DeterministicAutomaton<S,I,?> automaton,
Iterable<? extends I> inputs) |
static <S,I> Iterator<TS.TransRef<S,I>> |
Automata.allUndefinedTransitionsIterator(DeterministicAutomaton<S,I,?> automaton,
Iterable<? extends I> inputs) |
| Modifier and Type | Method and Description |
|---|---|
static <S,I> Iterable<TS.TransRef<S,I>> |
TS.allDefinedTransitions(DeterministicTransitionSystem<S,I,?> dts,
Iterable<? extends S> states,
Iterable<? extends I> inputs) |
static <S,I> Iterator<TS.TransRef<S,I>> |
TS.allDefinedTransitionsIterator(DeterministicTransitionSystem<S,I,?> dts,
Iterator<? extends S> stateIt,
Iterable<? extends I> inputs) |
static <S,I> Iterable<TS.TransRef<S,I>> |
TS.allUndefinedTransitions(DeterministicTransitionSystem<S,I,?> dts,
Iterable<? extends S> states,
Iterable<? extends I> inputs) |
static <S,I> Iterator<TS.TransRef<S,I>> |
TS.allUndefinedTransitionsIterator(DeterministicTransitionSystem<S,I,?> dts,
Iterator<? extends S> stateIt,
Iterable<? extends I> inputs) |
Copyright © 2013. All Rights Reserved.