Class DFABuilder.DFABuilder__1
- java.lang.Object
-
- net.automatalib.util.automaton.builder.DFABuilder.DFABuilder__1
-
- Enclosing class:
- DFABuilder<S,I,A extends MutableDFA<S,? super I>>
public final class DFABuilder.DFABuilder__1 extends Object
-
-
Constructor Summary
Constructors Constructor Description DFABuilder__1()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description A
create()
DFABuilder.DFABuilder__3
from(Object stateId)
DFABuilder.DFABuilder__3
from(Object firstStateId, Object... otherStateIds)
DFABuilder.DFABuilder__1
withAccepting(Object stateId)
DFABuilder.DFABuilder__1
withAccepting(Object stateId, Object... stateIds)
-
-
-
Method Detail
-
create
public A create()
-
withAccepting
public final DFABuilder.DFABuilder__1 withAccepting(Object stateId)
-
withAccepting
@SafeVarargs public final DFABuilder.DFABuilder__1 withAccepting(Object stateId, Object... stateIds)
-
from
public final DFABuilder.DFABuilder__3 from(Object stateId)
-
from
@SafeVarargs public final DFABuilder.DFABuilder__3 from(Object firstStateId, Object... otherStateIds)
-
-