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) |
MealyMachine<?,String,?,String> |
runExperiment1() |
MealyMachine<?,String,?,String> |
runExperiment2() |
public MealyMachine<?,String,?,String> runExperiment1() throws Exception
Exception
public MealyMachine<?,String,?,String> runExperiment2() throws Exception
Exception
Copyright © 2015. All rights reserved.