net.automatalib.util.automata.builders

Class DFABuilder.DFABuilder__1

java.lang.Object

net.automatalib.util.automata.builders.DFABuilder.DFABuilder__1

Enclosing class:

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

public final class DFABuilder.DFABuilder__1
extends Object

Constructor Summary

Constructors

Constructor and Description
DFABuilder__1()

Method Summary

Modifier and Type	Method and Description
A	create()
DFABuilder.DFABuilder__3	from(Object stateId)
DFABuilder.DFABuilder__3	from(Object firstStateId, Object... otherStateIds)
DFABuilder.DFABuilder__1	withAccepting(Object stateId)
DFABuilder.DFABuilder__1	withAccepting(Object stateId, Object... stateIds)

Methods inherited from class java.lang.Object

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

Constructor Detail

DFABuilder__1

public DFABuilder__1()

Method Detail

create

public A create()

from

public DFABuilder.DFABuilder__3 from(Object stateId)

from

public DFABuilder.DFABuilder__3 from(Object firstStateId,
                                     Object... otherStateIds)

withAccepting

public DFABuilder.DFABuilder__1 withAccepting(Object stateId)

withAccepting

@SafeVarargs
public final DFABuilder.DFABuilder__1 withAccepting(Object stateId,
                                                                 Object... stateIds)