}
else
{
+#ifdef DEBUG
+ std::cout << "SA: ejecuta teoria: " << **(curr_theory) << "\n";
+#endif // DEBUG
return *(curr_theory++);
}
}
// 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) ;
// Aplico heuristicas de correccion
this->heuristca_retraccion(*t) ;
}
+#ifdef DEBUG
+ else std::cout << "SA: Verifica!\n";
+#endif // DEBUG
return result;
}