Package net.automatalib.util.automaton.builder

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

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)

Methods inherited from class java.lang.Object

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

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)