de.learnlib.examples.bbc

Class Example3

java.lang.Object

de.learnlib.examples.bbc.Example3

public final class Example3
extends Object

Run a black-box checking experiment with a Mealy machine and alternating edge semantics. The main difference with Example2 is how the LTL formula is written.

Author:

Jeroen Meijer

See Also:

Example2

Field Summary

Fields

Modifier and Type	Field and Description
static Function<String,Character>	EDGE_PARSER

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

Method Detail

main

public static void main(String[] args)