Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Browse files

Se corrigió un bug que hacía que algoritmo se ciclara infinitamente.

Se corrigió el bug y se probó que todo el algoritmo ya funciona a la perfección, al menos con los casos de prueba que se han tomado :)
  • Loading branch information...
commit 0923084a4955e9c8ce4c01ffec5b42620052eb4f 1 parent fb81109
@CharlieCorner authored
Showing with 4 additions and 11 deletions.
  1. +4 −11 Firenze/src/algoritmosdeinferencia/Induccion.java
View
15 Firenze/src/algoritmosdeinferencia/Induccion.java
@@ -47,13 +47,15 @@ public String correrAlgoritmo() {
if (objetivo.equals(s)) {
seEncontroObjetivo = true;
pilaDeObjetivos.pop();
- dispararReglasPorDisparar();
break;
} else {
- if (i == listaObjetivos.size()) {
+ if ((i+1) == listaObjetivos.size()) {
pilaDeObjetivos.pop();
+ Regla r = reglasPorDisparar.pop();
+ agregarAHechosInferidos(r.getProducidos());
+ reglasDisparadas.add(r);
} else {
continue;
}
@@ -126,15 +128,6 @@ protected String crearTextoRespuesta() {
return sb.toString();
}
- private void dispararReglasPorDisparar() {
-
- // int tamanoPila = reglasPorDisparar.size();
- // Puede que aquí el tamaño de la pila este variando, por comprobar
- for (int i = 0; i < reglasPorDisparar.size(); i++) {
- reglasDisparadas.add(reglasPorDisparar.pop());
- }
- }
-
private Regla buscarReglaQueProduzca(String productoABuscar) {
Regla reglaARegresar = null;
Please sign in to comment.
Something went wrong with that request. Please try again.