void Atualiza() { ScrollBar.SetActive(Enter); Criando.SetActive(!Enter); Solucao.SetActive(telas == Telas.Fim); Caminhos.SetActive(telas == Telas.Arestas); Cidades.SetActive(telas == Telas.Rota); Notf.SetActive(NaoChega && telas == Telas.IA); if (telas != Telas.Fim) { janeMatriz = JaneMatriz.Nenhum; } Matriz.SetActive(janeMatriz == JaneMatriz.MAtriz); DistanciaAndada.SetActive(janeMatriz == JaneMatriz.Rota); stgAresta = "para começar\nColoque os caminhos.\nNumero de arestas " + NumeroAresta + ". Resta(m): " + (NUmeroMaxAresta - NumeroAresta); ArestaTxt.text = stgAresta; }
Impliesf(Notf(var any1), Notf(var any2)) when IsLogic(any1, any2) => any2.Implies(any1),
Notf(Notf(var any1)) when IsLogic(any1) => any1,
Orf(Notf(var any1), var any2) when IsLogic(any1, any2) => any1.Implies(any2),
Orf(Notf(var any1), var any1a) when any1 == any1a && IsLogic(any1) => True,
Orf(Notf(var any1), Notf(var any2)) when IsLogic(any1, any2) => !(any1 & any2),
Andf(Notf(var any1), Notf(var any2)) when IsLogic(any1, any2) => !(any1 | any2),