de.learnlib.examples.example2

Class Example

java.lang.Object

de.learnlib.examples.example2.Example

public class Example
extends Object

This example shows how a model of a Java class can be learned using the SUL (system under learning) interfaces and the random walks equivalence test.

Author:

falkhowar

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	Example.BoundedStringQueue

Constructor Summary

Constructors

Constructor and Description
Example()

Method Summary

Methods

Modifier and Type	Method and Description
static void	main(String[] args)

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 NoSuchMethodException,
                        IOException

Throws:

NoSuchMethodException

IOException