Options
All
  • Public
  • Public/Protected
  • All
Menu

Class State

Hierarchy

Index

Constructors

constructor

  • new State(position: Position, label: string, final?: boolean): State

Properties

Private final

final: boolean

id

Private inTransitions

inTransitions: Map<TransitionID, Transition>

Private label

label: string

Private outTransitions

outTransitions: Map<TransitionID, Transition>

Private position

position: Position

Private symbolsToOutTransitions

symbolsToOutTransitions: Map<TapeSymbol, Set<Transition>>

Static Private nextStateID

nextStateID: StateID = 1

Methods

addInTransition

addOutTransition

editOutTransitionInputSymbol

export

getInTransitions

getLabel

  • getLabel(): string

getNonDeterministicOutTransitions

  • getNonDeterministicOutTransitions(): Transition[]

getOutTransitions

getOutTransitionsForSymbol

getOutTransitionsTo

getPosition

hasOutTransitionForSymbol

  • hasOutTransitionForSymbol(symbol: TapeSymbol): boolean

hasOutTransitionTo

  • hasOutTransitionTo(state: State): boolean
  • Parameters

    Returns boolean

    true if the state has such a transition, false otherwise.

isDeterministic

  • isDeterministic(): boolean
  • Returns boolean

    true if it is deterministic, false otherwise.

isFinal

  • isFinal(): boolean
  • Returns boolean

    true if the state is final, false otherwise.

outTransitionsToString

  • outTransitionsToString(useLabels?: boolean): string
  • Parameters

    • Default value useLabels: boolean = true

    Returns string

    A string representing the list of outgoing transitions of the state.

removeInTransition

  • removeInTransition(transition: Transition): void

removeOutTransition

  • removeOutTransition(transition: Transition): void

setFinal

  • setFinal(final: boolean): void

setLabel

  • setLabel(label: string): void

setPosition

toString

  • toString(useLabels?: boolean): string
  • Parameters

    • Default value useLabels: boolean = true

    Returns string

    A string representing the state.

Static Private ensureIDIsAbove

  • ensureIDIsAbove(minID: StateID): void

Static fromExport

Generated using TypeDoc