Environment:

• trackcontacts: int[]

  • 0: no signal

  • 1: forwards

  • 2: backwards

  • 3: uni

• crosscontacts: int[]

  • 0: no signal

  • 1: closing

  • 2: opening

User:

• initial: int[] 

  • index: track number

  • value: train number, negativ for backwards driving trains

• destination: int[]

  • index. train number

  • value: track number

• speeds: int[][]

  • index: train number

  • index: 0-3

  • value: 1-127

Controller:

• trackspeed: int[]
  • 0: off
  • 1 to 127: forward speed
  • -1 to -127: backward speed
• signals: int[]
  • 0: off
  • 1: red
  • 2: yellow
  • 3: green
• lamps: bool[]
  • true: on
  • false: off
• crosslight: int
  • 0: off
  • 1: red
  • 2: yellow
• bell: bool
  • true: on
  • false: off
• point: bool[]
  • true: branch
  • false: straight
• gate: bool
  • true: down
  • false: up
• reached: bool[]
  • index: train number
  • value: true: destination reached; false: destination not yet reached

Scheduler:

• schedule: int[]
  • index: train number
  • value: next save track on the way to destination