Select Git revision
SimpleTrainTrack.mch
Code owners
Assign users and groups as approvers for specific file changes. Learn more.
SimpleTrainTrack.mch 525 B
MACHINE TrainTrack
// A small example to show how one can use LibrarySVG to flexibliy visualise
// train track zones,...
SETS
TTDS = {ttd1,ttd2,ttd3}
CONSTANTS
TrackElementNumber, TRACK, TTD_TrackElements
PROPERTIES
TrackElementNumber : NATURAL1
& TRACK = 1..TrackElementNumber
& TTD_TrackElements : TTDS --> FIN1(TRACK)
& TrackElementNumber = 30
& TTD_TrackElements = {ttd1 |-> 1..10 , ttd2 |-> 11..25 , ttd3 |-> 26..30}
DEFINITIONS
"LibrarySVG.def" // enable to use the external functions in the VisB json file
END