+ CTeoria t1("Avanzar_X_1", &AvanzarX, 1, 1) ;
+ t1.datos_iniciales.add ("robot.sensor_1", 0) ;
+ t1.datos_iniciales.add ("robot.sensor_2", ANY) ;
+ t1.datos_iniciales.add ("robot.sensor_3", ANY) ;
+ t1.datos_iniciales.add ("robot.avanzo_en_x", ANY) ;
+ t1.datos_iniciales.add ("robot.avanzo_en_y", ANY) ;
+ t1.datos_iniciales.add ("robot.avanzo_en_z", ANY) ;
+ t1.datos_finales.add ("robot.avanzo_en_x", 1) ;
+ t1.datos_finales.add ("robot.avanzo_en_y", 0) ;
+ t1.datos_finales.add ("robot.avanzo_en_z", 0) ;
+ t1.datos_finales.add ("robot.sensor_1", ANY) ;
+ t1.datos_finales.add ("robot.sensor_2", ANY) ;
+ t1.datos_finales.add ("robot.sensor_3", ANY) ;
+
+ CTeoria t2("Avanzar_Y_1", &AvanzarY, 1, 1) ;
+ t2.datos_iniciales.add ("robot.sensor_1", ANY) ;
+ t2.datos_iniciales.add ("robot.sensor_2", 0) ;
+ t2.datos_iniciales.add ("robot.sensor_3", ANY) ;
+ t2.datos_iniciales.add ("robot.avanzo_en_x", ANY) ;
+ t2.datos_iniciales.add ("robot.avanzo_en_y", ANY) ;
+ t2.datos_iniciales.add ("robot.avanzo_en_z", ANY) ;
+ t2.datos_finales.add ("robot.avanzo_en_x", 0) ;
+ t2.datos_finales.add ("robot.avanzo_en_y", 1) ;
+ t2.datos_finales.add ("robot.avanzo_en_z", 0) ;
+ t2.datos_finales.add ("robot.sensor_1", ANY) ;
+ t2.datos_finales.add ("robot.sensor_2", ANY) ;
+ t2.datos_finales.add ("robot.sensor_3", ANY) ;
+
+ CTeoria t3("Avanzar_Z_1", &AvanzarZ, 1, 1) ;
+ t3.datos_iniciales.add ("robot.sensor_1", ANY) ;
+ t3.datos_iniciales.add ("robot.sensor_2", ANY) ;
+ t3.datos_iniciales.add ("robot.sensor_3", 0) ;
+ t3.datos_iniciales.add ("robot.avanzo_en_x", ANY) ;
+ t3.datos_iniciales.add ("robot.avanzo_en_y", ANY) ;
+ t3.datos_iniciales.add ("robot.avanzo_en_z", ANY) ;
+ t3.datos_finales.add ("robot.avanzo_en_x", 0) ;
+ t3.datos_finales.add ("robot.avanzo_en_y", 0) ;
+ t3.datos_finales.add ("robot.avanzo_en_z", 1) ;
+ t3.datos_finales.add ("robot.sensor_1", ANY) ;
+ t3.datos_finales.add ("robot.sensor_2", ANY) ;
+ t3.datos_finales.add ("robot.sensor_3", ANY) ;
+
+ a.teorias.add(t1.nombre.c_str(), t1) ;
+ a.teorias.add(t2.nombre.c_str(), t2) ;
+ a.teorias.add(t3.nombre.c_str(), t3) ;
+
+
+ // Inicializo el SA
+ a.p_entorno = (CEntorno*)(&e) ;