UNITY Program Structure 8:Initially section, príklady

• nemozno zamenit  na ||, v takom prípade by neexistovalo usporiadanie príkazov také, ze N je iniciované pred jeho pouzitím

  • initially N = 3  ? || k: 0 ? k < N :: A[N ? k] = k ?

• prelozenie pociatocnej podmieky pre

  ?  j, k: 0 ? j ? N ? 0 ? k ? N :: U[j, k] = 0 if j ? k ~ 1 if j = k ?
  

• vyzerá nasledovne:

  ?? j, k : 0 ? j ? N ? 0 ? k ? N :: (j ? k ? U[j, k] = 0) ? (j = k ? U[j, k] = 1) ?
  

• Príklad:

• Program P3

  declare r: int
  
  initially r = 0
  assign ?  j: 0 ? j ? N :: r := j ? f(r) ?

end{P3}

Previous slide

Next slide

Back to first slide

View graphic version