Class Transition

Hierarchy

Transition
- EditableTransition

Index

Constructors

constructor

Properties

Methods

Constructors

constructor

new Transition(origin: State, destination: State, inputSymbol: TapeSymbol, outputSymbol: TapeSymbol, headAction: HeadAction): Transition

- Defined in model/Transition.ts:59
Parameters
- origin: State
- destination: State
- inputSymbol: TapeSymbol
- outputSymbol: TapeSymbol
- headAction: HeadAction
Returns Transition

Properties

destination

destination: State

Private headAction

headAction: HeadAction

id

id: TransitionID

Private inputSymbol

inputSymbol: TapeSymbol

origin

origin: State

Private outputSymbol

outputSymbol: TapeSymbol

Static Private nextTransitionID

nextTransitionID: TransitionID = 1

Methods

export

export(): TransitionExport

- Defined in model/Transition.ts:196
Returns TransitionExport

An export object describing the transition.

getHeadAction

getHeadAction(): HeadAction

- Defined in model/Transition.ts:137
Returns HeadAction

The head action.

getInputSymbol

getInputSymbol(): TapeSymbol

- Defined in model/Transition.ts:91
Returns TapeSymbol

The input symbol.

getOutputSymbol

getOutputSymbol(): TapeSymbol

- Defined in model/Transition.ts:116
Returns TapeSymbol

The output symbol.

setHeadAction

setHeadAction(action: HeadAction): void

- Defined in model/Transition.ts:147
Parameters
- action: HeadAction
Returns void

setInputSymbol

setInputSymbol(symbol: TapeSymbol): void

- Defined in model/Transition.ts:101
Parameters
- symbol: TapeSymbol
Returns void

setOutputSymbol

setOutputSymbol(symbol: TapeSymbol): void

- Defined in model/Transition.ts:126
Parameters
- symbol: TapeSymbol
Returns void

toString

toString(useLabels?: boolean): string

- Defined in model/Transition.ts:159
Parameters
- Default value useLabels: boolean = true
Returns string

A string representing the transition.

Static Private ensureIDIsAbove

ensureIDIsAbove(minID: TransitionID): void

- Defined in model/Transition.ts:251
Parameters
- minID: TransitionID
Returns void

Static fromExport

fromExport(transitionExport: TransitionExport, states: Map<StateID, State>): Transition

- Defined in model/Transition.ts:219
Parameters
- transitionExport: TransitionExport
- states: Map<StateID, State>
Returns Transition

A new Transition instance based on the given import (with the given ID).

Generated using TypeDoc