Lessons Learned
by Jake Pearson


Example 1:

(a)

if(x <> y) then
   start(1),
   suspend(2),
   a = a + 1;

(b)

if(x != y)
{
   Model.Start(1);
   Model.Suspend(2);
   a = a + 1;
}


Example 2:

if (x < y < z)
{
   a = 2;
}





1


