Module net.automatalib.util
Package net.automatalib.util.automaton.builder

Class FSABuilder.FSABuilder1

java.lang.Object
net.automatalib.util.automaton.builder.FSABuilder.FSABuilder1
Enclosing class:
FSABuilder<S,I,A extends MutableFSA<S,? super I>>
public final class FSABuilder.FSABuilder1 extends Object
A state (-class) of the enclosing fluent interface.

  • Method Details

    • loop

      public FSABuilder<S,I,A>.FSABuilder2 loop()
      Sets the target state(s) of the current transition definition(s) by looping back to the respective source state(s).
      Returns:
      the next fluent state

    • to

      public FSABuilder<S,I,A>.FSABuilder2 to(Object stateId)
      Sets the target state of the current transition definition(s).
      Parameters:
      stateId - the object to identify the state
      Returns:
      the next fluent state

    • to

      public FSABuilder<S,I,A>.FSABuilder2 to(Object firstStateId, Object... otherStateIds)
      Sets the target states of the current transition definition(s).
      Parameters:
      firstStateId - the mandatory object to identify the first state
      otherStateIds - the optional objects to identify additional states
      Returns:
      the next fluent state