- - - - CENAPAD-MGCO

A seguir: Pesquisa e Inserção em Acima: Exemplos de Uso Anterior: Recursividade: Fatorial

Pesquisa e Inserção Sequencial

[
  S:: content: (0..99)integer;
      size: integer;
      size := 0;
      *[
       n: integer;
         X ? has(n) -> SEARCH;
                       X!(i < size)
       ||
         X ? insert(n) -> 
           SEARCH;
           [
             i < size             -> skip
           ||
             i = size; size < 100 ->
                       content(size) := n;
                       size := size + 1
       ]   ]
//
  X:: *[...
        S ! insert(n);
        ...
        S ! has(k); ... S ? b
       ]
]