Skip to content
Snippets Groups Projects
Select Git revision
  • a7b4f0592717d50941513cb19d958881768a3ce9
  • master default protected
2 results

SimpleTrainTrack.mch

Blame
  • 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