Últimos cambios y documentación.

[z.facultad/75.68/celdas.git] / trunk / src / sistemaautonomo.cpp

diff --git a/trunk/src/sistemaautonomo.cpp b/trunk/src/sistemaautonomo.cpp
index cf9eb045d9c8ac57382003f59234efb7e41246ed..695e5381e5518c5967ba3a83f62f53ca96422e0c 100644 (file)
--- a/trunk/src/sistemaautonomo.cpp
+++ b/trunk/src/sistemaautonomo.cpp
@@ -129,7 +129,7 @@ bool CSistemaAutonomo::validate_theory(CTeoria* t)
 #ifdef LOG
                std::cout << "Aplicando heuristica de generalizacion:\n";
 #endif // LOG
-               this->heuristca_generalizacion(*t);
+               //this->heuristca_generalizacion(*t);
 #ifdef DEBUG
                std::cout << "SA: Aplicando heuristica de retraccion\n";
 #endif // DEBUG