X-Git-Url: https://git.llucax.com/z.facultad/75.68/celdas.git/blobdiff_plain/fd72896c8b832ca19985ed67f6b1e4d570c85da2..5530730f6759a3c449df3e78f122084d16f825d6:/trunk/src/sistemaautonomo.cpp?ds=sidebyside

diff --git a/trunk/src/sistemaautonomo.cpp b/trunk/src/sistemaautonomo.cpp
index 54b13cc..2c85e51 100644
--- a/trunk/src/sistemaautonomo.cpp
+++ b/trunk/src/sistemaautonomo.cpp
@@ -69,6 +69,9 @@ CTeoria* CSistemaAutonomo::get_next_theory()
 	}
 	else
 	{
+#ifdef DEBUG
+		std::cout << "SA: ejecuta teoria: " << **(curr_theory) << "\n";
+#endif // DEBUG
 		return *(curr_theory++);
 	}
 }
@@ -82,6 +85,10 @@ bool CSistemaAutonomo::validate_theory(CTeoria* t)
 	// Aumento k (cantidad de veces que se probó la teoría
 	++t->k;
 
+#ifdef DEBUG
+	std::cout << "SA: Entorno de verificacion:\n" << p_entorno->datos;
+#endif // DEBUG
+
 	// Verifico
 	result = verificar_condicion(t->datos_finales) ;
 
@@ -107,6 +114,9 @@ bool CSistemaAutonomo::validate_theory(CTeoria* t)
 		// Aplico heuristicas de correccion
 		this->heuristca_retraccion(*t) ;
 	}
+#ifdef DEBUG
+	else std::cout << "SA: Verifica!\n";
+#endif // DEBUG
 
 	return result;
 }