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