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),
