Package net.automatalib.util.automaton.builder

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:32+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

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)

Methods inherited from class java.lang.Object

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

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)

withInitial

public final DFABuilder.DFABuilder__1 withInitial(Object stateId)

from

@SafeVarargs
public final DFABuilder.DFABuilder__0 from(Object firstStateId,
                                           Object... otherStateIds)

from

public final DFABuilder.DFABuilder__0 from(Object stateId)