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 © 2015. All Rights Reserved.