Module net.automatalib.util

Package net.automatalib.util.automaton.builder

Class DFABuilder.DFABuilder5

java.lang.Object

net.automatalib.util.automaton.builder.DFABuilder.DFABuilder5

Enclosing class:

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

public final class DFABuilder.DFABuilder5
extends Object

A state (-class) of the enclosing fluent interface.

Method Summary

Modifier and Type	Method	Description
DFABuilder.DFABuilder1	from(Object stateId)	Starts a definition of transition(s) from a given source state.
DFABuilder.DFABuilder1	from(Object firstStateId, Object... otherStateIds)	Starts a definition of transition(s) from multiple given source states.
DFABuilder.DFABuilder3	on(I input)	Sets the input symbol of the current transition definition(s).
DFABuilder.DFABuilder3	on(I firstInput, I... otherInputs)	Sets multiple input symbols of the current transition definition(s).
DFABuilder<S,I,A>	withAccepting(Object stateId)	Marks the given state as accepting.
DFABuilder<S,I,A>	withAccepting(Object stateId, Object... stateIds)	Marks the given states as accepting.
DFABuilder.DFABuilder0	withInitial(Object stateId)	Marks the given state as initial.

Methods inherited from class java.lang.Object

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

Method Detail

withAccepting

public DFABuilder<S,I,A> withAccepting(Object stateId)

Marks the given state as accepting.

Parameters:

stateId - the object to identify the state

Returns:

the next fluent state

withAccepting

public DFABuilder<S,I,A> withAccepting(Object stateId,
                                                   Object... stateIds)

Marks the given states as accepting.

Parameters:

stateId - the object to identify the mandatory state

stateIds - the objects to identify the additional states

Returns:

the next fluent state

withInitial

public DFABuilder.DFABuilder0 withInitial(Object stateId)

Marks the given state as initial.

Parameters:

stateId - the object to identify the state

Returns:

the next fluent state

from

public DFABuilder.DFABuilder1 from(Object stateId)

Starts a definition of transition(s) from a given source state.

Parameters:

stateId - the object to identify the state

Returns:

the next fluent state

from

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

Starts a definition of transition(s) from multiple given source states.

Parameters:

firstStateId - the mandatory object to identify the first state

otherStateIds - the optional objects to identify additional states

Returns:

the next fluent state

on

public DFABuilder.DFABuilder3 on(I input)

Sets the input symbol of the current transition definition(s).

Parameters:

input - the input symbol

Returns:

the next fluent state

on

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

Sets multiple input symbols of the current transition definition(s).

Parameters:

firstInput - the mandatory first input symbol

otherInputs - the optional additional input symbols

Returns:

the next fluent state