net.automatalib.examples.incremental

Class IncrementalPCDFAExample

java.lang.Object

net.automatalib.examples.incremental.IncrementalPCDFAExample

public final class IncrementalPCDFAExample
extends Object

Method Summary

Modifier and Type	Method and Description
static void	build(IncrementalDFABuilder<Character> incPcDfa)
static void	main(String[] args)

Methods inherited from class java.lang.Object

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

Method Detail

main

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

Throws:

IOException

build

public static void build(IncrementalDFABuilder<Character> incPcDfa)
                  throws IOException

Throws:

IOException