net.automatalib.util.automata.builders

Class DFABuilder<S,I,A extends MutableDFA<S,? super I>>

java.lang.Object

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

@Generated(value="com.github.misberner.duzzt.processor.Duzzt",
           comments="Generated by Duzzt -- https://github.com/misberner/duzzt",
           date="2019-02-18T11:26+0000")
public class DFABuilder<S,I,A extends MutableDFA<S,? super I>>
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class and 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 and Description
DFABuilder(A automaton)

Method Summary

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

from

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

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

public final DFABuilder.DFABuilder__0 from(Object stateId)