Please enable JavaScript.

Coggle requires JavaScript to display documents.

Refinamento de Dados - Coggle Diagram

- - - - Substituir jogador.
    - - Jogador está no campo ou fora.
    - - Invariantes devem garantir a conexão entre a máquina e o refinamento.
      - Operações devem ser executadas de forma mais concreta.
      - A saída para uma entrada deve ser uma das possíveis saídas para essa entrada na máquina abstrata.
      - Operações no refinamento obedecem as mesmas pré-condições da máquina.
  - - - Inserir nota de um dado candidato.
    - - Média das notas.
    - - Número de notas inseridas.
    - - O refinamento de uma máquina precisa manter as informações necessárias para dar as informações adequadas na saída das operações.
    - - As informações necessárias são apenas a quantidade total de notas e o somatório delas.
      - Ao invés da lista de candidatos com sua respectiva nota, refinamos para uma variável com o somatório total das notas e outra variável com a quantidade de notas inseridas.
  - - - Coloca item na pilha.
    - - Pega item da pilha.
    - - Verifica se item está na pilha.
    - - Mapeia a pilha de itens em um array e usa uma variável para registrar a quantidade de itens na pilha.
  - - - Registrar que um navio chegou e colocá-lo na fila de espera.
    - - Colocar o primeiro navio da fila em um deck.
    - - Registrar que um navio deixou seu deck.
    - - Retorna o número de navios que estão esperando.
    - - Bloco de variáveis
        
        Permite a declaração de variáveis dentro de um escopo.
        
        VAR x in S END;
      - Máquinas abstratas podem receber parâmetros.
    - - Cria uma máquina List que representa uma lista de um dado tipo.
      - Cria uma máquina Map que mapeia índices em itens de um dado tipo.
      - Utiliza List para representar a lista de barcos esperando por um deck.
      - Utiliza Map para representar a relação de que um barco está em um deck.