Class Builder

An FA builder has the responsibility of constructing a finite automaton.

The constructed FA is always owned by the builder.

Hierarchy

  • Builder

Implements

Constructors

constructor

Properties

factory final initial

Methods

createNode isFinal linkNodes makeFinal

Constructors

constructor

Properties

Readonly factory

factory: NodeFactory<ENFA.Node>

Readonly final

final: ENFA.Node

Readonly initial

initial: ENFA.Node

The initial state of the FA.

Methods

createNode

  • Creates a new state.

    Throws

    TooManyNodesError May be thrown if the number of created nodes exceeds some limit.

    Returns ENFA.Node

isFinal

  • Returns whether the given state is a final state.

    This operation is assumed to be semantically equivalent to isFinal.

    Parameters

    Returns boolean

linkNodes

  • Links to the two given states using the given transition.

    Calling this operations more than once for the given from and to states is not guaranteed to succeed.

    Parameters

    Returns void

makeFinal

  • Makes the given state behave like a final state of this FA.

    This does not necessarily mean that the given state will be a final state. I.e. calling makeFinal(s) does not necessitate that isFinal(s) is true.

    The implementation has to guarantee that calling this method for the same state more than once is allowed.

    Parameters

    Returns void

Settings

Member Visibility

Theme