O que a verificação pré-voo faz
Uma verificação que lê suas regras e prova se uma Grade pode ser construída, antes que você perca tempo tentando.
O FET pode passar muito tempo falhando. Uma única regra que torna uma aula impossível de alocar não se anuncia — o resolvedor simplesmente busca, busca e, eventualmente, desiste ou não produz nada.
A verificação pré-voo lê suas regras e faz os cálculos primeiro. Onde pode provar que um Grade é impossível, ele o diz em segundos e nomeia as regras responsáveis.
Onde está
O Pré-voo fica com as restrições na tela de dados do Grade. Está disponível para pessoas que podem editar o Grade — é uma ferramenta para a pessoa que constrói as regras.
Cada seção de restrições também apresenta um resumo de uma linha no topo, para que você veja o estado das coisas enquanto trabalha, em vez de apenas quando for procurar.
O relatório: um veredito, e depois cada descoberta com as regras por trás dela.
Onde os cálculos são executados
A verificação não é executada no seu navegador. Seu navegador lê suas regras e envia um resumo para o nosso servidor. Nosso servidor faz os cálculos e envia as descobertas de volta.
O resumo não contém nomes. Docentes, salas, disciplinas e grupos de alunos viajam como números, e seu navegador recoloca os nomes antes de exibir o relatório.
Não armazenamos nada da verificação. A verificação constrói o relatório novamente a partir de suas regras atuais cada vez que você o abre.
Isso tem uma consequência prática que vale a pena saber: é rápido o suficiente para ser usado como uma ferramenta de trabalho. Mude uma regra, volte, olhe novamente.
O que ele realmente está lendo
Suas restrições, como estão — não um Grade resolvido. Ele nunca aloca uma aula e nunca modifica nada.
O que ele faz é aritmética sobre o espaço que você deixou:
- Quantas Horas um Docente está comprometido, versus quantos Horários permanecem disponíveis para ele.
- Quais Horários de início uma aula poderia legalmente ter, uma vez que cada regra que a afeta foi aplicada.
- Se duas aulas que devem acontecer são forçadas ao mesmo Horário enquanto compartilham um Docente, uma Sala ou uma turma.
- Se um grupo de aulas exige mais Dias distintos do que a semana contém.
Quando a aritmética não deixa espaço, isso não é uma opinião sobre dificuldade. É uma prova, e a verificação o afirma.
O que fazer com ele
Execute-o antes de enviar um projeto ao FET, e novamente após uma grande alteração. Um relatório limpo não é uma promessa de que o FET resolverá rapidamente — veja O que ele não pode te dizer — mas um relatório com uma descoberta comprovadamente impossível nele informa que a resolução não pode ser bem-sucedida, o que vale a pena saber antes, e não depois.
O relatório está em quatro partes
O relatório não classifica as descobertas pela gravidade que parecem ter. Ele as classifica pelo que pode provar, em quatro tipos: Comprovadamente impossível, Erros, O que torna este arquivo difícil e O que foi executado neste arquivo.
Cada tipo é uma aba, e cada aba tem sua própria contagem. Um tipo sem nada não tem aba alguma, então um arquivo 'silencioso' mostra menos abas do que um 'ocupado'. A primeira aba com algo nela se abre sozinha.
Um grupo com muitas descobertas as mostra como uma lista, em vez de como cartões. Selecione uma linha para ver a aritmética por trás dela ao lado da lista.
Apenas o primeiro tipo prova que o FET não pode construir o Grade. Veja Os quatro tipos de descoberta.
Conexões
Conexões responde a uma pergunta diferente: não o que está errado, mas o que está anexado a este Docente.
Escolha um Docente, um grupo de alunos ou uma Sala. Você obtém suas Atividades, as regras que os nomeiam, os recursos com os quais eles compartilham uma Sala ou um Horário, e uma imagem desses links. Selecione qualquer nó na imagem para mover a visualização para ele.
A cor de um nó indica o que ele é — um Docente, um grupo de alunos, uma Sala ou uma regra. Um anel ao redor de um nó indica que a verificação encontrou algo sobre ele. Um anel vermelho sólido marca um erro. Um anel âmbar quebrado marca um aviso. A maioria dos arquivos não tem anéis, e esse é o estado normal.
Uma linha cinza tracejada entre duas regras significa que elas dizem a mesma coisa duas vezes.
Entidades sem nada anexado ficam ocultas até que você as solicite, porque um arquivo grande declara muitas que não contêm Atividades.
Onde ir a seguir
- Os quatro tipos de descoberta — o que cada tipo realmente promete.
- Corrigindo o que ele encontra
- O que ele não pode te dizer