net.automatalib.util.automata.builders

Class DFABuilder.DFABuilder__5

java.lang.Object

net.automatalib.util.automata.builders.DFABuilder.DFABuilder__5

Enclosing class:

DFABuilder<S,I,A extends MutableDFA<S,? super I>>

public final class DFABuilder.DFABuilder__5
extends Object

Constructor Summary

Constructors

Constructor and Description
DFABuilder__5()

Method Summary

Modifier and Type	Method and Description
DFABuilder.DFABuilder__6	loop()
DFABuilder.DFABuilder__6	to(Object stateId)

Methods inherited from class java.lang.Object

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

Constructor Detail

DFABuilder__5

public DFABuilder__5()

Method Detail

to

public final DFABuilder.DFABuilder__6 to(Object stateId)

loop

public final DFABuilder.DFABuilder__6 loop()