Class ENFA.Builder

java.lang.Object
org.eu.autogex.core.AbstractAutomatonBuilder<ENFA.Builder, ENFA>
org.eu.autogex.models.ENFA.Builder
Enclosing class:
ENFA
public static class ENFA.Builder extends AbstractAutomatonBuilder<ENFA.Builder, ENFA>
Builder pattern to construct the ENFA fluently.

  • Constructor Details

    • Builder

      public Builder()
      Default constructor for ENFA Builder.

  • Method Details

    • addTransition

      public ENFA.Builder addTransition(String fromName, Character symbol, String toName)
      Adds a transition (standard or epsilon) between two states.
      Parameters:
      fromName - The name of the source state.
      symbol - The character required for the transition (null for epsilon).
      toName - The name of the destination state.
      Returns:
      The current builder instance.

    • addEpsilonTransition

      public ENFA.Builder addEpsilonTransition(String fromName, String toName)
      Utility method to make silent transitions more readable.
      Parameters:
      fromName - The name of the source state.
      toName - The name of the destination state.
      Returns:
      The current builder instance.

    • build

      public ENFA build()
      Description copied from class: AbstractAutomatonBuilder
      Builds and returns the final automaton instance.
      Specified by:
      build in class AbstractAutomatonBuilder<ENFA.Builder, ENFA>
      Returns:
      The compiled automaton.