refactor: use enumerable.Any() instead of Count() > 0

ladesa-ro · Apr 1, 2024 · ef77f78 · ef77f78
1 parent cf66c05
commit ef77f78
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/projeto-gerar-horario/GerarHorario/Gerador/Restricoes.cs b/projeto-gerar-horario/GerarHorario/Gerador/Restricoes.cs
@@ -107,7 +107,7 @@ GerarHorarioContext contexto
                                             propostaAula.DiarioId == diario.Id
                                         select propostaAula.ModelBoolVar;
 
-                if (propostasDoDiario.Count() > 0)
+                if (propostasDoDiario.Any())
                 {
                     contexto.Model.Add(LinearExpr.Sum(propostasDoDiario) <= diario.QuantidadeMaximaSemana);
                 }
@@ -134,7 +134,7 @@ public static void AplicarLimiteDeNoMaximoUmDiarioAtivoPorTurmaEmUmHorario(Gerar
                                         && propostaAula.TurmaId == turma.Id // mesma turma
                                      select propostaAula.ModelBoolVar).ToList();
 
-                    if (propostas.Count > 0)
+                    if (propostas.Any())
                     {
                         Console.WriteLine($"Dia: {diaSemanaIso} | Intervalo: {contexto.Options.HorariosDeAula[intervaloIndex]} | {turma.Id} | Quantidade de Propostas: {propostas.Count}");
 
@@ -169,7 +169,7 @@ public static void AplicarLimiteDeNoMaximoUmDiarioAtivoPorProfessorEmUmHorario(G
                                         contexto.Options.ProfessorEstaVinculadoAoDiario(diarioId: propostaDeAula.DiarioId, professorId: professor.Id)
                                     select propostaDeAula.ModelBoolVar;
 
-                    if (propostas.Count() > 0)
+                    if (propostas.Any())
                     {
                         contexto.Model.AddAtMostOne(propostas);
                     }