de.learnlib.examples

Class Example3

java.lang.Object

de.learnlib.examples.Example3

public class Example3
extends Object

This example shows how to use the reuse filter on the Example2.BoundedStringQueue of Example2.

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
Example3()

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Detail

Example3

public Example3()

Method Detail

main

public static void main(String[] args)

runExperiment1

public net.automatalib.automata.transducers.MealyMachine<?,String,?,String> runExperiment1()

runExperiment2

public net.automatalib.automata.transducers.MealyMachine<?,String,?,String> runExperiment2()