de.learnlib.examples.bbc

Class Example2

java.lang.Object

de.learnlib.examples.bbc.Example2

public final class Example2
extends Object

Run a black-box checking experiment with Mealy machines and straightforward edge semantics. The main difference with Example3 is how the LTL formula is written.

Author:

Jeroen Meijer

See Also:

Example3

Field Summary

Fields

Modifier and Type	Field and Description
static Function<String,Character>	EDGE_PARSER A function that transforms edges in an FSM source to actual input, and output in the Mealy machine.

Method Summary

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

Field Detail

EDGE_PARSER

public static final Function<String,Character> EDGE_PARSER

A function that transforms edges in an FSM source to actual input, and output in the Mealy machine.

Method Detail

main

public static void main(String[] args)