#include "indicemagico.h"
#include <math.h>
#include <string>
-//#include <map>
+#include <iostream>
// DEFINICIONES:
+class CTeoria;
+std::ostream& operator<< (std::ostream& os, const CTeoria& t);
// CTeoria
class CTeoria
{
public:
- std::string nombre ;
+ std::string nombre ;
// Condiciones iniciales de la teoria.
// Cada condicion se representa como un par (clave, valor), que se leen como clave=valor +/- PRECISION.
p = ini_p ;
}
+//private:
+ CTeoria(const CTeoria& t):
+ nombre(t.nombre),
+ datos_iniciales(t.datos_iniciales),
+ funcion(t.funcion),
+ datos_finales(t.datos_finales),
+ k(t.k),
+ p(t.p)
+ {
+ std::cout << "-----> CTeoria::operator=(" << t << ") <-----\n";
+ }
+ CTeoria& operator= (const CTeoria& t)
+ {
+ std::cout << "-----> " << *this << "::operator=(" << t << ") <-----\n";
+ nombre = t.nombre;
+ funcion = t.funcion;
+ k = t.k;
+ p = t.p;
+ datos_iniciales = t.datos_iniciales;
+ datos_finales = t.datos_finales;
+ return *this;
+ }
+
public:
// Cantidad de veces que se probo la teoria.
} ;
+inline
+std::ostream& operator<< (std::ostream& os, const CTeoria& t)
+{
+ return os << "CTeoria(nombre=" << t.nombre << ", funcion=" << t.funcion
+ << ", p=" << t.p << ", k=" << t.k << /*", ciclos=" << t.ciclos <<*/ ")";
+// << "):\n\tdatos_iniciales:\n" << t.datos_iniciales
+// << "\tdatos_finales:\n" << t.datos_finales << "\n";
+}
// CEntorno
CIndiceMagico<t_dato> m_datos_finales;
// Las teorias que tiene el SA.
- CIndiceMagico<CTeoria> teorias ;
+ CIndiceMagico<CTeoria*> teorias ;
public:
// Constructor
CSistemaAutonomo(): p_entorno(new CEntorno) {}
// Destructor
- ~CSistemaAutonomo() { delete p_entorno; }
+ ~CSistemaAutonomo()
+ {
+ delete p_entorno;
+ for (unsigned i = 0; i < teorias.count(); ++i)
+ delete teorias[i];
+ }
// Genera un nuevo plan
void plan();
// Retorna true si los valores de la condicion coinciden con los valores del entorno.
bool validate_theory(CTeoria*) ;
-protected:
+//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;
+ CIndiceMagico<CTeoria*> m_plan;
// teoria actual
- CIndiceMagico<CTeoria>::iterator curr_theory;
+ CIndiceMagico<CTeoria*>::iterator curr_theory;
protected:
// Heuristica de observacion.
// Segun la teoria que se ejecuto, se crea una nueva teoria con TODOS/ALGUNOS valores actuales del entorno como condicion_final.
- void heurisitca_observacion(CTeoria&) ;
+ void heuristca_observacion(CTeoria&) ;
// Heuristica de correccion por retraccion.
// Si una teoria no se verifico como correcta, se crea una nueva quitandole las condiciones_finales que no se verifican.
- void heurisitca_retraccion(CTeoria&) ;
+ void heuristca_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&);
+ void heuristca_generalizacion(CTeoria&);
public:
void planificar (CIndiceMagico<t_dato>& datos_iniciales,
CIndiceMagico<t_dato>& datos_finales,
- CIndiceMagico<CTeoria>& plan,
+ CIndiceMagico<CTeoria*>& plan,
double& p,
unsigned long numero_de_llamada=0) ;