Class Builder

constructor

• new Builder(factory: NodeFactory<DFA.Node>): DFA.Builder

• Parameters

  • factory: NodeFactory<DFA.Node>

  Returns DFA.Builder

Readonly factory

Readonly finals

Readonly initial

createNode

• createNode(): DFA.Node

• Creates a new state.

  Returns DFA.Node

  Throws

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

isFinal

• isFinal(state: DFA.Node): boolean

• Returns whether the given state is a final state.

  This operation is assumed to be semantically equivalent to isFinal.

  Parameters

  • state: DFA.Node

  Returns boolean

linkNodes

• linkNodes(from: DFA.Node, to: DFA.Node, transition: CharSet): void

• 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

  • from: DFA.Node

  • to: DFA.Node

  • transition: CharSet

  Returns void

makeFinal

• makeFinal(state: DFA.Node): void

• 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

  • state: DFA.Node

  Returns void