Options
All
  • Public
  • Public/Protected
  • All
Menu

Interface TransitionExport

Hierarchy

  • TransitionExport

Index

Properties

destinationID

destinationID: StateID

headAction

headAction: HeadAction

id

inputSymbol

inputSymbol: TapeSymbol

originID

originID: StateID

outputSymbol

outputSymbol: TapeSymbol

Generated using TypeDoc