de.learnlib.examples.example3

Class Example

java.lang.Object

de.learnlib.examples.example3.Example

public class Example
extends Object

This example shows how to use the reuse filter on the 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".

Author:

Oliver Bauer

Constructor Summary

Constructors

Constructor and Description
Example()

Method Summary

Modifier and Type	Method and Description
static void	main(String[] args)
MealyMachine<?,String,?,String>	runExperiment1()
MealyMachine<?,String,?,String>	runExperiment2()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Example

public Example()

Method Detail

main

public static void main(String[] args)
                 throws Exception

Throws:

Exception

runExperiment1

public MealyMachine<?,String,?,String> runExperiment1()
                                               throws Exception

Throws:

Exception

runExperiment2

public MealyMachine<?,String,?,String> runExperiment2()
                                               throws Exception

Throws:

Exception