Package | Description |
---|---|
net.automatalib.util.automata.ads |
Modifier and Type | Method and Description |
---|---|
static <S,I,O> LYResult<S,I,O> |
LeeYannakakis.compute(MealyMachine<S,I,?,O> automaton,
Alphabet<I> input)
Computes an ADS using the algorithm of Lee and Yannakakis.
|
Copyright © 2020. All rights reserved.