net.automatalib.util.automata.builders

Class FSABuilder<S,I,A extends MutableFSA<S,? super I>>

java.lang.Object

net.automatalib.util.automata.builders.FSABuilder<S,I,A>

@Generated(value="com.github.misberner.duzzt.processor.Duzzt",
           comments="Generated by Duzzt -- https://github.com/misberner/duzzt",
           date="2020-10-11T15:52+0000")
public class FSABuilder<S,I,A extends MutableFSA<S,? super I>>
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
class	FSABuilder.FSABuilder__0
class	FSABuilder.FSABuilder__1
class	FSABuilder.FSABuilder__2
class	FSABuilder.FSABuilder__3

Constructor Summary

Constructors

Constructor and Description
FSABuilder(A automaton)

Method Summary

Modifier and Type	Method and 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

from

public final FSABuilder.FSABuilder__0 from(Object stateId)

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)

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)