VII.3 Application

Letter Sorter [Slide 319]

Letter sorter: 2 sensors and 2 solenoids

Letter Sorter [Slide 320]

scan_csensor (&class_sensor); 
assertion("class", class_sensor); 
if (class_sensor < 2) 
   { SolOff(4); Delay(delay4,1); 
     SolOn(4);  Delay(delayF,4); 
     scan_lsensor (&letter_sensor); 
     assertion("lsens",letter_sensor); 
     if ( !YellowSet ) 
       { Delay(delay3A,2); SolOff(3); 
         Delay(delay3B,3); YellowSet = 1; } 
   } else { 
     SolOff(4); Delay(delay4,1); 
     SolOn(4); Delay(delayF,4); 
     scan_lsensor (&letter_sensor); 
     assertion("lsens",letter_sensor); 
     if ( YellowSet ) 
       { Delay(delay3A,2); SolOn(3); 
         Delay(delay3B,3); YellowSet = 0; }  }

Time is modelled as a variable:

!  0:: Solenoid 4 ON: Pass
! 10:: Class sensor 0: Pass
! 10:: Letter sensor 2: Pass
! 20:: Class sensor 1: Pass
! 20:: Solenoid 4 OFF: Pass
. . .

corresponds to following interval: