Package net.automatalib.util.automaton.builder

Class DFABuilder.DFABuilder__4

java.lang.Object

net.automatalib.util.automaton.builder.DFABuilder.DFABuilder__4

Enclosing class:

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

public final class DFABuilder.DFABuilder__4
extends Object

Constructor Summary

Constructors

Constructor	Description
DFABuilder__4()

Method Summary

Modifier and Type	Method	Description
DFABuilder.DFABuilder__0	from(Object stateId)
DFABuilder.DFABuilder__0	from(Object firstStateId, Object... otherStateIds)
DFABuilder.DFABuilder__2	on(I input)
DFABuilder.DFABuilder__2	on(I firstInput, I... otherInputs)
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__4

public DFABuilder__4()

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)

from

public final DFABuilder.DFABuilder__0 from(Object stateId)

on

@SafeVarargs
public final DFABuilder.DFABuilder__2 on(I firstInput,
                                         I... otherInputs)

withInitial

public final DFABuilder.DFABuilder__1 withInitial(Object stateId)

from

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

on

public final DFABuilder.DFABuilder__2 on(I input)