Class DFABuilder<S,I,A extends MutableDFA<S,? super I>>
- java.lang.Object
-
- net.automatalib.util.automaton.builder.DFABuilder<S,I,A>
-
@Generated(value="com.github.misberner.duzzt.processor.Duzzt", comments="Generated by Duzzt -- https://github.com/misberner/duzzt", date="2023-11-06T11:28+0000") public class DFABuilder<S,I,A extends MutableDFA<S,? super I>> extends Object
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description class
DFABuilder.DFABuilder__0
class
DFABuilder.DFABuilder__1
class
DFABuilder.DFABuilder__2
class
DFABuilder.DFABuilder__3
class
DFABuilder.DFABuilder__4
class
DFABuilder.DFABuilder__5
class
DFABuilder.DFABuilder__6
-
Constructor Summary
Constructors Constructor Description DFABuilder(A automaton)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description DFABuilder.DFABuilder__0
from(Object stateId)
DFABuilder.DFABuilder__0
from(Object firstStateId, Object... otherStateIds)
DFABuilder<S,I,A>
withAccepting(Object stateId)
DFABuilder<S,I,A>
withAccepting(Object stateId, Object... stateIds)
DFABuilder.DFABuilder__1
withInitial(Object stateId)
-
-
-
Constructor Detail
-
DFABuilder
public DFABuilder(A automaton)
-
-
Method Detail
-
withAccepting
public final DFABuilder<S,I,A> withAccepting(Object stateId)
-
withAccepting
@SafeVarargs public final DFABuilder<S,I,A> withAccepting(Object stateId, Object... stateIds)
-
from
public final DFABuilder.DFABuilder__0 from(Object stateId)
-
withInitial
public final DFABuilder.DFABuilder__1 withInitial(Object stateId)
-
from
@SafeVarargs public final DFABuilder.DFABuilder__0 from(Object firstStateId, Object... otherStateIds)
-
-