Class DFABuilder.DFABuilder__2
- java.lang.Object
-
- net.automatalib.util.automaton.builder.DFABuilder.DFABuilder__2
-
- Enclosing class:
- DFABuilder<S,I,A extends MutableDFA<S,? super I>>
public final class DFABuilder.DFABuilder__2 extends Object
-
-
Constructor Summary
Constructors Constructor Description DFABuilder__2()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description DFABuilder.DFABuilder__4
loop()
DFABuilder.DFABuilder__4
to(Object stateId)
-
-
-
Method Detail
-
to
public final DFABuilder.DFABuilder__4 to(Object stateId)
-
loop
public final DFABuilder.DFABuilder__4 loop()
-
-