Class FSABuilder<S,I,A extends MutableFSA<S,? super I>>
- java.lang.Object
-
- net.automatalib.util.automaton.builder.FSABuilder<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 FSABuilder<S,I,A extends MutableFSA<S,? super I>> extends Object
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description class
FSABuilder.FSABuilder__0
class
FSABuilder.FSABuilder__1
class
FSABuilder.FSABuilder__2
class
FSABuilder.FSABuilder__3
-
Constructor Summary
Constructors Constructor Description FSABuilder(A automaton)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description A
create()
FSABuilder.FSABuilder__0
from(Object stateId)
FSABuilder.FSABuilder__0
from(Object firstStateId, Object... otherStateIds)
FSABuilder<S,I,A>
withAccepting(Object stateId)
FSABuilder<S,I,A>
withAccepting(Object stateId, Object... stateIds)
FSABuilder<S,I,A>
withInitial(Object stateId)
FSABuilder<S,I,A>
withInitial(Object stateId, Object... stateIds)
-
-
-
Constructor Detail
-
FSABuilder
public FSABuilder(A automaton)
-
-
Method Detail
-
withInitial
public final FSABuilder<S,I,A> withInitial(Object stateId)
-
withInitial
@SafeVarargs public final FSABuilder<S,I,A> withInitial(Object stateId, Object... stateIds)
-
from
@SafeVarargs public final FSABuilder.FSABuilder__0 from(Object firstStateId, Object... otherStateIds)
-
create
public A create()
-
withAccepting
public final FSABuilder<S,I,A> withAccepting(Object stateId)
-
withAccepting
@SafeVarargs public final FSABuilder<S,I,A> withAccepting(Object stateId, Object... stateIds)
-
from
public final FSABuilder.FSABuilder__0 from(Object stateId)
-
-