Mejora debug para IndiceMagico (agregando especialización de template para punteros).

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

diff --git a/trunk/src/sistemaautonomo.h b/trunk/src/sistemaautonomo.h
index a5e71c44ecec3be5ae1f91bc2cc78246415accbf..dd82f8296299caaa5b51d1cbb16747073ee9e218 100644 (file)
--- a/trunk/src/sistemaautonomo.h
+++ b/trunk/src/sistemaautonomo.h
@@ -30,7 +30,7 @@ typedef double t_dato ;
 #define ANY -3000000
 
 
-#define t_fnc(name)            double (*name)(CEntorno&)
+//#define t_fnc(name)          double (*name)(CEntorno&)
 
 
 #define INFINITO       9999999 //CORREGIR: Poner aca el numero maximo que puede tomar un unsigend long
@@ -44,7 +44,7 @@ typedef double t_dato ;
 
 // Precision en la comparacion de atributos.
 // Poner en 0 si se quiere hacer la comparacion exacta.
-#define PRECISION                                                              0.50000
+#define PRECISION                                                              0.150000
 
 // Cuando se ejecuta un plan, se espera que al termina el ultimo paso se hallan alcanzado las condiciones finales.
 // Es posible que las condiciones finales se alcancen en algun paso previo.
@@ -97,7 +97,8 @@ public:
        CIndiceMagico<t_dato>   datos_iniciales ;
 
        // La funcion que se debe ejecutar para hacer valer la teoria.
-       double (*funcion)(CEntorno& e) ;
+       std::string funcion ;
+       // TODO std::string accion; Debería ser el nombre de la acción que va a realizar el BREVE
 
        // Condiciones finales que deben cumplirsem luego de ejecutar la funcion final valiendo la condicion inicial
        CIndiceMagico<t_dato>   datos_finales ;
@@ -106,13 +107,13 @@ public:
        CTeoria()
        {
                nombre = "" ;
-               funcion = NULL ;
+               funcion = "" ;
                k = 1 ;
                p = 1 ;
        }
 
-       CTeoria(const char* ini_nombre, 
-                       double (*ini_funcion)(CEntorno& e),
+       CTeoria(const std::string& ini_nombre, 
+               const std::string& ini_funcion,
                        unsigned long ini_k,
                        unsigned long ini_p)
        {
@@ -136,6 +137,11 @@ public:
 
 } ;
 
+inline
+std::ostream& operator<< (std::ostream& os, CTeoria& t)
+{
+       return os << t.nombre << " > " << t.funcion;
+}
 
 
 // CEntorno
@@ -165,15 +171,42 @@ class CSistemaAutonomo
 {
 public:
        // El entono en el que se mueve el SA.
-       CEntorno*                                       p_entorno ;
+       CEntorno*                       p_entorno ;
+
+       // Datos finales a utilizar al hacer
+       CIndiceMagico<t_dato>           m_datos_finales;
 
        // Las teorias que tiene el SA.
        CIndiceMagico<CTeoria>          teorias ;
 
 public:
+       // Constructor
+       CSistemaAutonomo(): p_entorno(new CEntorno) {}
+
+       // Destructor
+       ~CSistemaAutonomo() { delete p_entorno; }
+
+       // Genera un nuevo plan
+       void plan();
+
+       // Indica si hay una teoria mas para ejecutar
+       bool has_next_theory();
+
+       // Obtiene la próxima teoría del plan actual
+       CTeoria* get_next_theory();
+
+       // Retorna true si los valores de la condicion coinciden con los valores del entorno.
+       bool validate_theory(CTeoria*) ;
+
+//protected:
        // Retorna true si los valores de la condicion coinciden con los valores del entorno.
        bool verificar_condicion(CIndiceMagico<t_dato>& datos) ;
 
+       // plan actual
+       CIndiceMagico<CTeoria> m_plan;
+
+       // teoria actual
+       CIndiceMagico<CTeoria>::iterator curr_theory;
 
 protected: 
 
@@ -185,22 +218,23 @@ protected:
        //      Si una teoria no se verifico como correcta, se crea una nueva quitandole las condiciones_finales que no se verifican.
        void heurisitca_retraccion(CTeoria&) ;
 
+       //Heuristica de generalizacion.
+       // Si dentro de las teorias se encuentra unaque solo difiera de los datos del entorno en una condicíon inicial => se agrega una nueva teoria igual pero con ANY en esa condicion.
+       void heurisitca_generalizacion(CTeoria&);
 
 public:
 
        
-       void planificar (       CIndiceMagico<t_dato>&  datos_iniciales,
-                                               CIndiceMagico<t_dato>&  datos_finales,
-                                               CIndiceMagico<CTeoria>& plan,
-                                               double&                                 p,
-                                               unsigned long                   numero_de_llamada=0) ;
+       void planificar (CIndiceMagico<t_dato>& datos_iniciales,
+                       CIndiceMagico<t_dato>&  datos_finales,
+                       CIndiceMagico<CTeoria>& plan,
+                       double&         p,
+                       unsigned long   numero_de_llamada=0) ;
 
 
        // Ejecuta una serie de pasos.
        // Retorna true si se alcanza la condicion final.
-       bool ejecutar (CIndiceMagico<CTeoria>& plan) ;
-
-
+//     bool ejecutar (CIndiceMagico<CTeoria>& plan) ;
 } ;