Interface EditableTransition

Hierarchy

Transition
- EditableTransition

Index

Constructors

constructor

Properties

Methods

Constructors

constructor

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

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

Properties

destination

destination: State

id

id: TransitionID

origin

origin: State

Methods

export

export(): TransitionExport

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

An export object describing the transition.

getHeadAction

getHeadAction(): HeadAction

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

The head action.

getInputSymbol

getInputSymbol(): TapeSymbol

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

The input symbol.

getOutputSymbol

getOutputSymbol(): TapeSymbol

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

The output symbol.

setHeadAction

setHeadAction(action: HeadAction): void

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

setInputSymbol

setInputSymbol(symbol: TapeSymbol): void

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

setOutputSymbol

setOutputSymbol(symbol: TapeSymbol): void

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

toString

toString(useLabels?: boolean): string

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

A string representing the transition.

Static fromExport

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

Inherited from Transition.fromExport
- 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