home *** CD-ROM | disk | FTP | other *** search
/ The World of Computer Software / World_Of_Computer_Software-02-385-Vol-1of3.iso / o / ops5.zip / TEST3.OPS < prev    next >
Text File  |  1992-05-31  |  4KB  |  111 lines
  1.  
  2.  
  3. (literalize component)    (literalize context)    (literalize pcon)    (literalize datum)
  4. (literalize computation)    (literalize setattr)    (literalize template)    (literalize interaction)
  5. (literalize lineitem)    (literalize local)    (literalize discrlist)    (literalize task)
  6. (literalize arg)    (literalize call)    (literalize order)    (literalize wip)
  7. (literalize location)    (literalize input)    (literalize object)    (literalize x)
  8. (literalize status)    (literalize place)    (literalize time)    (literalize port)
  9. (literalize module)    (literalize link)    (literalize lists)    (literalize outnode)
  10. (literalize operator)    (literalize current)    (literalize attval)    (literalize choice)
  11. (literalize applied)    (literalize stateop)    (literalize exit)
  12. (literalize component0)    (literalize context0)    (literalize pcon0)    (literalize datum0)
  13. (literalize computation0)    (literalize setattr0)    (literalize template0)    (literalize interaction0)
  14. (literalize lineitem0)    (literalize local0)    (literalize discrlist0)    (literalize task0)
  15. (literalize arg0)    (literalize call0)    (literalize order0)    (literalize wip0)
  16. (literalize location0)    (literalize input0)    (literalize object0)    (literalize x0)
  17. (literalize status0)    (literalize place0)    (literalize time0)    (literalize port0)
  18. (literalize module0)    (literalize link0)    (literalize lists0)    (literalize outnode0)
  19. (literalize operator0)    (literalize current0)    (literalize attval0)    (literalize choice0)
  20. (literalize applied0)    (literalize stateop0)    (literalize exit0)
  21. (literalize tank)    (literalize pipe)    (literalize measurement)    (literalize reading)
  22. (literalize goal)    (literalize material)
  23.  
  24. (literalize primer
  25.     spacer
  26.     role
  27.     cnt
  28.     null)
  29.  
  30. (literalize count
  31.     spacer
  32.     role
  33.     null
  34.     val
  35.     delta
  36.     null2)
  37.  
  38.  
  39.  
  40. (p start
  41.     (start)
  42.     -->
  43.         (remove 1)
  44.     (make primer    ^role exist    ^cnt 1)
  45.     (make primer    ^role exist    ^cnt 2)
  46.     (make primer    ^role exist    ^cnt 3)
  47.     (make primer    ^role exist    ^cnt 4)
  48.     (make primer    ^role exist    ^cnt 5)
  49.     (make primer    ^role exist    ^cnt 6)
  50.     (make primer    ^role exist    ^cnt 7)
  51.     (make primer    ^role exist    ^cnt 8)
  52.     (make primer    ^role exist    ^cnt 9)
  53.     (make primer    ^role exist    ^cnt 10)
  54.     (make primer    ^role exist    ^cnt 11)
  55.     (make primer    ^role exist    ^cnt 12)
  56.     (make primer    ^role exist    ^cnt 13)
  57.     (make primer    ^role exist    ^cnt 14)
  58.     (make primer    ^role exist    ^cnt 15)
  59.     (make primer    ^role exist    ^cnt 16)
  60.     (make primer    ^role exist    ^cnt 17)
  61.     (make primer    ^role exist    ^cnt 18)
  62.     (make primer    ^role exist    ^cnt 19)
  63.     (make primer    ^role exist    ^cnt 20)
  64.     (make primer    ^role exist    ^cnt 21)
  65.     (make primer    ^role exist    ^cnt 22)
  66.     (make primer    ^role exist    ^cnt 23)
  67.     (make primer    ^role exist    ^cnt 24)
  68.     (make primer    ^role exist    ^cnt 25)
  69.     (make primer    ^role exist    ^cnt 26)
  70.     (make primer    ^role exist    ^cnt 27)
  71.     (make primer    ^role exist    ^cnt 28)
  72.     (make primer    ^role exist    ^cnt 29)
  73.     (make primer    ^role exist    ^cnt 30)
  74.     (make count    ^role exist    ^val 1    ^delta 7)
  75.     (make count    ^role exist    ^val 2    ^delta 7)
  76.     (make count    ^role exist    ^val 3    ^delta 7)
  77.     (make count    ^role exist    ^val 4    ^delta 7)
  78.     (make count    ^role exist    ^val 5    ^delta 7)
  79.     (make count    ^role exist    ^val 6    ^delta 7)
  80.     (make count    ^role exist    ^val 7    ^delta 7)
  81.     (make primer    ^role driver    ^cnt -1))
  82.  
  83.  
  84.  
  85. (p driver
  86.     (primer    ^role driver    ^null <x>)
  87.     (count    ^null <x>    ^val <val>    ^delta <delta>)
  88.     -    (count    ^val < <val>)
  89.     -->
  90.         (modify 2 ^val  (compute <val> + <delta>)))
  91.  
  92.  
  93. (p driverCopy
  94.     (primer    ^role driver    ^null <x>)
  95.     (count    ^null <x>    ^val <val>    ^delta <delta>)
  96.     -    (count    ^val < <val>)
  97.     -->
  98.         (modify 2 ^val  (compute <val> + <delta>)))
  99.  
  100.  
  101.  
  102. (p cs
  103.     (primer    ^role exist    ^cnt <= 2)
  104.     (primer    ^role exist    ^cnt <= 2)
  105.     (primer    ^role exist    ^cnt <= 2)
  106.     (primer    ^role exist    ^cnt <= 1)
  107.     (primer    ^role exist    ^cnt <= 1)
  108.     (primer    ^role exist    ^cnt <= 1)
  109.     -->
  110.         (halt))
  111.