public class Example extends Object
Example.BoundedStringQueue
of Example
.
Please note that there is no equivalence oracle used in this example so the resulting mealy machines are only first "guesses".
Constructor and Description |
---|
Example() |
Modifier and Type | Method and Description |
---|---|
static void |
main(String[] args) |
net.automatalib.automata.transout.MealyMachine<?,String,?,String> |
runExperiment1() |
net.automatalib.automata.transout.MealyMachine<?,String,?,String> |
runExperiment2() |
Copyright © 2018. All rights reserved.